A Model-Based methodology to support the Space System Engineering (MBSSE) - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

A Model-Based methodology to support the Space System Engineering (MBSSE)

S Mazzini
  • Fonction : Auteur
E Tronci
  • Fonction : Auteur
C Paccagnini
  • Fonction : Auteur

Résumé

This paper presents a model based methodology that relies on the sound basis of the most recent and widespread applicable system engineering standards and model based practices, The methodology has been defined to support domain specific space system engineering standards and practices and assessed through the application on industrial case studies. A complementary formal verification approach has also been experimented.
Fichier principal
Vignette du fichier
6A-2.pdf (409.27 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02267836 , version 1 (19-08-2019)

Identifiants

  • HAL Id : hal-02267836 , version 1

Citer

S Mazzini, E Tronci, C Paccagnini, Xavier Olive. A Model-Based methodology to support the Space System Engineering (MBSSE). ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02267836⟩

Collections

ERTS2010
99 Consultations
460 Téléchargements

Partager

More