|
|
On the one hand this eases the compilation and makes it more robust because it reduces its complexity. On the other hand, using Extended SCCharts features, a modeler is able to abstract away complexity of his or her SCCharts model which increases robustness and readability of a model. This approach enables a simple yet efficient compilation strategy and aids verification and certification.
[1] C. André, Semantics of SyncCharts, Technical Report ISRN I3S/RR-2003-24-FR, I3S Laboratory, Sophia-Antipolis, France, April 2003.
[2] G. Berry, The foundations of Esterel, In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language, and Interaction: Essays in Honour of Robin Milner, pages 425-454, Cambridge, MA, USA, 2000.
[3] D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, 8(3):231-274, June 1987.
[4] R. von Hanxleden, M. Mendler, J. Aguado, B. Duderstadt, I. Fuhrmann, C. Motika, S. Mercer, and O. O'Brien, Sequentially Constructive Concurrency - A conservative extension of the synchronous model of computation, In Proc. Design, Automation and Test in Europe Conference (DATE'13), Grenoble, France, March 2013.
[5] R. von Hanxleden, B. Duderstadt, C. Motika, S. Smyth, M. Mendler, J. Aguado, S. Mercer, and O. O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’14), Edinburgh, UK, June 2014. (pdf)
In contrast to SyncCharts (see [1] Charles André) a signal (or variable) in SCCharts is allowed to be emitted with different values in the same macro tick (if the emissions are schedulable according to the SC MoC). The following example is forbidden in SyncCharts but not in SCCharts.
SyncCharts: x cannot be absent and present in the same macro tick.
SCCharts: Deterministic ordering possible: If x is false then take the transition and set x to true.
A core SCChart is composed of elements of a minimal set of constructs. Additional constructs and syntactical sugar (f.e. actions, suspend) are introduced in extended SCCharts. Every extended SCCharts can be transformed into a core SCChart.
Core SCChart | Extended SCCharts | Graphical comparison |
---|---|---|
| Core SCCharts +
| [click to enlarge] |
SCCharts can be modeled using our KIELER SCChrats editor and compiler (download). The modeling editor is a textual editor based on the itemis Xtext framework. The language used to model SCCharts textually is called SCT and documented here. A quick start guide introducing first steps from downloading over modeling to compiling SCCharts can be found here.
Subproject/Extension | Progress | Released | |
---|---|---|---|
SCCharts Editor (*.sct) | Implemented and tested | 0.9.0 | |
SCG Editor | Implemented and tested | 0.9.0 | |
SCL Editor | Implementation not yet finished | planned for 0.11.0 | |
Extended 2 Core SCCharts | Implemented, not yet fully tested | 0.9.0 | |
Core 2 Normalized SCCharts | Implemented, not yet fully tested (some known bugs) | 0.9.0 | |
Normalized SCCharts 2 SCG | Implemented, not yet fully tested (some known bugs) | 0.9.0 | |
SCG 2 Sequential SCG | Implemented and partly tested, straightforward scheduler for 0.9.0 release, enhanced scheduler planned for 0.10.0 release. | 0.9.0 | |
SCG 2 C | Implemented by transformation via common S language (this can also be translated into Java -> SJL) | 0.9.0 | |
Online Compiler and Command Line Tools | Finished, available in nightly build | planned for 0.10.0 | |
Simulation | A full featured simulation is currently being developed | planned for 0.10.0 |