Towards Trust Assurance and Certification in Cyber-Physical Systems

被引:0
|
作者
Schneider, Daniel [1 ]
Armengaud, Eric [2 ]
Schoitsch, Erwin [3 ]
机构
[1] Fraunhofer IESE, Kaiserslautern, Germany
[2] AVL List GmbH, Graz, Austria
[3] AIT Austrian Inst Technol GmbH, Vienna, Austria
来源
COMPUTER SAFETY, RELIABILITY, AND SECURITY | 2014年 / 8696卷
关键词
Cyber-physical systems; trust; safety; security; system engineering;
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We are currently witnessing a 3rd industrial revolution, driven by ever more interconnected distributed systems of systems, running under the umbrella term of cyber-physical systems (CPS). In the context of this paradigm, different types of computer-based systems from different application domains collaborate with each other in order to render higher level services that could not be rendered by single systems alone. However, the tremendous potential of CPS is inhibited due to significant engineering challenges with respect to the systems safety and security. Traditional methodologies are not applicable to CPS without further ado and new solutions are therefore required. In this paper, we present potential solution ideas that are currently investigated by the European EMC2 research project.
引用
收藏
页码:180 / 191
页数:12
相关论文
共 50 条
  • [31] 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
  • [32] Trustworthy and High Assurance Cyber-Physical Systems - A Research A genda
    Tauber, Markus
    Wagner, Christian
    Mauthe, Andreas
    ERCIM NEWS, 2015, (102): : 20 - 21
  • [33] Formal Enforcement of Mission Assurance Properties in Cyber-Physical Systems
    Harper, Scott
    Graf, Jonathan
    Capone, Michael A.
    Eng, Justin
    Farrell, Michael
    Lerner, Lee W.
    2017 IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE (NAECON), 2017, : 343 - 349
  • [34] TRUST.IO: Protecting Physical Interfaces on Cyber-physical Systems
    Spensky, Chad
    Machiry, Aravind
    Busch, Marcel
    Leach, Kevin
    Housley, Rick
    Kruegel, Christopher
    Vigna, Giovanni
    2020 IEEE CONFERENCE ON COMMUNICATIONS AND NETWORK SECURITY (CNS), 2020,
  • [35] Architectural Refinements for Enhancing Trust and Securing Cyber-Physical Systems
    Venugopalan, Vivek
    Patterson, Cameron D.
    2017 IEEE SMARTWORLD, UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTED, SCALABLE COMPUTING & COMMUNICATIONS, CLOUD & BIG DATA COMPUTING, INTERNET OF PEOPLE AND SMART CITY INNOVATION (SMARTWORLD/SCALCOM/UIC/ATC/CBDCOM/IOP/SCI), 2017,
  • [36] Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems
    Blohm, Pauline
    Fraenzle, Martin
    Herber, Paula
    Kroeger, Paul
    Remke, Anne
    LEVERAGING APPLICATIONS OF FORMAL METHOD, VERIFICATION AND VALIDATION: SPECIFICATION AND VERIFICATION, PT III, ISOLA 2024, 2025, 15221 : 26 - 47
  • [37] A course in cyber-security, with orientations towards cyber-physical systems
    Thiriet, Jean-Marc
    Mocanu, Stephane
    2019 29TH ANNUAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR EDUCATION IN ELECTRICAL AND INFORMATION ENGINEERING (EAEEIE 2019), 2019,
  • [38] Towards Context-Aware Cyber-Physical Systems
    Ivanov, Radoslav
    Weimer, James
    Lee, Insup
    2018 IEEE 3RD WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2018), 2018, : 10 - 11
  • [39] Towards the Applicability of Alf to Model Cyber-Physical Systems
    Romero, Alessandro Gerlinger
    Schneider, Klaus
    Vieira Ferreira, Maurcio Goncalves
    2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 1427 - 1434
  • [40] Towards Self-Explainable Cyber-Physical Systems
    Blumreiter, Mathias
    Greenyer, Joel
    Garcia, Francisco Javier Chiyah
    Kloes, Verena
    Schwammberger, Maike
    Sommer, Christoph
    Vogelsang, Andreas
    Wortmann, Andreas
    2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 543 - 548