Anzeige
Erschienen in:
2009 | OriginalPaper | Buchkapitel
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications
verfasst von : Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérome Hugues
Erschienen in: Reliable Software Technologies – Ada-Europe 2009
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Developing safety-critical distributed applications is a difficult challenge. A failure may cause important damages as loss of human life or mission’s failure. Such distributed applications must be designed and built with rigor. Reducing the tedious and error-prone development steps is required; we claim that automatic code generation is a natural solution. In order to ease the process of verification and certification, the user can use modeling languages to describe application critical aspects. In this paper we introduce the use of AST as a modeling language for Distributed Real-time Embedded (DRE) systems. Then we present our tool-suite
ocarina
which allows automatic code generation from AST models. Finally, we present a comparison between
ocarina
and traditional approaches.