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 条
  • [41] Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded Systems
    Lang, Clemens
    Stilkerich, Isabella
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (01)
  • [42] Validation and certification of safety-critical embedded systems -: The DECOS test bench
    Schoitsch, Erwin
    Althammer, Egbert
    Eriksson, Henrik
    Vinter, Jormy
    Goenczy, Laszlo
    Pataricza, Andras
    Csertan, Gyoergy
    COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 372 - 385
  • [43] Improving Methods and Processes for the Development of Safety-Critical Automotive Embedded Systems
    Krammer, Martin
    Marko, Nadja
    Armengaud, Eric
    Geyer, Dirk
    Griessnig, Gerhard
    2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
  • [44] Safety assurance for safety-critical embedded systems: Qualification of tools for complex electronic hardware
    Komecki, Andrew
    Zalewski, Janusz
    PROCEEDINGS OF THE 2008 1ST INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, 2008, : 99 - +
  • [45] DESIGN OF A PLATFORM FOR SAFETY JUSTIFICATION OF SAFETY-CRITICAL SOFTWARE
    Guo Jia
    Yang Ming
    PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
  • [46] Dependability of safety-critical systems
    Buja, G
    Castellan, S
    Menis, R
    Zuccollo, A
    2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
  • [47] Are your systems safety-critical?
    Redmill, F
    IEE REVIEW, 1997, 43 (03): : 93 - &
  • [48] Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
    Yang, Zhibin
    Bao, Yang
    Yang, Yongqiang
    Huang, Zhiqiu
    Bodeveix, Jean-Paul
    Filali, Mamoun
    Gu, Zonghua
    FORMAL ASPECTS OF COMPUTING, 2021, 33 (03) : 343 - 384
  • [49] Certification of Safety-Critical Systems
    Leveson, Nancy G.
    Thomas, John P.
    COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
  • [50] Safety-critical systems design
    Douglass, BP
    ELECTRONIC ENGINEERING, 1998, 70 (862): : 45 - +
12345