Cyber-Physical System Software for HCMDSS

被引：2
|
作者：
Gill, Christopher [1 ]
机构：
[1] Washington Univ, Dept Comp Sci & Engn, St Louis, MO 63130 USA
来源：
2007 JOINT WORKSHOP ON HIGH CONFIDENCE MEDICAL DEVICES, SOFTWARE AND SYSTEMS AND MEDICAL DEVICE PLUG-AND PLAY INTEROPERABILITY | 2007年
关键词：
D O I：
10.1109/HCMDSS-MDPnP.2007.30
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The state of the art in operating systems and middle-ware is currently insufficient, and must be evolved, to meet the needs of envisioned next-generation cyber-physical Systems, in which interactions among system components and the physical world are (1) ubiquitous, (2) domain-specific, (3) heterogeneous, and (4) semantically rich. This position paper offers a vision for how that evolution can be achieved, and describes several research challenges that will need to be addressed in order to do so.
引用
收藏
页码：176 / 177
页数：2
相关论文
共 50 条
  • [1] Cyber-Physical Networks and Software
    Xia, Feng
    Ivanovic, Mirjana
    [J]. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2011, 8 (04)
  • [2] WCET Overapproximation for Software in the Context of a Cyber-Physical System
    Krafczyk, Niklas
    Riener, Heinz
    Fey, Goerschwin
    [J]. 2016 IFIP/IEEE INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2016,
  • [3] Coordinated cyber-physical attacks of cyber-physical power system
    Yang Y.
    Lan S.
    Qin Z.
    Liu H.
    [J]. Dianli Zidonghua Shebei/Electric Power Automation Equipment, 2020, 40 (02): : 97 - 102
  • [4] Cyber-physical system
    Garibaldo, Francesco
    Rebecchi, Emilio
    [J]. AI & SOCIETY, 2018, 33 (03) : 299 - 311
  • [5] Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks
    Brings, Jennifer
    [J]. 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2017, : 556 - 561
  • [6] Mobile Cyber-Physical System
    Hu, Xiping
    Cheng, Jun
    Li, Xitong
    Tan, Wei
    Liu, Qiang
    Sheng, Zhengguo
    [J]. MOBILE INFORMATION SYSTEMS, 2017, 2017
  • [7] Software-Defined Cyber-Physical Multinetworks
    Qin, Zhijing
    Ngoc Do
    Denker, Grit
    Venkatasubramanian, Nalini
    [J]. 2014 INTERNATIONAL CONFERENCE ON COMPUTING, NETWORKING AND COMMUNICATIONS (ICNC), 2014, : 322 - 326
  • [8] Visualisation of Control Software for Cyber-Physical Systems
    Melatti, Igor
    Mari, Federico
    Salvo, Ivano
    Tronci, Enrico
    [J]. INFORMATION, 2021, 12 (05)
  • [9] Provable Determinism for Software in Cyber-Physical Systems
    Rossel, Marcus
    Lin, Shaokai Jerry
    Lohstroh, Marten
    Castrillon, Jeronimo
    Goens, Andres
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2023, 2024, 14095 : 85 - 107
  • [10] Software Engineering Issues for Cyber-Physical Systems
    Al-Jaroodi, Jameela
    Mohamed, Nader
    Jawhar, Imad
    Lazarova-Molnar, Sanja
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP), 2016, : 264 - 269
12345