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 条
  • [31] Modeling safety-critical systems with Z and Petri nets
    Heiner, M
    Heisel, M
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 361 - 374
  • [32] A variability modeling and transformation approach for safety-critical systems
    Bressan, Lucas
    de Oliveira, Andre L.
    Campos, Fernanda C.
    Capilla, Rafael
    PROCEEDINGS OF 15TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, VAMOS 2021, 2021,
  • [33] Modeling on-line tests in safety-critical systems
    Serafini, M.
    Lollini, P.
    Bondavalli, A.
    SAFETY AND RELIABILITY FOR MANAGING RISK, VOLS 1-3, 2006, : 231 - 238
  • [34] AMBOSS: A Task Modeling Approach for Safety-Critical Systems
    Giese, Matthias
    Mistrzyk, Tomasz
    Pfau, Andreas
    Szwillus, Gerd
    von Detten, Michael
    ENGINEERING INTERACTIVE SYSTEMS 2008, PROCEEDINGS, 2008, 5247 : 98 - +
  • [35] Compositional Modeling and Control for Safety-Critical Manufacturing Systems
    Uygur, Guerkan
    Sattler, Sebastian M.
    2012 2ND INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2012,
  • [36] A model-based Software Development Process for Safety-critical embedded Systems in industrial Measurement Technology UML-Framework for the Modeling of safety-critical Software
    Kuschnerus, Dirk
    Gerding, Michael
    Bilgic, Attila
    Musch, Thomas
    AUTOMATION 2012, 2012, 2171 : 55 - 58
  • [37] Specifying safety-critical embedded systems with statecharts and Z:: A case study
    Büssow, R
    Geisler, R
    Klar, M
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 71 - 87
  • [38] Development of a framework for automated systematic testing of safety-critical embedded systems
    Kandl, Susanne
    Kirner, Raimund
    Puschner, Peter
    PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSEMS, 2006, : 65 - +
  • [39] Dependable polygon-processing algorithms for safety-critical embedded systems
    Brandt, J
    Schneider, K
    EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 405 - 417
  • [40] SEnSE - An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems
    Hoefig, Kai
    Klug, Amir
    2018 26TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), 2018, : 263 - 267
12345