Moteur de recherche d’entreprises européennes

Financement de l’UE (6 178 243 €) : Assurance et certification des systèmes cyber-physiques axées sur l’architecture, multi-préoccupations et transparentes Hor 01/04/2016 Programme de recherche et d'innovation de l'UE « Horizon »

Vue d’ensemble

Texte

Assurance et certification des systèmes cyber-physiques axées sur l’architecture, multi-préoccupations et transparentes

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).


AIT Austrian Institute OF Technology GmbH 321 395 €
Alliance Pour les Technologies de l'Informatique 187 875 €
Alstom Transport SA 205 706 €
Alten Sverige AB 243 466 €
Ansys Medini Technologies AG 215 623 €
AVL List GmbH 10 885,69 €
Centro de Innovacion y Soluciones Empresariales y Tecnologicas SL 8 087,55 €
Clearsy SAS 173 504 €
Comentor AB 56 226 €
Commissariat a L Energie Atomique et aux Energies Alternatives 321 437 €
Eclipse Foundation Europe GmbH 71 250 €
Expleo Germany GmbH 312 884 €
Fondazione Bruno Kessler 201 089 €
Fundacion Tecnalia Research & Innovation 577 269 €
GMV Aerospace And Defence SA 83 281 €
Honeywell International s.r.o. 183 362 €
Infineon Technologies AG 380 550 €
Intecs S.p.A. 31 069 €
Knowledge Centric Solutions SL 237 040 €
Lange Research Aircraft GmbH 163 482 €
Malardalens Universitet 498 598 €
Masarykova Univerzita 96 000 €
OHB Sweden AB 89 063 €
Rapita Systems Ltd. 167 578 €
Rina Services S.p.A. 15 625,00 €
Rise Research Institutes OF Sweden AB 74 917 €
Schneider Electric Espana SA 199 844 €
Technolabs Srl 110 806 €
Thales Alenia Space Espana SA 239 250 €
Thales Italia S.p.A. 231 934 €
Universidad Carlos III de Madrid 252 048 €
Virtual Vehicle Research GmbH 217 100 €

https://cordis.europa.eu/project/id/692474

Cette annonce se réfère à une date antérieure et ne reflète pas nécessairement l’état actuel.