Security and Safety Modelling

Poskytovatel

Ministerstvo školství, mládeže a tělovýchovy

Program

Společné technologické iniciativy

Veřejná soutěž

RP - Spolufinancování programu Evropských společenství

Hlavní účastníci

České vysoké učení technické v Praze / Fakulta elektrotechnická

Druh soutěže

RP - Spolufinancování programu EK

Číslo smlouvy

MSMT-4317/2013-310

Název projektu anglicky

Security and Safety Modelling

Anotace anglicky

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.

Kategorie VaV

AP - Aplikovaný výzkum

CEP - hlavní obor

JC - Počítačový hardware a software

CEP - vedlejší obor

JD - Využití počítačů, robotika a její aplikace

CEP - další vedlejší obor

IN - Informatika

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</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

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Hodnocení výsledků řešeného projektu poskytovatel (tj. Ministerstvo školství, mládeže a tělovýchovy) neprovádí. Řešení projektu je součástí řešení mezinárodního projektu a hodnocení jeho výsledků provádí mezinárodní poskytovatel na úrovni celého mezinárodního konsorcia řešitelů v souladu s příslušnými kritérii daného mezinárodního programu.

Zahájení řešení

1. 5. 2012

Ukončení řešení

30. 4. 2015

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

24. 2. 2015

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP16-MSM-7H-U/01:1

Datum dodání záznamu

2. 10. 2017

Celkové uznané náklady

4 906 tis. Kč

Výše podpory ze státního rozpočtu

4 087 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

819 tis. Kč