Combining SysML and AADL for the Design, Validation and Implementation of Critical Systems - LAAS-Réseaux et Communications Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Combining SysML and AADL for the Design, Validation and Implementation of Critical Systems

Jérôme Hugues
  • Fonction : Auteur
  • PersonId : 920348

Résumé

The realization of critical systems goes through multiple phases of specification, design, integration, validation, and testing. It starts from high-level sketches down to the final product. Model-Based Design has been acknowledged as a good conveyor to capture these steps. Yet, there is no universal solution to represent all activities. Two candidates are the OMG-based SysML to perform high-level modeling tasks, and the SAE AADL to perform lower-level ones, down to the implementation. The paper shares an experience on the seamless use of SysML and the AADL to model, validate/verify and implement a flight management system.
Fichier principal
Vignette du fichier
ERTSS_2012_SysML_AADL.pdf (1.04 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00669391 , version 1 (13-02-2012)

Identifiants

  • HAL Id : hal-00669391 , version 1

Citer

Pierre de Saqui-Sannes, Jérôme Hugues. Combining SysML and AADL for the Design, Validation and Implementation of Critical Systems. ERTS2 2012, Feb 2012, Toulouse, France. pp.117. ⟨hal-00669391⟩
291 Consultations
1628 Téléchargements

Partager

Gmail Facebook X LinkedIn More