Development of safety-critical systems and model-based risk analysis with UML

被引：0
|
作者：
Jürjens, J [1 ]
Houmb, SH
机构：
[1] Tech Univ Munich, D-8000 Munich, Germany
[2] Norwegian Univ Sci & Technol, Trondheim, Norway
来源：
DEPENDABLE COMPUTING | 2003年 / 2847卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：364 / 365
页数：2
相关论文
共 50 条
  • [1] UML for Software Safety and Certification Model-Based Development of Safety-Critical Software-Intensive Systems
    Huhn, Michaela
    Hungar, Hardi
    [J]. MODEL-BASED ENGINEERING OF EMBEDDED REAL-TIME SYSTEMS, 2010, 6100 : 201 - +
  • [2] Supporting model-based safety analysis for safety-critical IoT systems
    Ihirwe, Felicien
    Di Ruscio, Davide
    Di Blasio, Katia
    Gianfranceschi, Simone
    Pierantonio, Alfonso
    [J]. JOURNAL OF COMPUTER LANGUAGES, 2024, 78
  • [3] 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
    [J]. AUTOMATION 2012, 2012, 2171 : 55 - 58
  • [4] Development of Safety Process in Model-Based Design Platform for Safety-Critical Systems
    Chen, Yung-Yuan
    Peng, Jing-Xiang
    [J]. PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2012, : 627 - 630
  • [5] Model-based software development - A Process for safety-critical embedded Systems
    Kuschnerus, Dirk
    Gerding, Michael
    Bilgic, Attila
    Musch, Thomas
    [J]. ATP EDITION, 2012, (7-8): : 60 - 66
  • [6] Model-based design, analysis and assessment framework for safety-critical systems
    Lu, Kuen-Long
    Chen, Yung-Yuan
    [J]. 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 25 - 26
  • [7] Model-Based Validation of Safety-Critical Embedded Systems
    Feiler, Peter H.
    [J]. 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
  • [8] A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications
    Tucci-Piergiovanni, Sara
    Mraidha, Chokri
    Wozniak, Ernest
    Lanusse, Agnes
    Gerard, Sebastien
    [J]. TRUSTCOM 2011: 2011 INTERNATIONAL JOINT CONFERENCE OF IEEE TRUSTCOM-11/IEEE ICESS-11/FCST-11, 2011, : 1176 - 1187
  • [9] BSafeML: A Model-Based Hazard Management Technique for Safety-Critical Systems Development
    Cutajar, Michael
    Ji, Siyuan
    [J]. IEEE Open Journal of Systems Engineering, 2023, 1 : 81 - 93
  • [10] Integrating Safety Certification into Model-based Testing of Safety-critical Systems
    Gannous, Aiman
    Andrews, Anneliese
    [J]. 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
12345