We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative space vehicle control system: a model of the Ariane-5 flight software obtained by manual reverse engineering. The goal of the study is to verify functional and scheduling-related requirements under different task architecture assumptions. The study is also a proof of concept for the UML-based validation technique proposed in IFx. © IFIP International Federation for Information Processing 2006.
CITATION STYLE
Ober, I., Graf, S., & Lesens, D. (2006). Modeling and validation of a software architecture for the Ariane-5 launcher. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4037 LNCS, pp. 48–62). Springer Verlag. https://doi.org/10.1007/11768869_6
Mendeley helps you to discover research relevant for your work.