Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
8A16002

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č