RT Journal Article
T1 Assurance and certification of cyber–physical systems: 												The AMASS open source ecosystem
A1 de la Vara, Jose Luis
A1 Ruiz, Alejandra
A1 Blondelle, Gaël
AB Many cyber–physical systems (CPS) are subject to rigorous assurance and certification processes to provide confidence that undue risks are not posed and thus the systems are trustworthy. These processes are complex and time-consuming and tool support can greatly aid in their execution. In line with other trends for systems and software engineering, the need for and interest in open source tools for assurance and certification is growing and different initiatives have been launched. As a concrete example, we report on our experience in developing the AMASS open source ecosystem. This ecosystem includes (1) an open source tool platform that supports the main CPS assurance and certification activities, (2) external tools with added-value features, and (3) an open community of developers and users. The platform integrates existing solutions for system modelling, process engineering, and compliance and argumentation management. We also present the application of the AMASS tool platform in 11 industrial case studies from five different application domains. The results show that the platform is a feasible means for CPS assurance and certification and that practitioners find benefits in assurance-oriented system modelling and in integrated system assurance information, among other areas. Nonetheless, improvement opportunities also exist, most notably regarding tool interoperability and usability.
SN 0164-1212
YR 2021
FD 2021-01
LA eng
NO de la Vara , J L , Ruiz , A & Blondelle , G 2021 , ' Assurance and certification of cyber–physical systems : The AMASS open source ecosystem ' , Journal of Systems and Software , vol. 171 , 110812 . https://doi.org/10.1016/j.jss.2020.110812
NO Publisher Copyright: © 2020 Elsevier Inc.
NO The work leading to this paper has received funding from the AMASS (H2020-ECSEL grant agreement no 692474; Spain's MINECO ref. PCIN-2015-262), iRel4.0 (H2020-ECSEL grant agreement no 876659), VALU3S (H2020-ECSEL grant agreement no 876852), and Treasure (JCCM ref. SBPLY/19/180501/000270; EC's European Regional Development Fund) projects, and from the Ramon y Cajal Program (Spain's MICINN ref. RYC-2017-22836; EC's European Social Fund ). We thank all the AMASS partners that have contributed to envisioning and to developing the AMASS open source ecosystem, especially Huascar Espinoza, Barbara Gallina, Philippe Krief, and Silvia Mazzini, who have provided feedback on the scope and content of this paper, and those involved in the industrial case studies. The work leading to this paper has received funding from the AMASS (H2020-ECSEL grant agreement no 692474 ; Spain’s MINECO ref. PCIN-2015-262 ), iRel4.0 (H2020-ECSEL grant agreement no 876659 ), VALU3S (H2020-ECSEL grant agreement no 876852 ), and Treasure (JCCM ref. SBPLY/19/180501/000270 ; EC’s European Regional Development Fund ) projects, and from the Ramon y Cajal Program (Spain’s MICINN ref. RYC-2017-22836 ; EC’s European Social Fund ). We thank all the AMASS partners that have contributed to envisioning and to developing the AMASS open source ecosystem, especially Huascar Espinoza, Barbara Gallina, Philippe Krief, and Silvia Mazzini, who have provided feedback on the scope and content of this paper, and those involved in the industrial case studies.
DS TECNALIA Publications
RD 29 sept 2024