Communication Dans Un Congrès Année : 2010

Supporting the Design of Safety Critical Systems Using AADL

Résumé

Designing safety critical systems is a complex task due to the need of guaranteeing that the resulting model can cope with all the functional and non-functional requirements of the system. Obtaining such guarantees is only possible with the use of model verification techniques. This paper presents an approach aimed to fulfill the needs of critical system design. The proposed approach is based on the Architecture Analysis and Design Language (AADL), which is suitable to describe the system's architecture. A sequence of model transformations facilitates the verification of the designed AADL model and so assures its correctness. It must be highlighted that this is not performed in a single step, as it is possible to verify AADL models with different abstraction levels, which allows successive refinements in a top-down approach.
Fichier principal
Vignette du fichier
Supporting the Design of Safety Critical Systems Using AADL.pdf (305.97 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03900243 , version 1 (15-12-2022)

Identifiants

Citer

T. Correa, L. Becker, J.-M. Farines, Jean-Paul Bodeveix, M Filali, et al.. Supporting the Design of Safety Critical Systems Using AADL. 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), IEEE, Mar 2010, Oxford, United Kingdom. pp.331-336, ⟨10.1109/ICECCS.2010.56⟩. ⟨hal-03900243⟩
43 Consultations
72 Téléchargements

Altmetric

Partager

More