Skip to Main content Skip to Navigation
Conference papers

Process and tool support for design patterns with safety requirements

Abstract : 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).
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, November 21, 2016 - 2:10:03 PM
Last modification on : Saturday, October 3, 2020 - 3:55:16 AM
Long-term archiving on: : Tuesday, March 21, 2017 - 12:16:26 AM


Files produced by the author(s)


  • HAL Id : hal-01400101, version 1
  • OATAO : 15147



Ansgar Radermacher, Brahim Hamid, Manel Fredj, Jean-Louis Profizi. Process and tool support for design patterns with safety requirements. 18th European Conference on Pattern Language of Programs (EuroPlop 2013), Jul 2013, Kloster Irsee, Germany. pp. 1-16. ⟨hal-01400101⟩



Record views


Files downloads