Title | ||
---|---|---|
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts |
Abstract | ||
---|---|---|
We present a new visual language, SCCharts, designed for specifying safety-critical reactive systems. SCCharts use a statechart notation and provide determinate 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 semantics and key features of SCCharts are defined by a very small set of elements, the Core SCCharts, consisting of state machines plus fork/join concurrency. We also present a compilation chain that allows efficient synthesis of software and hardware. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1145/2594291.2594310 | PLDI |
Keywords | Field | DocType |
sequentially constructive statecharts,synchronous statecharts,determinate concurrency,new visual language,compilation chain,earlier limitation,conservative extension,safety-critical application,synchronous model,previous synchronous mocs,core sccharts,sequentially constructive moc,key feature,efficient synthesis,determinacy,concurrency,safety critical systems | Fork (system call),Programming language,Concurrency,Computer science,Constructive,State diagram,Finite-state machine,Real-time computing,Model of computation,Conservative extension,Reactive system | Conference |
Volume | Issue | ISSN |
49 | 6 | 0362-1340 |
Citations | PageRank | References |
10 | 0.54 | 24 |
Authors | ||
8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Reinhard von Hanxleden | 1 | 412 | 47.20 |
Björn Duderstadt | 2 | 10 | 0.87 |
Christian Motika | 3 | 27 | 5.11 |
Steven Smyth | 4 | 33 | 6.51 |
Michael Mendler | 5 | 314 | 34.60 |
Joaquin Aguado | 6 | 41 | 4.65 |
Stephen Mercer | 7 | 10 | 0.54 |
Owen O'Brien | 8 | 10 | 0.87 |