Runtime Safety Models in open Systems of Systems

被引:7
|
作者
Schneider, Daniel [1 ]
Trapp, Mario [1 ]
机构
[1] Fraunhofer Inst Expt Software Engn, D-67663 Kaiserslautern, Germany
关键词
Dynamic adaptation; safety; ubiquitous computing; open systems; ad hoc systems; plug 'n' safe; COMPONENT;
D O I
10.1109/DASC.2009.111
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Upcoming application domains, from Ambient Assisted Living to Car2Car, show the need for openness, flexibility and safety in next generation embedded systems. Whilst there are several approaches tackling the dynamic reconfiguration and integration of components, there has not been much research done on safety of such systems. As many of the application domains are inherently safety critical this hinders open systems of systems to unfold their full potential. Models at runtime have shown to foster dynamic adaptation of software systems. In a similar way, the integration of appropriate runtime safety models and dynamic evaluation mechanisms into systems seems to be a viable approach to enable safety management at runtime. In this paper we sketch out our modeling approach for adaptive ad hoc systems and present first results with respect to the integration and usage of safety models at runtime.
引用
收藏
页码:455 / 460
页数:6
相关论文
共 50 条
  • [1] Enforcing Safety at Runtime for Systems with Disturbances
    Abate, Matthew
    Coogan, Samuel
    2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 2038 - 2043
  • [2] Selection of Parallel Runtime Systems for Tasking Models
    Wang, Chun-Kun
    PROCEEDINGS 2017 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI), 2017, : 1091 - 1096
  • [3] A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems
    Haupt, Nikita Bhardwaj
    Liggesmeyer, Peter
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, 2019, 11699 : 166 - 177
  • [4] Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems
    Raju, Dhananjay
    Bharadwaj, Sudarshanan
    Djeumou, Franck
    Topcu, Ufuk
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2021, 8 (02): : 621 - 632
  • [5] Runtime adaptation in safety-critical automotive systems
    Trapp, Mario
    Adler, Rasmus
    Foerster, Marc
    Junger, Janosch
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, : 308 - +
  • [6] Runtime Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems
    Hobbs, Kerianne L.
    Mote, Mark L.
    Abate, Matthew C. L.
    Coogan, Samuel D.
    Feron, Eric M.
    IEEE CONTROL SYSTEMS MAGAZINE, 2023, 43 (02): : 28 - 65
  • [7] Runtime Verification of Operating Systems Based on Abstract Models
    Efremov, D. V.
    Kopach, V. V.
    Kornykhin, E. V.
    Kuliamin, V. V.
    Petrenko, A. K.
    Khoroshilov, A. V.
    Shchepetkov, I. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2023, 49 (07) : 559 - 565
  • [8] Runtime Reconstruction of Simulation Models for Dynamic Structure Systems
    Zhang, Fa
    Zhao, Qiaoxia
    ASIASIM 2012, PT III, 2012, 325 : 27 - +
  • [9] Runtime Verification of Operating Systems Based on Abstract Models
    D. V. Efremov
    V. V. Kopach
    E. V. Kornykhin
    V. V. Kuliamin
    A. K. Petrenko
    A. V. Khoroshilov
    I. V. Shchepetkov
    Programming and Computer Software, 2023, 49 : 559 - 565
  • [10] Engineering Optimization Models at Runtime for Dynamically Adaptive Systems
    Javed, Fahad
    Arshad, Naveed
    Wallin, Fredrik
    Vassileva, Iana
    Dahlquist, Erik
    2010 15TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2010), 2010, : 253 - 254