Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Public support
Provider
Ministry of Education, Youth and Sports
Programme
—
Call for proposals
H2020-ECSEL-2015-1-RIA-two-stage - Research and In
Main participants
Masarykova univerzita / Fakulta informatiky
Contest type
RP - Co-financing of EC programme
Contract ID
MSMT-22210/2016-1
Alternative language
Project name in Czech
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Annotation in Czech
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).
Scientific branches
R&D category
AP - Applied research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The MEYS does not evaluate the results of the project solution on the basis of the decision to provide institutional support for the given project, as the condition for support is that the applicant has been selected by an international provider in accordance with the rules of the relevant program. The project is evaluated at the international level by an international provider. Within the solution of the AMASS project, FI MU contributed to the creation of a verification component of the AMASS platform for verifying the safety and correctness of aircraft systems and their requirements. The university team contributed mainly by integrating verification tools developed at the faculty.
Solution timeline
Realization period - beginning
Apr 1, 2016
Realization period - end
Mar 31, 2019
Project status
U - Finished project
Latest support payment
Feb 23, 2018
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP20-MSM-8A-U/01:1
Data delivery date
Jun 18, 2020
Finance
Total approved costs
3,894 thou. CZK
Public financial support
3,894 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
2,594 thou. CZK