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
来源
EIGHTH IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, PROCEEDINGS | 2009年
关键词
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] 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 - +
  • [2] 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
  • [3] On Runtime Service Quality Models in Adaptive Ad-hoc Systems
    Peper, Christian
    Schneider, Daniel
    SINTER 09, 2009, : 11 - 17
  • [4] Conditional Safety Certification of Open Adaptive Systems
    Schneider, Daniel
    Trapp, Mario
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2013, 8 (02)
  • [5] 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
  • [6] Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems
    Xiang, Weiming
    IEEE TRANSACTIONS ON CYBERNETICS, 2022, 52 (09) : 9587 - 9596
  • [7] Models to calculate Safety and Reliability Parameters for Embedded Systems
    Boercsoek, J.
    2009 XXII INTERNATIONAL SYMPOSIUM ON INFORMATION, COMMUNICATION AND AUTOMATION TECHNOLOGIES, 2009, : 29 - 36
  • [8] Safety requirements specification on open distributed systems
    Avelino, VF
    Melnikoff, SSS
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 320 - 326
  • [9] A Survey on Microservices Trust Models for Open Systems
    Lu, Zhongyi
    Delaney, Declan. T. T.
    Lillis, David
    IEEE ACCESS, 2023, 11 : 28840 - 28855
  • [10] Deterministic Executable Models Verified Efficiently at Runtime An Architecture for Robotic and Embedded Systems
    Estivill-Castro, Vladimir
    Hexel, Rene
    MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 29 - 40