Sequential constructiveness, sccharts for safety-critical applications

We present a new visual language, SCCharts, designed for the model-driven engineering of safety-critical reactive systems. SCCharts provide determinate concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs.

Hanxleden, Reinhard Von; Duderstadt, Björn; Fuhrmann, Insa; Motika, Christian; Smyth, Steven; Mendler, Michael; Aguado, Joaquń; Loftus-Mercer, Stephen; O'brien, Owen (2015): Sequential constructiveness, sccharts for safety-critical applications. Software-engineering and management 2015. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-633-6. pp. 116-117. Dresden. 17.-20. März 2015

Sammlungen

P239 - Software Engineering & Management 2015

Komplettanzeige

Sequential constructiveness, sccharts for safety-critical applications

Volltext URI

Dokumententyp

Dateien

Zusatzinformation

Datum

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Verlag

Zusammenfassung

Beschreibung

Schlagwörter

Zitierform

DOI

Tags

Sammlungen