![]() Adedjouma, Morayo ![]() in 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings (2012) Detailed reference viewed: 103 (2 UL)![]() Adedjouma, Morayo ![]() in Proceedings of the 13th International Conference on Product-Focused Software Process Improvement (PROFES 2012) (2012) Detailed reference viewed: 101 (0 UL)![]() Adedjouma, Morayo ![]() in Proceedings of 6th European congress on Embedded Real Time Software and Systems (ERTS 2012) (2012) Detailed reference viewed: 68 (0 UL)![]() Adedjouma, Morayo ![]() in Proceedings of the Third Workshop on Model Driven Tool and Process Integration (MDTPI) (2010) Detailed reference viewed: 283 (3 UL)![]() ; ; Adedjouma, Morayo ![]() in Actes des 5emes journées sur l’Ingénierie Dirigée par les Modèles, Nancy, 25-26 mars 2009 (2009) From the nineties, paradigm "cheaper, faster, better" is becoming a successfully paradigm to develop systems such that real-time embedded systems where safety guarantees are mandatory. Model-driven ... [more ▼] From the nineties, paradigm "cheaper, faster, better" is becoming a successfully paradigm to develop systems such that real-time embedded systems where safety guarantees are mandatory. Model-driven engineering (MDE) approaches provide a solution to manage the increasing complexity of such systems. In this paper, we adopt a MDE approach and we study how to integrate safety requirements (and, more particularly, the dependability) from the early phases of software development. We base our investigation on three pilasters: definition of a safety metamodel compatible with UML standard profiles; definition of a software development methodology and adoption of formal methods to prove properties. In this paper we discuss our strategy and some challenges that we are faced to. MOTS-CLÉS : ingénierie dirigée par les modèles (IDM), sûreté de fonctionnement, fiabilité, métamodèles, profil UML. [less ▲] Detailed reference viewed: 78 (0 UL) |
||