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 条
  • [31] Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice
    Zeller, Marc
    Ratiu, Daniel
    Hoefig, Kai
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923 : 322 - 333
  • [32] Innovation Welcome: An Agile Approach to Model-Based Development of Safety-Critical Embedded Systems
    Mills, John
    Turin, Raymond
    Mangas, Jeremy
    Ranville, Scott
    2018 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2018), 2018, : 152 - 152
  • [33] A tool for the design and analysis of software safety-critical systems
    Gill, JA
    Ferguson, F
    INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
  • [34] An Integrated System Design and Safety Framework for Model-Based Safety Analysis
    Krishnan, Rahul
    Bhada, Shamsnaz Virani
    IEEE ACCESS, 2020, 8 : 146483 - 146497
  • [35] UML for Software Safety and Certification Model-Based Development of Safety-Critical Software-Intensive Systems
    Huhn, Michaela
    Hungar, Hardi
    MODEL-BASED ENGINEERING OF EMBEDDED REAL-TIME SYSTEMS, 2010, 6100 : 201 - +
  • [36] A framework for safety automation of safety-critical systems operations
    Acharyulu, P. V. Srinivas
    Seetharamaiah, P.
    SAFETY SCIENCE, 2015, 77 : 133 - 142
  • [37] Model-based safety assessment for conceptual aircraft systems design
    Gradel S.
    Aigner B.
    Stumpf E.
    CEAS Aeronautical Journal, 2022, 13 (01) : 281 - 294
  • [38] Safety assessment for safety-critical systems including physical faults and design faults
    Yu, Yangyang
    Johnson, Barry W.
    2006 PROCEEDINGS - ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, VOLS 1 AND 2, 2006, : 588 - +
  • [39] Applying Model-Based Design and Automatic Production Code Generation to Safety-Critical System Development
    Fleischer, Dirk
    Beine, Michael
    Eisemann, Ulrich
    SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 2 (01): : 240 - 248
  • [40] Managing Uncertainty in the Design of Safety-Critical Aviation Systems Safety-Critical Unmanned Aerial Systems
    Gebre-Egziabher, Demoz
    PROCEEDINGS OF THE 31ST INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2018), 2018, : 2297 - 2320
12345