@inproceedings{397f6572a3614354a3344b557ef4f35f,
title = "Generating distributed high integrity applications from their architectural description",
abstract = "High-Integrity distributed applications are used in many critical domains. They must be designed and built with a great deal of vigor, as a failure could mean loss of life. Thus, it is preferable that a significant part of their code be generated automatically from a model that describes their critical aspects. Automatic code generation eases the process of certification as well. In this paper we introduce the use of AADL as a modeling language for HI distributed systems. Then we present our Ravenscar Profile compliant Ada code generation rules from AADL models. Finally, we present our Ravenscar Profile compliant middleware, PolyORB-HI and the extension of the code generation rules for HI distributed applications.",
author = "Bechir Zalila and Irfan Hamid and Jerome Hugues and Laurent Pautet",
year = "2007",
month = jan,
day = "1",
doi = "10.1007/978-3-540-73230-3\_12",
language = "English",
isbn = "9783540732297",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "155--167",
booktitle = "Reliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on Reliable Software Technologies, Proceedings",
note = "12th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2007 ; Conference date: 25-06-2007 Through 29-06-2007",
}