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 条
  • [1] 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
  • [2] An assessment framework for development processes of safety-critical system functions applied to a model-based safety-critical middleware
    Darwesh, Darbaz Nawzad
    Annighoefer, Bjoern
    Reichel, Reinhard
    [J]. 2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,
  • [3] 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
  • [4] Development of safety-critical systems and model-based risk analysis with UML
    Jürjens, J
    Houmb, SH
    [J]. DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
  • [5] Model-Based Validation of Safety-Critical Embedded Systems
    Feiler, Peter H.
    [J]. 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
  • [6] A Model-Based Framework to Assess the Reliability of Safety-Critical Applications
    Luza, Lucas Matana
    Ruospo, Annachiara
    Bosio, Alberto
    Sanchez, Ernesto
    Dilillo, Luigi
    [J]. 2021 24TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2021, : 41 - 44
  • [7] 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
  • [8] Model-based assurance evidence management for safety-critical systems
    Luis de la Vara, Jose
    Garcia, Arturo S.
    Valero, Jorge
    Ayora, Clara
    [J]. SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2329 - 2365
  • [9] Model-Based Deployment Generation for Safety-Critical Avionics Systems
    Igna, Georgeta
    Dieudonne, Laurent
    Voss, Sebastian
    Schaetz, Bernhard
    [J]. 2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2017, : 174 - 181
  • [10] A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems
    Baumgart, Andreas
    Reinkemeier, Philipp
    Rettberg, Achim
    Stierand, Ingo
    Thaden, Eike
    Weber, Raphael
    [J]. SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 59 - +
12345