Probabilistic Failure Analysis in Model V&V

International audienceAs 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