Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

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
linenumberstrue
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;
}