@inproceedings{061768a050a94d5eafbb3a9162690228,
title = "Ocarina: AAAn environment for AADL models analysis and automatic code generation for high integrity applications",
abstract = "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.",
author = "Gilles Lasnier and Bechir Zalila and Laurent Pautet and J{\'e}rome Hugues",
year = "2009",
month = aug,
day = "27",
doi = "10.1007/978-3-642-01924-1\_17",
language = "English",
isbn = "3642019234",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "237--250",
booktitle = "Reliable Software Technologies - Ada-Europe 2009 - 14th Ada-Europe International Conference on Reliable Software Technologies, Proceedings",
note = "14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009 ; Conference date: 08-06-2009 Through 12-06-2009",
}