Page History
...
Panel | ||||
---|---|---|---|---|
| ||||
Responsible: Formerly Responsible / Previous Projects:
Related Theses: |
SCCharts are typically modeled using the textual SCT language defined as an Xtext grammar in KIELER. In the following we will describe the basic elements using the famous ABRO example:
Code Block |
---|
scchart ABRO {
input bool A;
input bool B;
input bool R;
output bool O = false;
region Main:
initial state ABO {
initial state WaitAB {
region HandleA:
initial state WA
--> DA with A;
final state DA;
region HandleB:
initial state WB
--> DB with B;
final state DB;
}
>-> Done with / O = true;
state Done;
}
o-> ABO with R;
} |
Overview
Content Tools