1. Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation
- Author
-
Jon Perez, Brahim Hamid, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), IK4-IKERLAN (SPAIN), Modèles, Architectures, Composants, Agilité et prOcessus (IRIT-MACAO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, IK4 - IKERLAN [Mondragón], and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
- Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR] ,Engineering ,Context (language use) ,[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] ,02 engineering and technology ,Reuse ,Dependability ,Meta-modeling ,Interface homme-machine ,Domain (software engineering) ,Set (abstract data type) ,[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR] ,Software ,Architectures Matérielles ,020204 information systems ,0202 electrical engineering, electronic engineering, information engineering ,Génie logiciel ,[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC] ,Software system ,Patterns ,Operations architecture ,business.industry ,020207 software engineering ,Modélisation et simulation ,[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation ,Systèmes embarqués ,Model driven engineering ,System engineering ,Hardware and Architecture ,Cryptographie et sécurité ,Systems engineering ,[INFO.INFO-ES]Computer Science [cs]/Embedded Systems ,Safety ,Software engineering ,business ,Information Systems - Abstract
A pattern-based approach as a new method for system dependability engineering based on the reuse of patterns.The design a set of DSMLs to specify the dependability patterns.The development of a set of tools to support the proposed approach.The application of the approach in the context of railway systems.These results suggest our work has wider applicability and usefulness. Safety-critical systems require a high level of safety and integrity. Therefore, generating such systems involves specific software building processes. Many domains are not traditionally involved in these types of software problems and must adapt their current processes accordingly. Typically, such requirements are developed ad hoc for each system, preventing further reuse beyond the domain-specific boundaries. This paper proposes a solution for software system development based on the reuse of dedicated subsystems, i.e., so-called dependability patterns that have been pre-engineered to adapt to a specific domain. We use Model-Driven Engineering (MDE) to describe dependability patterns and a methodology for developing dependable software systems using these patterns. Moreover, we describe an operational architecture for development tools to support the approach. An empirical evaluation of the proposed approach is presented through its practical application to a case study in the railway domain, which has strong dependability requirements, to support a pattern-based development approach. This case study is followed by a survey to better understand the perceptions of practitioners regarding our approach.
- Published
- 2016