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
相关论文
共 50 条
  • [41] Enablers for self-optimizing production systems in the context of Industrie 4.0
    Brettel, Malte
    Fischer, Felix Gabriel
    Bendig, David
    Weber, Anja Ruth
    Wolff, Bartholomaeus
    RESEARCH AND INNOVATION IN MANUFACTURING: KEY ENABLING TECHNOLOGIES FOR THE FACTORIES OF THE FUTURE - PROCEEDINGS OF THE 48TH CIRP CONFERENCE ON MANUFACTURING SYSTEMS, 2016, 41 : 93 - 98
  • [42] VIRTUAL AND AUGMENTED REALITY FOR SYSTEMATIC TESTING OF SELF-OPTIMIZING SYSTEMS
    Gausemeier, J.
    Rammig, F.
    Radkowski, R.
    Krupp, A.
    Mueller, W.
    11TH INTERNATIONAL DESIGN CONFERENCE (DESIGN 2010), VOL 1-3, 2010, : 1305 - 1314
  • [43] A self-optimizing switching control scheme for uncertain ARMAX systems
    Prandini, Maria
    2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 2853 - 2858
  • [44] TriCePS: Self-optimizing Communication for Cyber-Physical Systems
    Du, Jia L.
    Linecker, Stefan
    Dorfinger, Peter
    Mayr, Reinhard
    PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON INTERNET OF THINGS, BIG DATA AND SECURITY (IOTBDS 2019), 2019, : 241 - 247
  • [45] Self-Optimizing Image Processing Algorithm for Safety Critical Systems
    Cronin, Stephen
    Butka, Brian
    IEEE SOUTHEASTCON 2018, 2018,
  • [46] Architecture of behavior-based and Robotics Self-Optimizing Memory Controller
    Hassab Elgawi, Osman
    ICRA: 2009 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-7, 2009, : 2084 - 2089
  • [47] Model-based Runtime Verification Framework for Self-optimizing Systems
    Zhao, Y.
    Oberthur, S.
    Kardos, M.
    Rammig, F. J.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (04) : 125 - 145
  • [48] Cognitive Planning- and Learning Mechanisms in self-optimizing Assembly Systems
    Buescher, C.
    Kuz, S.
    Ewert, D.
    Schilberg, D.
    Jeschke, S.
    AUTOMATION 2011, 2011, 213 : 335 - 338
  • [49] Function allocation between humans and systems in self-optimizing production networks
    Buetzler, Jennifer
    Kuz, Sinem
    Petruck, Henning
    Faber, Marco
    Schlick, Christopher M.
    6TH INTERNATIONAL CONFERENCE ON APPLIED HUMAN FACTORS AND ERGONOMICS (AHFE 2015) AND THE AFFILIATED CONFERENCES, AHFE 2015, 2015, 3 : 371 - 378
  • [50] SYSTEMATIC DEVELOPMENT OF CONTROLLERS BASED ON THE PRINCIPLE SOLUTION OF SELF-OPTIMIZING SYSTEMS
    Gausemeier, J.
    Kahl, S.
    Low, C.
    Schulz, B.
    10TH INTERNATIONAL DESIGN CONFERENCE - DESIGN 2008, VOLS 1 AND 2, 2008, (48): : 1263 - +