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 条
  • [1] Testing Experiences of Safety-Critical Embedded Systems
    Bakker, Bryan
    ADVANCES IN SYSTEMS SAFETY, 2011, : 169 - 186
  • [2] Safety-critical Java']Java for embedded systems
    Schoeberl, Martin
    Dalsgaard, Andreas Engelbredt
    Hansen, Rene Rydhof
    Korsholm, Stephan E.
    Ravn, Anders P.
    Rivas, Juan Ricardo Rios
    Strom, Torur Biskopsto
    Sondergaard, Hans
    Wellings, Andy
    Zhao, Shuai
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (22):
  • [3] Fault detection in safety-critical embedded systems
    Verber, D
    Colnaric, M
    Halang, WA
    DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 113 - 119
  • [4] A Predictable Framework for Safety-Critical Embedded Systems
    Andalam, Sidharta
    Roop, Partha S.
    Girault, Alain
    Traulsen, Claus
    IEEE TRANSACTIONS ON COMPUTERS, 2014, 63 (07) : 1600 - 1612
  • [5] Challenges in Validating Safety-Critical Embedded Systems
    Feiler, Peter H.
    SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2010, 3 (01): : 109 - 116
  • [6] Application of SOA in Safety-Critical Embedded Systems
    Rodrigues, Douglas
    Pires, Rayner de Melo
    Estrella, Julio Cezar
    Vieira, Marco
    Correa, Mario
    Camargo Junior, Joao Batista
    Jaquie Castelo Branco, Kalinka Regina Lucas
    Trindade Junior, Onofre
    CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 345 - +
  • [7] A novel modeling framework for time-triggered safety-critical embedded systems
    Ayestaran, Iban
    Nicolas, Carlos F.
    Perez, Jon
    Larrucea, Asier
    Puschner, Peter
    PROCEEDINGS OF THE 2014 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2014,
  • [8] The effect of hardware platform selection on safety-critical software in embedded systems: Empirical evaluations
    Salewski, Falk
    Kowalewski, Stefan
    2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2007, : 78 - 85
  • [9] Safety Assessment of Design Patterns for Safety-Critical Embedded Systems
    Armoush, Ashraf
    Beckschulze, Eva
    Kowalewski, Stefan
    2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 523 - 527
  • [10] Architectural concepts for embedded systems in safety-critical applications
    Skambraks, Martin
    Halang, Wolfgang A.
    2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2008), THETA 16TH EDITION, VOL I, PROCEEDINGS, 2008, : 60 - 65
12345