Hazard Analysis of Self-Optimizing Mechatronic Systems: Considering the Timed Reconfiguration Behavior

被引：0
|
作者：
Priesterjahn, Claudia [1 ]
机构：
[1] Univ Paderborn, Software Engn Grp, D-33098 Paderborn, Germany
来源：
ESEC-FSE DOCTORAL SYMPOSIUM 2009 | 2009年
关键词：
Probabilistic Model Checking; Real-Time; Reconfiguration; System Safety;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：21 / 22
页数：2
相关论文
共 3 条
  • [1] Hybrid UML components for the design of complex self-optimizing mechatronic systems
    Burmester, Sven
    Giese, Holger
    Oberschelp, Oliver
    INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I, 2006, : 281 - +
  • [2] Tool support for the design of self-optimizing mechatronic multi-agent systems
    Burmester S.
    Giese H.
    Münch E.
    Oberschelp O.
    Klein F.
    Scheideler P.
    Int. J. Softw. Tools Technol. Trans., 2008, 3 (207-222): : 207 - 222
  • [3] Basics of virtual machine migration on heterogeneous architectures for self-optimizing mechatronic systems
    Groesbrink, Stefan
    PRODUCTION ENGINEERING-RESEARCH AND DEVELOPMENT, 2013, 7 (01): : 69 - 79
1