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 条
  • [31] Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems
    Reich, Jan
    Schneider, Daniel
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2018, 2018, 11094 : 139 - 150
  • [32] Runtime Monitoring for Concurrent Systems
    Yamagata, Yoriyuki
    Artho, Cyrille
    Hagiya, Masami
    Inoue, Jun
    Ma, Lei
    Tanabe, Yoshinori
    Yamamoto, Mitsuharu
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 386 - 403
  • [33] Conditional Safety Certification of Open Adaptive Systems
    Schneider, Daniel
    Trapp, Mario
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2013, 8 (02)
  • [34] 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
  • [35] The REMINDS Tool Suite for Runtime Monitoring of Systems of Systems
    Vierhauser, Michael
    Rabiser, Rick
    Gruenbacher, Paul
    Thanhofer-Pilisch, Juergen
    2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 777 - 782
  • [36] Runtime Adaptation for Actor Systems
    Cassar, Ian
    Francalanza, Adrian
    RUNTIME VERIFICATION, RV 2015, 2015, 9333 : 38 - 54
  • [37] On Scalability for MPI Runtime Systems
    Bosilca, George
    Herault, Thomas
    Rezmerita, Ala
    Dongarra, Jack
    2011 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), 2011, : 187 - 195
  • [38] REMINDS : A flexible runtime monitoring framework for systems of systems
    Vierhauser, Michael
    Rabiser, Rick
    Griinbacher, Paul
    Seyerlehner, Klaus
    Wallner, Stefan
    Zeisel, Helmut
    JOURNAL OF SYSTEMS AND SOFTWARE, 2016, 112 : 123 - 136
  • [39] Event Capture and Compare for Runtime Monitoring of Systems of Systems
    Thanhofer-Pilisch, Juergen
    Vierhauser, Michael
    Rabiser, Rick
    Gruenbacher, Paul
    2016 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON VARIABILITY AND COMPLEXITY IN SOFTWARE DESIGN (VACE), 2016, : 1 - 4
  • [40] Designing energy efficient communication runtime systems: a view from PGAS models
    Vishnu, Abhinav
    Song, Shuaiwen
    Marquez, Andres
    Barker, Kevin
    Kerbyson, Darren
    Cameron, Kirk
    Balaji, Pavan
    JOURNAL OF SUPERCOMPUTING, 2013, 63 (03): : 691 - 709