Platform modeling in safety-critical embedded systems

被引：0
|
作者：
Huber, Bernhard [1 ]
Obermaisser, Roman [1 ]
机构：
[1] Institute of Computer Engineering, Vienna University of Technology, Austria
来源：
Lecture Notes in Electrical Engineering | 2009年 / 38卷
关键词：
D O I：
10.1007/978-1-4020-9823-9_11
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：145 / 158
相关论文
共 50 条
  • [21] Human performance and embedded intelligent technology in safety-critical systems
    Grabowski, M
    Sanborn, SD
    INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 2003, 58 (06) : 637 - 670
  • [22] An integrated approach to scheduling in safety-critical embedded control systems
    Bate, I
    Burns, A
    REAL-TIME SYSTEMS, 2003, 25 (01) : 5 - 37
  • [23] Dual-model approach for safety-critical embedded systems
    Labiak, Grzegorz
    Wegrzyn, Marek
    Rosado-Munoz, Alfredo
    Bazydlo, Grzegorz
    MICROPROCESSORS AND MICROSYSTEMS, 2020, 72
  • [24] An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems
    I. Bate
    A. Burns
    Real-Time Systems, 2003, 25 : 5 - 37
  • [25] Spatial Functions for Modeling and Analysis of Safety-Critical Systems of Systems
    Lanier, Benjamin
    Petnga, Leonard
    2019 14TH ANNUAL CONFERENCE SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2019, : 352 - 357
  • [26] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [27] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [28] OPEN PLATFORM FOR EVOLUTIONARY CERTIFICATION OF SAFETY-CRITICAL SYSTEMS INTRODUCTION
    Larrucea, Xabier
    Combelles, Annie
    Favaro, John
    IEEE SOFTWARE, 2013, 30 (03) : 26 - 27
  • [29] Modeling and verification of safety-critical systems using safecharts
    Hsiung, PA
    Lin, YH
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 290 - 304
  • [30] Performability modeling of safety-critical systems through AADL
    Ahamad S.
    Gupta R.
    International Journal of Information Technology, 2022, 14 (5) : 2709 - 2722
12345