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).
|First Name||Last Name||Title|
|Julieth Patricia||Castellanos Ardila||Doctoral student|
|Gunnar||Widforss||Project Manager,Senior Project Manager|
|Muhammad Atif||Javed||Postdoctoral research fellow|
|Mustafa||Hashmi||Postdoctoral research fellow|
Bridging the Gap between Testing and Safety Certification (Mar 2018) Aiman Gannous , Anneliese Andrews , Barbara Gallina 39th Aerospace Conference (AC-2018)
Cost-Aware Scheduling of Software Processes Execution in the Cloud (Jan 2018) Sami Alajrami , Alexander Romanovsky , Barbara Gallina 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2018)
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262 (Jan 2018) Julieth Patricia Castellanos Ardila, Barbara Gallina 1st Workshop on Technologies for Regulatory Compliance co-located with the 30th International Conference on Legal Knowledge and Information Systems (JURIX 2017) (TeReCom-2017)
Towards Generating ECSS-compliant Fault Tree Analysis Results via ConcertoFLA (Dec 2017) Barbara Gallina, Zulqarnain Haider, Anna Carlsson 2nd International Conference on Reliability Engineering (ICRE-2017)
Enabling GSD Task Allocation via Cloud-based Software Processes (Oct 2017) Sami Alajrami , Barbara Gallina, Alexander Romanovsky International Journal of Networked and Distributed Computing 5(4)-2017 (IJNDC 5(4)-2017)
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards (Oct 2017) Julieth Patricia Castellanos Ardila, Barbara Gallina The 7th IEEE International Workshop on Software Certification (WoSoCer 2017)