Browsing by Author "Gallina, Barbara"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems(Springer Nature, 2019) de la Vara, Jose Luis; Parra, Eugenio; Ruiz, Alejandra; Gallina, Barbara; Franch, Xavier; Männistö, Tomi; Martínez-Fernández, Silverio; QuantumMost safety-critical systems must undergo assurance and certification processes. The associated activities can be complex and labour-intensive, thus practitioners need suitable means to execute them. The activities are further becoming more challenging as a result of the evolution of the systems towards cyber-physical ones, as these systems have new assurance and certification needs. The AMASS project (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) tackled these issues by creating and consolidating the de-facto European-wide open tool platform, ecosystem, and self-sustainable community for assurance and certification of cyber-physical systems. The project defined a novel holistic approach for architecture-driven assurance, multi-concern assurance, seamless interoperability, and cross- and intra-domain reuse of assurance assets. AMASS results were applied in 11 industrial case studies to demonstrate the reduction of effort in assurance and certification, the reduction of (re)certification cost, the reduction of assurance and certification risks, and the increase in technology harmonisation and interoperability.Item Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems.(Springer International Publishing, 2016-09-01) Ruiz, Alejandra; Gallina, Barbara; de la Vara, Jose Luis; Mazzini, Silvia; Espinoza, Huascar; Guiochet, Jérémie; Schoitsch, Erwin; Bitsch, Friedemann; Skavhaug, Amund; Quantum; Tecnalia Research & InnovationUnlike practices in electrical and mechanical equipment engineering, Cyber-Physical Systems (CPS) do not have a set of standardized and harmonized practices for assurance and certification that ensures safe, secure and reliable operation with typical software and hardware architectures. This paper presents a recent initiative called AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) to promote harmonization, reuse and automation of labour-intensive certification-oriented activities via using model-based approaches and incremental techniques. AMASS will develop an integrated and holistic approach, a supporting tool ecosystem and a self-sustainable community for assurance and certification of CPS. The approach will be driven by architectural decisions (fully compatible with standards, e.g. AUTOSAR and IMA), including multiple assurance concerns such as safety, security and reliability. AMASS will support seamless interoperability between assurance/certification and engineering activities along with third-party activities (external assessments, supplier assurance). The ultimate aim is to lower certification costs in face of rapidly changing product features and market needs.