AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems

Status:

finished

Start date:

2016-04-01

End date:

2019-03-31

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 (http://www.amass-ecsel.eu) 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). 

[Show all publications]

Making SafeConcert Security-informed to Enable Multi-concern Modelling (Nov 2020)
Barbara Gallina, Zulqarnain Haider
30th European Safety and Reliability Conference (ESREL-2020)

A Personal Opinion Survey on Process-based Compliance Checking in the Safety Context (Sep 2020)
Julieth Patricia Castellanos Ardila, Barbara Gallina
13th International Conference on the Quality of Information and Communications Technology- Track: Process Modeling, Improvement and Assessment (QUATIC-2020)

Process Compliance Re-Certification Efficiency Enabled by EPF-C ° BVR-T (Sep 2020)
Barbara Gallina, Aleksandër Pulla, Antonela Bregu, Julieth Patricia Castellanos Ardila
13th International Conference on the Quality of Information and Communications Technology- Track: Process Modeling, Improvement and Assessment (QUATIC-2020)

The AMASS Tool Platform: An Innovative Solution for Assurance and Certification of Cyber-Physical Systems (Mar 2020)
Jose Luis de la Vara , Eugenio Parra Corredor , Alejandra Ruiz Lopez , Barbara Gallina
26th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ-2020)

Guiding assurance of architectural design patterns for critical applications (Mar 2020)
Irfan Sljivo, Garazi Juez Uriagereka , Stefano Puri , Barbara Gallina
Journal of Systems Architecture, 2020, 110(101765) (JSA, 110(101765))

Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems (Mar 2020)
Robert Bramberger, Helmut Martin, Barbara Gallina, Christoph Schmittner
ACM SIGAda-Ada-Letters-39-II (AdaLetters39-II)

PartnerType
Alten Sverige AB Industrial
Comentor AB Industrial
OHB Sweden AB Industrial
SP Technical Research Institute of Sweden Industrial