ACM Programming Language Design and Implementation, PLDI 2014

Article Details
Title: SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts
Article URLs:
Alternative Article URLs:
Authors: Reinhard von Hanxleden
  • Kiel University, Germany
Björn Duderstadt
  • Kiel University, Germany
Christian Motika
  • Kiel University, Germany
Steven Smyth
  • Kiel University, Germany
Michael Mendler
  • Bamberg University, Germany
Joaquín Aguado
  • Bamberg University, Germany
Stephen Mercer
  • National Instruments, Austin, TX, USA
Owen O'Brien
  • National Instruments, Austin, TX, USA
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/pldi/HanxledenDMSMAMO14
Author Comments: The SCCharts artifact is part of the Kiel Integrated Environment for Layout Eclipse Rich Client (KIELER). It builds on the Eclipse Layout Kernel (ELK, https://www.eclipse.org/elk/). Both KIELER and ELK are open-source software based on the Eclipse Public License, open for academic and commercial use. The SCCharts/KIELER environment is regularly used in classes on embedded system modeling and synchronous languages. For further information, feel free to contact Reinhard von Hanxleden (rvh@informatik.uni-kiel.de).

Discuss this paper and its artifacts below