Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
Společná technologická iniciativa ECSEL
Veřejná soutěž
H2020-ECSEL-2015-1-RIA-two-stage - Research and In
Hlavní účastníci
Masarykova univerzita / Fakulta informatiky
Druh soutěže
RP - Spolufinancování programu EK
Číslo smlouvy
MSMT-22210/2016-1
Alternativní jazyk
Název projektu anglicky
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Anotace anglicky
Embedded systems have significantly increased in technical complexity towards open, interconnected systems. This has exacerbated the problem of ensuring dependability in the presence of human, environmental and technological risks. The rise of complex Cyber-Physical Systems (CPS) has led to many initiatives to promote reuse and automation of laborintensive activities. Two large-scale projects are OPENCOSS and SafeCer, which dealt with assurance and certification of software-intensive critical systems using incremental and model-based approaches. OPENCOSS defined a Common Certification Language (CCL), unifying concepts from different industries to build a harmonized approach to reduce time and cost overheads, via facilitating the reuse of certification assets. SafeCer developed safety-oriented process lines, a component model, contract-based verification techniques, and process/product-based model-driven safety certification for compositional development and certification of CPSs. AMASS will create and consolidate a de-facto European-wide assurance and certification open tool platform, ecosystem and self-sustainable community spanning the largest CPS vertical markets. We will start by combining and evolving the OPENCOSS and SafeCer technological solutions towards end-user validated tools, and will enhance and perform further research into new areas not covered by those projects. The ultimate aim is to lower certification costs in face of rapidly changing product features and market needs. This will be achieved by establishing a novel holistic and reuse-oriented approach for architecture-driven assurance (fully compatible with standards e.g. AUTOSAR and IMA), multi-concern assurance (compliance demonstration, impact analyses, and compositional assurance of security and safety aspects), and for seamless interoperability between assurance/certification and engineering activities along with third-party activities (external assessments, supplier assurance).
Vědní obory
Kategorie VaV
AP - Aplikovaný výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
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)
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Hodnocení výsledků řešení projektu MŠMT na základě rozhodnutí o poskytnutí institucionální podpory pro daný projekt neprovádí, neboť podmínkou podpory je, že uchazeč byl vybrán mezinárodním poskytovatelem v souladu s pravidly příslušného programu. Projekt je hodnocen na mezinárodní úrovni mezinárodním poskytovatelem. V rámci řešení projektu AMASS FI MU přispěla k vytvoření verifikační komponenty platformy AMASS pro ověřovní bezpečnosti a korektnosti leteckých systémů a jejich požadavků. Tým z univerzity přispěl zejména integrací verifikačních nástrojů vyvíjených na fakultě.
Termíny řešení
Zahájení řešení
1. 4. 2016
Ukončení řešení
31. 3. 2019
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
23. 2. 2018
Dodání dat do CEP
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
CEP20-MSM-8A-U/01:1
Datum dodání záznamu
18. 6. 2020
Finance
Celkové uznané náklady
3 894 tis. Kč
Výše podpory ze státního rozpočtu
3 894 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
2 594 tis. Kč