Objetivo
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).
Ámbito científico
Programa(s)
Convocatoria de propuestas
H2020-ECSEL-2015-1-RIA-two-stage-Master
Consulte otros proyectos de esta convocatoriaConvocatoria de subcontratación
H2020-ECSEL-2015-1-RIA-two-stage
Régimen de financiación
ECSEL-RIA - ECSEL Research and Innovation ActionCoordinador
20009 DONOSTIA-SAN SEBASTIAN (GIPUZKOA)
España
Ver en el mapa
Participantes (31)
148 00 Praha
Ver en el mapa
08019 Barcelona
Ver en el mapa
10963 BERLIN
Ver en el mapa
722 20 VASTERAAS
Ver en el mapa
64295 Darmstadt
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
85579 Neubiberg
Ver en el mapa
1210 Wien
Ver en el mapa
38122 Trento
Ver en el mapa
La participación finalizó
00193 ROMA
Ver en el mapa
80807 Munchen
Ver en el mapa
28760 Tres Cantos
Ver en el mapa
16128 Genova
Ver en el mapa
28760 Tres Cantos
Ver en el mapa
28903 Getafe (Madrid)
Ver en el mapa
YO10 3JB York
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
La participación finalizó
28919 LEGANES (MADRID)
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
164 29 Kista
Ver en el mapa
601 77 Brno
Ver en el mapa
La participación finalizó
8020 Graz
Ver en el mapa
8010 Graz
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
53810 CHANGE
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
75015 PARIS 15
Ver en el mapa
13857 Aix En Provence
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
417 55 GOTEBORG
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
66482 Zweibrucken
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
50019 Sesto Fiorentino
Ver en el mapa
501 15 Boras
Ver en el mapa
417 56 GOTEBORG
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
28919 Leganes Madrid
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
93400 Saint Ouen
Ver en el mapa
00131 Roma
Ver en el mapa