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 条
  • [31] Runtime Assurance for Intelligent Cyber-Physical Systems
    Dementyeva, Vlada
    Hickert, Cameron
    Sarfaraz, Nicolas
    Zanlongo, Sebastian
    Sookoor, Tamim
    2022 13TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2022), 2022, : 288 - 289
  • [32] Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
    Ruiz, Alejandra
    Gallina, Barbara
    Luis de la Vara, Jose
    Mazzini, Silvia
    Espinoza, Huascar
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923 : 311 - 321
  • [33] A European Roadmap on Cyber-Physical Systems of Systems
    Reniers, Michel
    Engell, Sebastian
    ERCIM NEWS, 2014, (97): : 21 - 22
  • [34] Cyber-physical Modeling and Control Method for Aggregating Large-scale ACLs
    Wang Y.
    Zhang P.
    Yao Y.
    Zhongguo Dianji Gongcheng Xuebao/Proceedings of the Chinese Society of Electrical Engineering, 2019, 39 (22): : 6509 - 6520
  • [35] Experimental results on large-scale cyber-physical hybrid discussion support
    Ito T.
    Otsuka T.
    Kawase S.
    Sengoku A.
    Shiramatsu S.
    Ito T.
    Hideshima E.
    Matsuo T.
    Oishi T.
    Fujita R.
    Fukuta N.
    Fujita K.
    Ito, Takayuki (ito.takayuki@nitech.ac.jp), 1600, Emerald Publishing (01): : 26 - 38
  • [36] Time-series clustering for sensor fault detection in large-scale Cyber-Physical Systems
    Alwan, Ahmed A.
    Brimicombe, Allan J.
    Ciupala, Mihaela Anca
    Ghorashi, Seyed Ali
    Baravalle, Andres
    Falcarin, Paolo
    COMPUTER NETWORKS, 2022, 218
  • [37] Bloom Filter-Based Secure Data Forwarding in Large-Scale Cyber-Physical Systems
    Lin, Siyu
    Wu, Hao
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015
  • [38] An Effective and Efficient Middleware for Supporting Distributed Query Processing in Large-Scale Cyber-Physical Systems
    Cuzzocrea, Alfredo
    Cecilio, Jose
    Furtado, Pedro
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8729 : 124 - 135
  • [39] Evaluating Secrecy Outage of Physical Layer Security in Large-Scale MIMO Wireless Communications for Cyber-Physical Systems
    Rawat, Danda B.
    White, Taylor
    Parwez, Md Salik
    Bajracharya, Chandra
    Song, Min
    IEEE INTERNET OF THINGS JOURNAL, 2017, 4 (06): : 1987 - 1993
  • [40] High Assurance Code Generation for Cyber-Physical Systems
    Low, Tze Meng
    Franchetti, Franz
    2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2017), 2017, : 104 - 111