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 条
  • [21] Resilient Control in Large-Scale Networked Cyber-Physical Systems: Guest Editorial
    Franze, Giuseppe
    Fortino, Giancarlo
    Cao, Xianghui
    Sarne, Giuseppe Maria Luigi
    Song, Zhen
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2020, 7 (05) : 1201 - 1203
  • [22] Adaptive Periodic Communication over MQTT for Large-Scale Cyber-Physical Systems
    Jo, Hyun-Chul
    Jin, Hyun-Wook
    2015 IEEE 3RD INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, NETWORKS, AND APPLICATIONS CPSNA 2015, 2015, : 66 - 69
  • [23] Elastic Infrastructure to Support Computing Clouds for Large-scale Cyber-Physical Systems
    Schmidt, Douglas C.
    White, Jules
    Gill, Christopher D.
    2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2014, : 56 - 63
  • [24] Generating Large-Scale Synthetic Communication Topologies for Cyber-Physical Power Systems
    Liu, Yigu
    Stefanov, Alexandru
    Palensky, Peter
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2024, 20 (11) : 13463 - 13472
  • [25] A Modelica-based Modeling and Simulation Framework for Large-scale Cyber-physical Systems of Systems
    Nazari, S.
    Sonntag, C.
    Engell, S.
    IFAC PAPERSONLINE, 2015, 48 (01): : 920 - +
  • [26] Cyber-Physical Battlefield Platform for Large-Scale Cybersecurity Exercises
    Kim, Joonsoo
    Kim, Kyeongho
    Jang, Moonsu
    2019 11TH INTERNATIONAL CONFERENCE ON CYBER CONFLICT (CYCON): SILENT BATTLE, 2019, : 439 - 457
  • [27] Edge Intelligent Joint Optimization for Lifetime and Latency in Large-Scale Cyber-Physical Systems
    Cao, Kun
    Cui, Yangguang
    Liu, Zhiquan
    Tan, Wuzheng
    Weng, Jian
    IEEE INTERNET OF THINGS JOURNAL, 2022, 9 (22): : 22267 - 22279
  • [28] Model-Free Fault Detection and Isolation in Large-Scale Cyber-Physical Systems
    Alippi, Cesare
    Ntalampiras, Stavros
    Roveri, Manuel
    IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE, 2017, 1 (01): : 61 - 71
  • [29] Privacy-Preserving Techniques for Protecting Large-Scale Data of Cyber-Physical Systems
    Keshk, Marwa
    Moustafa, Nour
    Sitnikova, Elena
    Turnbull, Benjamin
    Vatsalan, Dinusha
    2020 16TH INTERNATIONAL CONFERENCE ON MOBILITY, SENSING AND NETWORKING (MSN 2020), 2020, : 711 - 717
  • [30] Reliability Assurance of Cyber-Physical Power Systems
    Singh, Chanan
    Sprintson, Alex
    IEEE PES GENERAL MEETING, 2010,