Project Overview
Responsible:
Formerly Responsible / Previous Projects:
- Christian Schneider (Textual SyncCharts (KITS))
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:
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