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 条
  • [11] Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems
    Elqortobi, Mounia
    El-Khouly, Warda
    Rahj, Amine
    Bentahar, Jamal
    Dssouli, Rachida
    [J]. NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 63 - 74
  • [12] 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
  • [13] Industrial-Strength Model-Based Testing of Safety-Critical Systems
    Peleska, Jan
    Huang, Wen-ling
    [J]. FM 2016: FORMAL METHODS, 2016, 9995 : 3 - 22
  • [14] Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology
    Elqortobi, Mounia
    El-Khouly, Warda
    Rahj, Amine
    Bentahar, Jamal
    Dssouli, Rachida
    [J]. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2020, 17 (01) : 271 - 292
  • [15] Incident and accident investigation techniques to inform model-based design of safety-critical interactive systems
    Basnyat, Sandra
    Chozos, Nick
    Johnson, Chris
    Palanque, Philippe
    [J]. INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2006, 3941 : 51 - 66
  • [16] Towards formalized model-based requirements for a seamless design approach in safety-critical systems development
    Walter, Stefan
    Rettberg, Achim
    Kreutz, Marcio
    [J]. 2015 IEEE 18th International Symposium on Real-Time Distributed Computing Workshops, 2015, : 111 - 115
  • [17] 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
  • [18] Model-Based Analysis of Safety Critical Systems
    Kushal, K. S.
    Paul, John J.
    Nanda, Manju
    Jayanthi, J.
    [J]. 2017 INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION, EMBEDDED AND COMMUNICATION SYSTEMS (ICIIECS), 2017,
  • [19] Safety Assessment of Design Patterns for Safety-Critical Embedded Systems
    Armoush, Ashraf
    Beckschulze, Eva
    Kowalewski, Stefan
    [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 523 - 527
  • [20] 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
12345