SCCharts - Language and Interactive Incremental Compilation
Kurzinformation
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
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 von Motika, Christian
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
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.
- Hardcover
- 288 Seiten
- Apress
- Hardcover
- 459 Seiten
- Erschienen 2005
- Apress
- Hardcover -
- dpunkt.verlag GmbH
- Hardcover
- 704 Seiten
- Erschienen 2009
- Mitp-Verlag
- Hardcover
- 943 Seiten
- Erschienen 2001
- Addison Wesley Verlag