Ziel
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 labor-intensive 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).
Wissenschaftliches Gebiet
Programm/Programme
Thema/Themen
Aufforderung zur Vorschlagseinreichung
H2020-ECSEL-2015-1-RIA-two-stage-Master
Andere Projekte für diesen Aufruf anzeigenUnterauftrag
H2020-ECSEL-2015-1-RIA-two-stage
Finanzierungsplan
ECSEL-RIA - ECSEL Research and Innovation ActionKoordinator
20009 DONOSTIA-SAN SEBASTIAN (GIPUZKOA)
Spanien
Auf der Karte ansehen
Beteiligte (31)
148 00 Praha
Auf der Karte ansehen
08019 Barcelona
Auf der Karte ansehen
10963 BERLIN
Auf der Karte ansehen
722 20 VASTERAAS
Auf der Karte ansehen
64295 Darmstadt
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
85579 Neubiberg
Auf der Karte ansehen
1210 Wien
Auf der Karte ansehen
38122 Trento
Auf der Karte ansehen
Beteiligung beendet
00193 ROMA
Auf der Karte ansehen
80807 Munchen
Auf der Karte ansehen
28760 Tres Cantos
Auf der Karte ansehen
16128 Genova
Auf der Karte ansehen
28760 Tres Cantos
Auf der Karte ansehen
28903 Getafe (Madrid)
Auf der Karte ansehen
YO10 3JB York
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
Beteiligung beendet
28919 LEGANES (MADRID)
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
164 29 Kista
Auf der Karte ansehen
601 77 Brno
Auf der Karte ansehen
Beteiligung beendet
8020 Graz
Auf der Karte ansehen
8010 Graz
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
53810 CHANGE
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
75015 PARIS 15
Auf der Karte ansehen
13857 Aix En Provence
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
417 55 GOTEBORG
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
66482 Zweibrucken
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
50019 Sesto Fiorentino
Auf der Karte ansehen
501 15 Boras
Auf der Karte ansehen
417 56 GOTEBORG
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
28919 Leganes Madrid
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
93400 Saint Ouen
Auf der Karte ansehen
00131 Roma
Auf der Karte ansehen