OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns

Hamid, Brahim and Geisel, Jacob and Ziani, Adel and Bruel, Jean-Michel and Perez, Jon Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns. (2013) In: 16th System Design Languages Forum (SDL 2013), 26 June 2013 - 28 June 2013 (Montreal, Canada).

[img]
Preview
(Document in English)

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

Official URL: http://dx.doi.org/10.1007/978-3-642-38911-5_5

Abstract

Nowadays, many practitioners express their worries about current software engineering practices. New recommendations should be considered to ground software engineering 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 Security and Dependability (S&D) by design to foster reuse. The framework and the methodology we propose associate the model-driven paradigm and a model-based repository of S&D patterns to support the design of trusted Resource Constrained Embedded System (RCES) applications for multiple domains (e.g., railway, metrology, automotive). The approach has been successfully evaluated by the TERESA project external reviewers as well as internally by the Ikerlan Research Center for the railway domain.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 7916 Lecture Notes in Computer Science ISSN : 0302-9743. ISBN: 978-3-642-38910-8. The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-642-38911-5_5
HAL Id:hal-01240715
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > IK4-IKERLAN (SPAIN)
Laboratory name:
Statistics:download
Deposited On:19 Nov 2015 12:34

Repository Staff Only: item control page