Trustworthy and High Assurance Cyber-Physical Systems - A Research A genda

被引：0
|
作者：
Tauber, Markus [1 ]
Wagner, Christian [1 ]
Mauthe, Andreas [1 ]
机构：
[1] Austrian Inst Technol AIT, Vienna, Austria
来源：
ERCIM NEWS | 2015年 / 102期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
In the frame of the European ARTEMIS (Advanced Research and Technology for Embedded Intelligence and System) Inno-vation Pilot Project "Arrowhead" we address safety and security analysis methods as a part of 'safety and security co-engineering'. This is being combined with other research activities in e.g. the FP7 Project SECCRIT (Secure Cloud Computing for Critical Infrastructure IT) in which we investigate how to assure security proper ties in complex (cloud based) systems which are derived from safety and security analysis results. The goal is to create a uniform point of view for Sys-tems-of-Systems high-level security proper ties and assurance.
引用
收藏
页码：20 / 21
页数：2
相关论文
共 50 条
  • [1] 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
  • [2] A Trustworthy Communication Hub for Cyber-Physical Systems
    Latvakoski, Juhani
    Heikkinen, Jouni
    FUTURE INTERNET, 2019, 11 (10):
  • [3] Towards Trustworthy Smart Cyber-Physical Systems
    David, M. W.
    Yerkes, C. R.
    Simmons, M. E.
    Franceschini, W.
    INFORMATION AND COMMUNICATIONS SECURITY, ICICS 2016, 2016, 9977 : 392 - 399
  • [4] Trustworthy Inter-connected Cyber-Physical Systems
    Hankin, Chris
    Barrere, Martin
    CRITICAL INFORMATION INFRASTRUCTURES SECURITY, CRITIS 2020, 2020, 12332 : 3 - 13
  • [5] Reliability Assurance of Cyber-Physical Power Systems
    Singh, Chanan
    Sprintson, Alex
    IEEE PES GENERAL MEETING, 2010,
  • [6] 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
  • [7] A Cyber-Physical Approach to Trustworthy Operation of Health Monitoring Systems
    Venkatasubramanian, Krishna K.
    Banerjee, Ayan
    Gupta, Sandeep K. S.
    Walls, Robert J.
    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,
  • [8] Trustworthy Data Management for Wireless Networks in Cyber-Physical Systems
    Li, Wenjia
    Kotut, Lindah
    2013 IEEE 32ND INTERNATIONAL PERFORMANCE COMPUTING AND COMMUNICATIONS CONFERENCE (IPCCC), 2013,
  • [9] Combining Safety and Security Engineering for Trustworthy Cyber-Physical Systems
    Schmittner, Christoph
    Ma, Zhendong
    Gruber, Thomas
    ERCIM NEWS, 2015, (102): : 19 - 20
  • [10] The Trustworthy Autonomic Interface Guardian Architecture for Cyber-Physical Systems
    Lyn, Kevin G.
    Lerner, Lee W.
    McCarty, Christopher J.
    Patterson, Cameron D.
    CIT/IUCC/DASC/PICOM 2015 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - UBIQUITOUS COMPUTING AND COMMUNICATIONS - DEPENDABLE, AUTONOMIC AND SECURE COMPUTING - PERVASIVE INTELLIGENCE AND COMPUTING, 2015, : 1804 - 1811
12345