> Details

von Hanxleden, Reinhard; Duderstadt, Björn; Motika, Christian; Smyth, Steven; Mendler, Michael; Aguado, Joaquín; Mercer, Stephen; O'Brien, Owen

SCCharts: sequentially constructive statecharts for safety-critical applications

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Article
  • Title: SCCharts: sequentially constructive statecharts for safety-critical applications : HW/SW-synthesis for a conservative extension of synchronous statecharts
  • Contributor: von Hanxleden, Reinhard; Duderstadt, Björn; Motika, Christian; Smyth, Steven; Mendler, Michael; Aguado, Joaquín; Mercer, Stephen; O'Brien, Owen
  • imprint: Association for Computing Machinery (ACM), 2014
  • Published in: ACM SIGPLAN Notices
  • Language: English
  • DOI: 10.1145/2666356.2594310
  • ISSN: 0362-1340; 1558-1160
  • Keywords: Computer Graphics and Computer-Aided Design ; Software
  • Origination:
  • Footnote:
  • Description: <jats:p> We present a new visual language, <jats:italic>SCCharts</jats:italic> , 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 <jats:italic>Core SCCharts</jats:italic> , consisting of state machines plus fork/join concurrency. We also present a compilation chain that allows efficient synthesis of software and hardware. </jats:p>