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 条
  • [41] CRYSTAL framework: Cybersecurity assurance for cyber-physical systems
    Moradi, Fereidoun
    Asadollah, Sara Abbaspour
    Pourvatan, Bahman
    Moezkarimi, Zahra
    Sirjani, Marjan
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2024, 139
  • [42] Security Assurance Cases for Medical Cyber-Physical Systems
    Ray, Arnab
    Cleaveland, Rance
    IEEE DESIGN & TEST, 2015, 32 (05) : 56 - 65
  • [43] A Real-Time Cyber-Physical Simulation Testbed for Cybersecurity Assessment of Large-Scale Power Systems
    Nguyen, Thai-Thanh
    Kadavil, Rahul
    Hooshyar, Hossein
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2024, 60 (06) : 8329 - 8340
  • [44] Learning Spatial Graph Structure for Multivariate KPI Anomaly Detection in Large-Scale Cyber-Physical Systems
    Zhu, Haiqi
    Rho, Seungmin
    Liu, Shaohui
    Jiang, Feng
    IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2023, 72
  • [45] Lazy Grounding for Dynamic Configuration: Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP
    Eiter T.
    Friedrich G.
    Taupe R.
    Weinzierl A.
    KI - Künstliche Intelligenz, 2018, 32 (2-3) : 197 - 198
  • [46] Reachability Analysis for Safety Assurance of Cyber-Physical Systems Against Cyber Attacks
    Kwon, Cheolhyeon
    Hwang, Inseok
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (07) : 2272 - 2279
  • [47] Medium-scale to large-scale implementation of cyber-physical human experiments in live traffic
    McQuad, Sean T. .
    Denaro, Chris
    Ahmood, Malaika
    Lee, Jonathan W.
    Gumm, Gracie
    Sprinkle, Jonathan M.
    Work, Daniel B. .
    Piccoli, Benedetto
    Seibold, Benjamin
    Bayen, Alexandre M.
    IFAC PAPERSONLINE, 2020, 55 (41): : 83 - 88
  • [48] Medium-scale to large-scale implementation of cyber-physical human experiments in live traffic
    McQuade, Sean T.
    Denaro, Chris
    Mahmood, Malaika
    Lee, Jonathan W.
    Gumm, Gracie
    Sprinkle, Jonathan M.
    Work, Daniel B.
    Piccoli, Benedetto
    Seibold, Benjamin
    Bayen, Alexandre M.
    IFAC PAPERSONLINE, 2022, 55 (41): : 83 - 88
  • [49] Device Collaboration for Stability Assurance in Distributed Cyber-Physical Systems
    Li, Tao
    Cao, Jiannong
    2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), 2014, : 201 - 210
  • [50] Trustworthy and High Assurance Cyber-Physical Systems - A Research A genda
    Tauber, Markus
    Wagner, Christian
    Mauthe, Andreas
    ERCIM NEWS, 2015, (102): : 20 - 21