Security and Safety Modelling
ARTEMIS Join Undertaking / Ministry of Instruction, University and Research - ARTEMIS-2011
Intecs S.p.A. (I)
IIT-CNR – Institute of Informatics and Telematics (I); Akhela (I); DICEA – “Sapienza” Università di Roma (I); Technical University of Denmark (DK); Forschungszentrum Telekommunikation Wien GMBH (AT); Adelard LLP (UK); UniControls (CZ); Czech Technical University in Prague (CZ); Peugeot Citroën (F); SYSGO AG (D); ikv++ technologies ag (D); eesy-id GmbH (D); Infineon Technologies AG Deutschland (D); EADS DEUTSCHLAND GMBH (D); Electricité de France (F); SYSGO s.r.o. (CZ); Siemens AG Österreich (AT); City University London - Centre for Software Reliability (UK); General Motors Research (USA).
The SESAMO project addresses the root causes of problems arising with convergence of safety and security in embedded systems at architectural level, where subtle and poorly understood interactions between functional safety and security mechanisms impede system definition, development, certification, and accreditation procedures and standards. Intense market innovation is being held back by this root cause: the absence of a rigorous theoretical and practical understanding of safety and security feature interaction.
The proposed solution is to develop a component-oriented design methodology based upon model-driven technology, jointly addressing safety and security aspects and their interrelation for networked embedded systems in multiple domains (e.g., avionics, transportation, industry control).
Key elements of the SESAMO approach are:
The relevance of the SESAMO results is guaranteed by the involvement of large partners with significant economic interests in safety and security critical systems in the use case domains: automotive, aerospace, energy, mobile medical, and metropolitan rail transport; a sound group of technology providers (including SMEs); and prestigious research entities (academia and institutes) with deep and complementary multi-domain expertise.
SESAMO will enable cost-efficient and systematic design, analysis, development, and assessment of distributed safety and security critical embedded systems. The results will have broad, cross-domain applicability in numerous strategic sectors of European industry.