Model-based design, analysis and assessment framework for safety-critical systems

被引：4
|
作者：
Lu, Kuen-Long [1 ]
Chen, Yung-Yuan [2 ]
机构：
[1] Natl Taipei Univ, Coll Elect Engn & Comp Sci, New Taipei, Taiwan
[2] Natl Taipei Univ, Dept Elect Engn, New Taipei, Taiwan
来源：
51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021) | 2021年
关键词：
D O I：
10.1109/DSN-S52858.2021.00023
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：25 / 26
页数：2
相关论文
共 50 条
  • [21] A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications
    Tucci-Piergiovanni, Sara
    Mraidha, Chokri
    Wozniak, Ernest
    Lanusse, Agnes
    Gerard, Sebastien
    TRUSTCOM 2011: 2011 INTERNATIONAL JOINT CONFERENCE OF IEEE TRUSTCOM-11/IEEE ICESS-11/FCST-11, 2011, : 1176 - 1187
  • [22] Real-time design patterns for the verification of safety-critical embedded systems in model-based approach
    Mzid, Rania
    JOURNAL OF SUPERCOMPUTING, 2024, 80 (08): : 11431 - 11473
  • [23] Model-Based Performance Evaluation of Safety-Critical POMDPs
    Pouya, Parisa
    Madni, Azad M.
    Adiththan, Arun
    Ramesh, S.
    Peranandam, Prakash
    IEEE INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SYSTEMS SCIENCE AND ENGINEERING (IEEE RASSE 2021), 2021,
  • [24] Real-time design patterns for the verification of safety-critical embedded systems in model-based approach
    Rania Mzid
    The Journal of Supercomputing, 2024, 80 : 11431 - 11473
  • [25] BSafeML: A Model-Based Hazard Management Technique for Safety-Critical Systems Development
    Cutajar, Michael
    Ji, Siyuan
    IEEE Open Journal of Systems Engineering, 2023, 1 : 81 - 93
  • [26] Integrated System Design and Safety Framework for Model-Based Safety Assessment
    Krishnan, Rahul
    Bhada, Shamsnaz Virani
    IEEE ACCESS, 2022, 10 : 79311 - 79334
  • [27] Safety-critical systems design
    Douglass, BP
    ELECTRONIC ENGINEERING, 1998, 70 (862): : 45 - +
  • [28] Safety-critical systems design
    Douglass, Bruce Powel
    Electronic Engineering (London), 1998, 70 (862):
  • [29] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [30] Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis
    Rao, Chang
    Guo, Jin
    Li, Nan
    Lei, Yu
    Zhang, YaDong
    Li, Yao
    2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, : 397 - 404
12345