SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications

zum Volltext (4087 kB)   ZIP
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Dezember 2013
Seitenbereich53 S.

We present a new visual language, SCCharts, designed for specifying safety-critical reactive systems. SCCharts uses a new statechart notation and provides deterministic concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs. Specifically, we lift earlier limitations on sequential accesses to shared variables, by leveraging the sequentially constructive MoC.
The key features of SCCharts are defined by a very small set of elements, the Core SCCharts, consisting of state machines plus fork/join concurrency. Conversely, Extended SCCharts contain a rich set of advanced features, such as different abort types, signals, history transitions, etc., all of which can be reduced via model-to-model transformations into Core SCCharts. This approach enables a simple yet efficient compilation strategy and aids verification and certification.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000024
 
URN:NBNurn:nbn:de:101:1-2014021217507
IDNummer des Berichts :
  • TR_1311