
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.
- Kartoniert
- 307 Seiten
- Erschienen 2020
- dpunkt.verlag
- paperback
- 236 Seiten
- Erschienen 2019
- Apress
- paperback
- 62 Seiten
- Erschienen 2013
- Packt Pub Ltd
- paperback
- 756 Seiten
- Erschienen 2000
- Wiley
- paperback
- 526 Seiten
- Erschienen 1989
- Osborne/McGraw-Hill
- Hardcover
- 299 Seiten
- Erschienen 1990
- Hanser Fachbuch
- Hardcover
- 404 Seiten
- Erschienen 2016
- Springer
- Hardcover
- 388 Seiten
- Erschienen 1993
- Springer