Probabilistic Failure Analysis in Model V&V

Ning Ge (1) , Marc Pantel (2, 3) , Xavier Crégut (2, 3)

1 IRT Saint Exupéry - Institut de Recherche Technologique
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
3 Toulouse INP - Institut National Polytechnique (Toulouse)

As the size and complexity of safety critical real-time system are rapidly increasing due to the evolution offunctional and non-functional requirements, Model-Driven Engineering (MDE) has become a promising means toimprove the reliability and efficiency of the traditional software engineering by introducing the models and theformal methods. We use the multi V-model proposed in the ITEA TIMMO project in Fig. 1 to illustrate the useof process of MDE for developing real-time system.

Mots clés: Model-driven engineering; V&V; Model checking; Model simulation; Probabilistic analysis; Hidden markov model

Domaines: Informatique [cs]; Systèmes embarqués

Ning Ge, Marc Pantel, Xavier Crégut. Probabilistic Failure Analysis in Model V&V. Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France. ⟨hal-02272323⟩