Skip to end of metadata
-
Created by Unknown User (wah), last modified on Nov 01, 2012
Go to start of metadata
You are viewing an old version of this page. View the current version.
Compare with Current
View Page History
« Previous
Version 21
Next »
| KIELER SyncCharts | YAKINDU SCT | |
---|
Declarations | Pure Signals: signals have a present status: - absent or present
- must be set for input signals
- computed for local and output signals:
- for each tick absent by default unless signal is emitted
- Example:
- Emit signal S: S
- Test for presence: S
Valued Signals: - are pure signals than additionally are able to store a value
- values are persistent across ticks
- Example:
- Emit signal V with value 3: V(3)
- Test for presence: V
- Get the last emitted value of V: ?V
Variables: - Are not shared between concurrent regions
- Currently implemented by host type variables
| Events: Variables: | |
Types | - int
- bool
- string
- pure: only makes sense for Signals. Signals are absent or present.
- unsigned
- float
- double
- host: no actual type is given. The given type in the hostType attribute is used.
| | |
Expressions | | | |
Operations | | - Equal: '=='
- less than: '<'
- Equal Or Less Than: '<='
- Greater Than: '>'
- Equal Or Greater Than '>='
- Not Equal: '!='
- Plus: '+'
- Minus: '-'
- Multiply: '*'
- Divide: '/'
- Modulo: '%'
- Shift Left: '<<'
- Shift Right: '>>'
- Positive: '+'
- Negative: '-'
- Complement: '~'
| |
Trigger | - Simple signal reference: I / O
- Boolean expression:
(A and B) or ((not C) and D) - Valued Signals and Variables can be used in conditions in these boolean expressions
variable > 1 ?A = 1 - Comparison
?A > (variable + 1) A and (3 > ?B) or ((var5 + 2) = 6) - Pre
A and pre(B) 3 < pre(?A) Immediate, #S: the trigger is satisfied as soon as the state is entered.. Count Delays, 3 S Time in SyncCharts: Multiform notion of time, e.g., signal SECOND appears every second (depending on the physical tick length).
| - event:
I / raise O
- after:
after 20 s
- every
every 200 ms
- always:
enables a reaction to be executed in every run to completion step - default:
enables a reaction to be executed in every run to completion step - else:
used in transitions and implies the lowest evaluation priority for that transition. - entry
- exit
- oncycle
| |
Effects | | - Assignment of a variable: S / varA = 5
- raise myvar
- myvar = valueof(event): Returns the value of an valued event that it passed to the function as parameter.
- mybool = active(StateA): Returns „true” if a state is active or „false” otherwise.
| |