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