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 Augsburger Kupferstiche by Christian Motika
Cover of the book Firestorm by Christian Motika
Cover of the book Ice Road by Christian Motika
Cover of the book Das Johanna Spyri Lesebuch by Christian Motika
Cover of the book Universal Love by Christian Motika
Cover of the book Analphabeten - wenn das Leben unbegreiflich ist by Christian Motika
Cover of the book Yi Jing by Christian Motika
Cover of the book Freude am Gitarrespiel by Christian Motika
Cover of the book The History of the Destruction of Jerusalem by Christian Motika
Cover of the book Hiob by Christian Motika
Cover of the book Brot und Spiele by Christian Motika
Cover of the book Fitus, der Sylter Strandkobold - Heute stellt er uns das Tor zum Münsterland vor: Lünen by Christian Motika
Cover of the book Der Teufel von Tidal Basin by Christian Motika
Cover of the book Zurück in mein Leben by Christian Motika
Cover of the book Avatare 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