OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Process and tool support for design patterns with safety requirements

Radermacher, Ansgar and Hamid, Brahim and Fredj, Manel and Profizi, Jean-Louis Process and tool support for design patterns with safety requirements. (2015) In: 18th European Conference on Pattern Language of Programs (EuroPlop 2013), 10 July 2013 - 14 July 2013 (Kloster Irsee, Germany).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
518kB

Official URL: http://dx.doi.org/10.1145/2739011.2739019

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).

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to ACM editor. The definitive version is available at http://dl.acm.org This paper appears in: EuroPLoP'13 : Proceedings of the 18th European Conference on Pattern Languages of Program. ISBN 978-1-4503-3465-5. The original PDF is available at: http://dl.acm.org/citation.cfm?id=2739019
HAL Id:hal-01400101
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Commissariat à l'Energie Atomique et aux énergies alternatives - CEA (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > ALSTOM Transport (FRANCE)
Other partners > SERMA Group (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:18 Nov 2016 10:39

Repository Staff Only: item control page