...
[PLDI’14] SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications (: HW/SW-Synthesis for a Conservative Extension of Synchronous Statecharts).
R. von Hanxleden, B. Duderstadt, C. Motika, S. Smyth, M. Mendler, J. Aguado, S. Mercer, O. O'Brian.
...
ACM Transactions on Embedded Computing Systems (ACM TECS) - — Special Issue on Applications of Concurrency to System Design, to appear 2014.
Abstract. This is a journal extended version of the [DATE’13] publication which includes in addition: (i) a description of the mapping from the Sequentially Constructive (SC) language to the SC graph (SCG); (ii) detailed discussions on thread and statement reincarnation; (iii) a full section on the formalisation of SC based on free scheduling of SCGs; (iv) a more general SC Model of Computation based on the notion of confluence; (v) a revised (positive) definition of SC-Admissibility; (vi) definition of valid SC-schedules; (vii) proof that every ASC schedulable program is indeed SC; (viii) detailed discussion on conservative approximations and (ix) additional examples for illustrating ineffective writes, failure despite deterministic outcome, data-dependency of SC and enforced determinism via reduction of admissible runs.
[RePPISoLA'14] Towards interactive timing analysis for designing reactive systems.I. Fuhrmann, D. Broman Compiling SCCharts — a case-study on interactive model-based compilation.
C. Motika, S. Smyth, and R. von Hanxleden.
Reconciling Performance and Predictability (RePP'14), satellite event of ETAPS'14, April 2014.
...
Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verication and Validation, LNCS 8802, October 2014: 443-462.
Abstract. SCCharts is a recently proposed statechart language designed for specifying safety-critical reactive systems. We have developed an Eclipse-based compilation chain that synthesizes SCCharts into either hardware or software. The user edits a textual description which is visualized as SCChart and subsequently transformed into VHDL or C code via a series of model-to-model (M2M) transformation steps. An interactive environment gives the user control over which transformations are applied and allows the user to inspect intermediate transformation results. This Single-Pass Language-Driven Incremental Compilation (SLIC) approach should conceptually be applicable to other languages as well. Key benets are: (1) a compact, light-weight denition of the core semantics, (2) intermediate transformation results open to inspection and support for certication, (3) high-level formulations of transformations that define advanced language constructs, (4) a divide-and-conquer validation strategy, (5) simplied language/compiler subsetting and DSL construction.
...
Workshops/Seminars:
[SYNCHRON’12] Sequentially Constructive Concurrency: A Conservative Extension of the Synchronous Model of Computation. (slides)
...