Enforcing trust in embedded systems using models

  • Authors:
  • Christophe Jouvray;Michel Sall;Antonio Kung

  • Affiliations:
  • TRIALOG, Paris, France;TRIALOG, Paris, France;TRIALOG, Paris, France

  • Venue:
  • Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Embedded systems are intensely used in many domains such as automotive, aerospace, home control, and telecommunication systems. Generally, embedded systems are viewed as time and resource constrained systems. Now, trust is becoming an increasingly important issue in the field of embedded systems. Trust is the level of security and dependability (S&D) achieved by an implementation. The consequence is that specifications of embedded systems contain many S&D requirements. The main goal of trust is that an accidental or intentional fault will be confined and will not throw S&D features into question. To reduce the risk of design fault, it is necessary to maximize the automation of steps in the system development cycle. This need in the development process can be satisfied by model driven engineering. However, it is necessary to adapt current model-based methodologies by enriching them with S&D concepts. This paper presents a model-driven approach customized by S&D concerns. This approach involves the definition of a trust-aware platform-independent architecture. In order to complete the process, model based solutions dedicated to developers are presented.