Process and tool support for design patterns with safety requirements

Autor: Jean-Louis Profizi, Ansgar Radermacher, Brahim Hamid, Manel Fredj
Přispěvatelé: Commissariat à l'Energie Atomique et aux énergies alternatives - CEA (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), ALSTOM Transport (FRANCE), SERMA Group (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués (LISE), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, 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, Alstom Transport (Alstom Transport), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)
Jazyk: angličtina
Rok vydání: 2015
Předmět:
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
Component
Traceability
Process (engineering)
Computer science
02 engineering and technology
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Interface homme-machine
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Architectures Matérielles
020204 information systems
Component (UML)
0202 electrical engineering
electronic engineering
information engineering
Dependability
Génie logiciel
[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
computer.programming_language
business.industry
020207 software engineering
Design patterns
Modélisation et simulation
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Systèmes embarqués
Model driven engineering
Proof of concept
Software design pattern
Systems engineering
Cryptographie et sécurité
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Model-driven architecture
Safety
Software engineering
business
Engineering design process
computer
Zdroj: EuroPLoP '13 : Proceedings of the 18th European Conference on Pattern Languages of Program
18th European Conference on Pattern Language of Programs (EuroPlop 2013)
18th European Conference on Pattern Language of Programs (EuroPlop 2013), Jul 2013, Kloster Irsee, Germany. pp. 1-16
Popis: International audience; The requirement for higher Security and Dependability (S&D) of systems is continuously increasing, even in domains tradi-tionally not deeply involved in such issues. Nowadays, many practitioners express their worries about current S&D software engineering practices. New recommendations should be considered to ground this discipline on two pillars: solid theory and proven principles. We took the second pillar towards software engineering for embedded system applications, focusing on the problem of integrating S&D by design to foster reuse. In this paper, we propose to combine design patterns and Model Driven Engineering (MDE) techniques for building component-based applications with safety requirements. The resulting modeling framework serves primarily to capture the basic concepts for specifying safety-oriented design patterns, building an S&D pattern system, and maintain safety properties, with existing modeling artifacts, during the engineering process based on the S&D pattern system. As a proof of concept, we are evaluating the feasibility of the framework through the example of the MooN pattern system for building systems having safety requirements: Communication Based Train Control (CBTC).
Databáze: OpenAIRE
Externí odkaz: