SCCharts - Language and Interactive Incremental Compilation

SCCharts - Language and Interactive Incremental Compilation

Christian Motika

Band 2017/2 von 2 in dieser Reihe


484 Seiten

ISBN-13: 9783746009391

Verlag: Books on Demand

Erscheinungsdatum: 15.12.2017

Sprache: Englisch

Farbe: Ja

54,90 €

inkl. MwSt. / portofrei

sofort verfügbar

Ihr eigenes Buch!

Werden Sie Autor mit BoD und bringen Sie Ihr Buch und E-Book in den Buchhandel.

Mehr erfahren
Safety-critical systems are a subclass of reactive systems, a dominating class of computer systems. Such systems control airbags in cars, flaps of aircrafts, or pace makers. Software for these systems must be reliable. Hence, a language and tooling is needed that allows to build and maintain reliable software models. Furthermore, a reliable compiler is required to obtain decent machine-understandable and executable code from highly abstract models.
This thesis presents SCCharts, a Statecharts-based visual and synchronous modeling language for specifying and designing safety-critical software systems and for deriving their implementations.
Christian Motika

Christian Motika

Christian Motika studied computer science at Kiel University and specialized in the fields of embedded systems, synchronous languages, and model-driven engineering. Since 2017, he works in the aerospace industry as a system and software engineer at Philotech, a primary Airbus supplier.

Es sind momentan noch keine Pressestimmen vorhanden.

Eigene Bewertung schreiben
Bitte melden Sie sich hier an, um eine Bewertung abzugeben.