Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Enforcing S&D pattern design in RCES with modeling and formal approaches

 
: Hamid, B.; Gürgens, S.; Jouvray, C.; Desnos, N.

:

Whittle, J.:
Model driven engineering languages and systems. Proceedings : 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011
Berlin: Springer, 2011 (Lecture Notes in Computer Science 6981)
ISBN: 3-642-24484-X
ISBN: 978-3-642-24484-1
ISBN: 978-3-642-24485-8
pp.319-333
International Conference on Model Driven Engineering Languages and Systems (MODELS) <14, 2011, Wellington>
English
Conference Paper
Fraunhofer SIT ()

Abstract
The requirement for higher security and dependability of systems is continuously increasing even in domains not traditionally deeply involved in such issues. Yet, evolution of embedded systems towards devices connected via Internet, wireless communication or other interfaces requires a reconsideration of secure and trusted embedded systems engineering processes. In this paper, we propose an approach that associates model driven engineering (MDE) and formal validation to build security and dependability (S&D) patterns for trusted RCES applications. The contribution of this work is twofold. On the one hand, we use model-based techniques to capture a set of artifacts to encode S&D patterns. On the other hand, we introduce a set of artifacts for the formal validation of these patterns in order to guarantee their correctness. The formal validation in turn follows the the MDE process and thus links concrete validation results to the S&D requirements identified at higher level s of abstraction.

: http://publica.fraunhofer.de/documents/N-189013.html