Security and Safety Modelling
Public support
Provider
Ministry of Education, Youth and Sports
Programme
—
Call for proposals
RP - Spolufinancování programu Evropských společenství
Main participants
České vysoké učení technické v Praze / Fakulta elektrotechnická
Contest type
RP - Co-financing of EC programme
Contract ID
MSMT-4317/2013-310
Alternative language
Project name in Czech
Security and Safety Modelling
Annotation in Czech
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 impedesystem 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: - a methodology to reduce interdependencies between safety and security mechanisms and to jointly ensure their properties - constructive elements for the implementationof safe and secure systems - procedures for integrated analysis of safety and security - an overall design methodology and tool-chain utilizing the constructive elements and integrated analysis procedures to ensure that safety and security are intrinsiccharacteristics of the system. 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.
Scientific branches
R&D category
AP - Applied research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
JD - Use of computers, robotics and its application
CEP - another secondary branch
IN - Informatics
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20204 - Robotics and automatic control<br>20205 - Automation and control systems<br>20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The National Funding Authority i.e Ministry of Education, Youth and Sports does not provide the evaluation of the project results. The project implementation is part of the international project and the evaluation proces is carried out by an international provider within all international consortium of researchers and in accordance with the relevant criteria of the international program.
Solution timeline
Realization period - beginning
May 1, 2012
Realization period - end
Apr 30, 2015
Project status
U - Finished project
Latest support payment
Feb 24, 2015
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP16-MSM-7H-U/01:1
Data delivery date
Oct 2, 2017
Finance
Total approved costs
4,906 thou. CZK
Public financial support
4,087 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
819 thou. CZK