SCCharts - Language and Interactive Incremental Compilation

Nonfiction, Computers, Programming, Programming Languages
Cover of the book SCCharts - Language and Interactive Incremental Compilation by Christian Motika, Books on Demand
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Christian Motika ISBN: 9783746083575
Publisher: Books on Demand Publication: January 4, 2018
Imprint: Language: English
Author: Christian Motika
ISBN: 9783746083575
Publisher: Books on Demand
Publication: January 4, 2018
Imprint:
Language: English

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. http://www.sccharts.com

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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. http://www.sccharts.com

More books from Books on Demand

Cover of the book Trinkspiele by Christian Motika
Cover of the book Sicherheit in vernetzten Systemen by Christian Motika
Cover of the book Civilizational changes and the competitiveness of modern enter-prises by Christian Motika
Cover of the book Hilfe, ich komme zu früh! Das Selbsthilfeprogramm bei vorzeitigem Orgasmus und Samenerguss by Christian Motika
Cover of the book Ein Stern fiel vom Himmel by Christian Motika
Cover of the book Hör an mein Stimm by Christian Motika
Cover of the book Bones in London by Christian Motika
Cover of the book Irrwege zur Spiritualität by Christian Motika
Cover of the book Die rätselhafte Geige by Christian Motika
Cover of the book History of Religion by Christian Motika
Cover of the book Dictionnaire Français - Anglais by Christian Motika
Cover of the book So weit die Flüsse tragen by Christian Motika
Cover of the book Blickwinkel by Christian Motika
Cover of the book HypnoSale by Christian Motika
Cover of the book VOM ROLAND ZUM CHRISTO UND ZURÜCK by Christian Motika
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy