Component-based Design and Verification in X-MAN - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Component-based Design and Verification in X-MAN

Nannan He
  • Fonction : Auteur
Kung-Kiu Lau
  • Fonction : Auteur
  • PersonId : 982373
Faris Taweel
  • Fonction : Auteur
Cuong Tran
  • Fonction : Auteur
  • PersonId : 963494
Sanjiv S Sharma
  • Fonction : Auteur

Résumé

Compositionality has the potential to enable a step-change in the scalability of formal design and verification methods for industrial-scale systems: by designing systems in a compositional manner, components can be modelled, specified, implemented, and verified independently and in parallel by different teams, leading to significant gains in terms of productivity and the ability to reuse components. We discuss why component-based frameworks have, up to now fallen short of meeting those expectations, and present the X-MAN framework; a component-based framework and development methodology that has been designed to overcome limitations of previous solutions. Walking through an industrial case study, we illustrate architecture, specification, detailed design, and implementation of systems in X-MAN. Correctness and reliability concerns are addressed uniformly within X- MAN through integration with existing static analysis tools for functional and extra-functional properties.
Fichier principal
Vignette du fichier
1D-2.pdf (474 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02189896 , version 1 (20-07-2019)

Identifiants

  • HAL Id : hal-02189896 , version 1

Citer

Nannan He, Daniel Kroening, Thomas Wahl, Kung-Kiu Lau, Faris Taweel, et al.. Component-based Design and Verification in X-MAN. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02189896⟩
186 Consultations
65 Téléchargements

Partager

Gmail Facebook X LinkedIn More