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 条
  • [21] Reliability of Embedded and Cyber-Physical Systems Introduction
    Chillarege, Ram
    Voas, Jeffrey
    IEEE SECURITY & PRIVACY, 2010, 8 (05) : 12 - 13
  • [22] A Reputation-Based Model for Trust Evaluation in Social Cyber-Physical Systems
    Hui, Xia
    Xiao, Fu
    Zhang, San-Shun
    Cheng, Xiang-Guo
    Pan, Zhen-Kuan
    IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING, 2020, 7 (02): : 792 - 804
  • [23] 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,
  • [24] A Trustworthy Communication Hub for Cyber-Physical Systems
    Latvakoski, Juhani
    Heikkinen, Jouni
    FUTURE INTERNET, 2019, 11 (10):
  • [25] 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
  • [26] 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,
  • [27] 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
  • [28] Towards a Security Cost Model for Cyber-Physical Systems
    Ivkic, Igor
    Mauthe, Andreas
    Tauber, Markus
    2019 16TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2019,
  • [29] Towards Minimally Conscious Cyber-Physical Systems: A Manifesto
    Wiedermann, Jiri
    van Leeuwen, Jan
    SOFSEM 2021: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2021, 12607 : 43 - 55
  • [30] Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems
    Linard, Alexis
    Bueno, Marcos L. P.
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 134 - 150