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 Gesichter Indonesiens by Christian Motika
Cover of the book Le Sceau de Satan by Christian Motika
Cover of the book Reiseführer Palma de Mallorca by Christian Motika
Cover of the book Jane Eyre by Christian Motika
Cover of the book Waigeo by Christian Motika
Cover of the book The Long Silence (2) by Christian Motika
Cover of the book Rhetoric - Mastering the Art of Persuasion by Christian Motika
Cover of the book Die Legende von Sleepy Hollow by Christian Motika
Cover of the book Heilen mit kosmischer Energie by Christian Motika
Cover of the book Ägypter an der Nordsee by Christian Motika
Cover of the book La comtesse de Cagliostro by Christian Motika
Cover of the book Les caprices de Maryse by Christian Motika
Cover of the book Illusions perdues by Christian Motika
Cover of the book Norderney by Christian Motika
Cover of the book Kastenwagen als Reisemobil 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