AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems

被引:9
|
作者
Luis de la Vara, Jose [1 ]
Parra, Eugenio [2 ]
Ruiz, Alejandra [3 ]
Gallina, Barbara [4 ]
机构
[1] Univ Castilla La Mancha, Albacete, Spain
[2] Carlos III Univ Madrid, Leganes, Spain
[3] Tecnalia Res & Innovat, Derio, Spain
[4] Malardalen Univ, Vasteras, Sweden
基金
欧盟地平线“2020”;
关键词
AMASS; Cyber-physical system; CPS; Assurance; Certification;
D O I
10.1007/978-3-030-35333-9_49
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Most 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.
引用
收藏
页码:626 / 632
页数:7
相关论文
共 50 条
  • [1] Assurance and certification of cyber-physical systems: The AMASS open source ecosystem
    Luis de la Vara, Jose
    Ruiz, Alejandra
    Blondelle, Gael
    JOURNAL OF SYSTEMS AND SOFTWARE, 2021, 171 (171)
  • [2] From Large-Scale Systems to Cyber-Physical Systems
    Jamshidi, Mo
    JOURNAL OF INTERNET TECHNOLOGY, 2011, 12 (03): : 367 - 374
  • [3] Towards Trust Assurance and Certification in Cyber-Physical Systems
    Schneider, Daniel
    Armengaud, Eric
    Schoitsch, Erwin
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 180 - 191
  • [4] The Cyber-Physical Marketplace: A Framework for Large-Scale Horizontal Integration in Distributed Cyber-Physical Systems
    Wolf, Tilman
    Zink, Michael
    Nagurney, Anna
    2013 33RD IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS (ICDCSW 2013), 2013, : 296 - 302
  • [5] CPSSim: Simulation Framework for Large-Scale Cyber-Physical Systems
    Chu, Chia-Tse
    Shih, Chi-Sheng
    2013 IEEE 1ST INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, NETWORKS, AND APPLICATIONS (CPSNA), 2013, : 44 - 51
  • [6] False Sequential Command Attack of Large-Scale Cyber-Physical Systems
    Xiong, Yinqiao
    Yang, Ziyu
    Wang, Baoyao
    Xun, Peng
    Deng, Tiantian
    ELECTRONICS, 2018, 7 (09):
  • [7] TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems
    Sinha, Roopak
    Dowdeswell, Barry
    Zhabelova, Gulnara
    Vyatkin, Valeriy
    ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 2019, 3 (02)
  • [8] A Case for Integrated Data Processing in Large-Scale Cyber-Physical Systems
    Glebke, Rene
    Henze, Martin
    Wehrle, Klaus
    Niemietz, Philipp
    Trauth, Daniel
    Mattfeld, Patrick
    Bergs, Thomas
    PROCEEDINGS OF THE 52ND ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2019, : 7252 - 7261
  • [9] Quantitative Risk Modeling and Analysis for Large-Scale Cyber-Physical Systems
    Malik, Adeel A.
    Tosh, Deepak K.
    2020 29TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN 2020), 2020,
  • [10] Fault diagnosability evaluation for interconnected large-scale cyber-physical systems
    Zhao, Dong
    Fu, Fangzhou
    Wang, Dayi
    Shi, Yang
    AUTOMATICA, 2025, 173