Architecture Modeling - SPES 2020

Pattern
S12:
failureCondition failureCondition is defined by: event occurs
more than timeunit [earlier|later] than event
This pattern defines a failure condition by too late (too early) occurred events. This is a derived
pattern from S9.
Natural Language Requirement:
If the airbag inflates later than 60ms after the detection of the crash, it is considered as a
failure.
Pattern based RSL:
failureCondition LateAirbagInflation is defined by: inflation occurs
more than 60ms later than crashDetection
6.1.1.4 Real-Time Pattern
The detailed specification of real-time systems leads to special real-time requirements. In order to
express these requirements dedicated real-time patterns are necessary. Tools for real-time analysis
usually work on execution times, deadlines and activation rates. The patterns presented below can be
used to express the most relevant properties.
Pattern
R1:
event occurs sporadic with minperiod period [and maxperiod
period] [and jitter jitter]
This pattern describes the sporadic occurrence of an event. The minimal distance of the ideal
occurrences is defined by minperiod, which can be delayed by an additional jitter. If maxperiod is
given this specifies the maximal distance between the ideal occurrences. The minimal distance
between the real occurrences can be constrained by Pattern R3.
Natural Language Requirement:
Processing of received data is necessary at most each 10ms and may jitter 1ms.
Pattern based RSL:
dataReceived occurs sporadic with minperiod 10ms and jitter 1ms
idle
(0