当前位置: X-MOL 学术J. Syst. Softw. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Assurance and certification of cyber-physical systems: The AMASS open source ecosystem
Journal of Systems and Software ( IF 3.5 ) Pub Date : 2021-01-01 , DOI: 10.1016/j.jss.2020.110812
Jose Luis de la Vara , Alejandra Ruiz , Gaël Blondelle

Abstract 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.

中文翻译:

网络物理系统的保证和认证:AMASS 开源生态系统

摘要 许多网络物理系统 (CPS) 都经过严格的保证和认证流程,以确保不会造成不应有的风险,因此系统是值得信赖的。这些过程既复杂又耗时,工具支持可以极大地帮助它们的执行。与系统和软件工程的其他趋势一致,对用于保证和认证的开源工具的需求和兴趣正在增长,并且已经启动了不同的计划。作为一个具体的例子,我们报告了我们在开发 AMASS 开源生态系统方面的经验。该生态系统包括 (1) 支持主要 CPS 保证和认证活动的开源工具平台,(2) 具有增值功能的外部工具,以及 (3) 开发人员和用户的开放社区。该平台集成了用于系统建模、流程工程以及合规性和论证管理的现有解决方案。我们还介绍了 AMASS 工具平台在来自五个不同应用领域的 11 个工业案例研究中的应用。结果表明,该平台是 CPS 保证和认证的可行手段,并且从业者在面向保证的系统建模和集成系统保证信息等领域中发现了好处。尽管如此,也存在改进机会,最显着的是在工具互操作性和可用性方面。结果表明,该平台是 CPS 保证和认证的可行手段,并且从业者在面向保证的系统建模和集成系统保证信息等领域中发现了好处。尽管如此,也存在改进机会,最显着的是在工具互操作性和可用性方面。结果表明,该平台是 CPS 保证和认证的可行手段,并且从业者在面向保证的系统建模和集成系统保证信息等领域中发现了好处。尽管如此,也存在改进机会,最显着的是在工具互操作性和可用性方面。
更新日期:2021-01-01
down
wechat
bug