Cyber-Physical Systems: Closing the Gap between Hardware and Software

被引：0
|
作者：
Caria, Marcel [1 ]
机构：
[1] TU Braunschweig, Braunschweig, Germany
来源：
ERCIM NEWS | 2016年 / 106期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
SHARCS (Secure Hardware-Software Architecture for Robust Computing Systems) is defining new ways to create more secure and trustworthy ICT systems.
引用
收藏
页码：47 / +
页数：2
相关论文
共 50 条
  • [31] Accelerated Stress & Reliability Testing for Software and Cyber-Physical Systems
    Straub, Jeremy
    2016 IEEE ACCELERATED STRESS TESTING & RELIABILITY CONFERENCE (ASTR), 2016,
  • [32] Software Defined Networking for Communication and Control of Cyber-physical Systems
    Ahmed, Khandakar
    Blech, Jan Olaf
    Gregory, Mark A.
    Schmidt, Heinrich
    2015 IEEE 21ST INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), 2015, : 803 - 808
  • [33] Six Software Engineering Principles for Smarter Cyber-Physical Systems
    Weyns, Danny
    Bures, Tomas
    Calinescu, Radu
    Craggs, Barnaby
    Fitzgerald, John
    Garlan, David
    Nuseibeh, Bashar
    Pasquale, Liliana
    Rashid, Awais
    Ruchkin, Ivan
    Schmerl, Bradley
    2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2021), 2021, : 198 - 203
  • [34] A Systematic Literature Review on Software Maintenance for Cyber-Physical Systems
    Khezami, Nadhira
    Kessentini, Marouane
    Ferreira, Thiago Do N.
    IEEE ACCESS, 2021, 9 : 159858 - 159872
  • [35] Formal Modeling of Testing Software for Cyber-Physical Automation Systems
    Buzhinsky, Igor
    Pang, Cheng
    Vyatkin, Valeriy
    2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 301 - 306
  • [36] Software-defined networking in cyber-physical systems: A survey
    Molina, Elias
    Jacob, Eduardo
    COMPUTERS & ELECTRICAL ENGINEERING, 2018, 66 : 407 - 419
  • [37] Special Issue on software engineering for trustworthy cyber-physical systems
    Bures, Tomas
    Calinescu, Radu
    Weyns, Danny
    JOURNAL OF SYSTEMS AND SOFTWARE, 2021, 178
  • [38] Malicious software spread modeling and control in cyber-physical systems
    Yang, Bo
    Yu, Zhenhua
    Cai, Yuanli
    KNOWLEDGE-BASED SYSTEMS, 2022, 248
  • [39] Distributed Real-Time Software for Cyber-Physical Systems
    Eidson, John C.
    Lee, Edward A.
    Matic, Slobodan
    Seshia, Sanjit A.
    Zou, Jia
    PROCEEDINGS OF THE IEEE, 2012, 100 (01) : 45 - 59
  • [40] Statistical model checking of cyber-physical systems control software
    Shan, Li-Jun
    Zhou, Xing-She
    Wang, Yu-Ying
    Zhao, Lei
    Wan, Li-Jing
    Qiao, Lei
    Cehn, Jian-Xin
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 380 - 389
12345