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 条
  • [41] A FRAMEWORK FOR KNOWLEDGE REPRESENTATION IN SAFETY-CRITICAL SYSTEMS
    PARTHASARATHY, S
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1994, 7 (01) : 59 - 65
  • [42] A Predictable Framework for Safety-Critical Embedded Systems
    Andalam, Sidharta
    Roop, Partha S.
    Girault, Alain
    Traulsen, Claus
    IEEE TRANSACTIONS ON COMPUTERS, 2014, 63 (07) : 1600 - 1612
  • [43] Rule checking within the model-based development of safety-critical systems and embedded automotive software
    Farkas, Tibor
    Grund, Daniel
    Eighth International Symposium on Autonomous Decentralized Systems, Proceedings, 2007, : 287 - 294
  • [44] XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
    Masing, Leonard
    Doerr, Tobias
    Schade, Florian
    Becker, Juergen
    Keramidas, Georgios
    Antonopoulos, Christos P.
    Mavropoulos, Michail
    Tiganourias, Efstratios
    Kelefouras, Vasilios
    Antonopoulos, Konstantinos
    Voros, Nikolaos
    Durak, Umut
    Ahlbrecht, Alexander
    Zaeske, Wanja
    Panagiotou, Christos
    Karadimas, Dimitris
    Adler, Nico
    Sailer, Andreas
    Weber, Raphael
    Wilhelm, Thomas
    Nemeth, Geza
    Siddiqui, Fahad
    Khan, Rafiullah
    Garousi, Vahid
    Sezer, Sakir
    Morales, Victor
    PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022), 2022, : 814 - 818
  • [45] A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries
    Yiannis Papadopoulos
    John A. McDermid
    Requirements Engineering, 1998, 3 (2) : 143 - 149
  • [46] A distance model for safety-critical systems
    Szijártó, Miklós
    Gröger, Dietmár
    Kallós, Gábor
    Periodica Polytechnica Electrical Engineering, 2001, 45 (02): : 109 - 118
  • [47] Model-Based Integration of Test and Evaluation Process and System Safety Process for Development of Safety-Critical Weapon Systems
    Shin, Young-Don
    Sim, Sang-Hyun
    Lee, Jae-Chon
    SYSTEMS ENGINEERING, 2017, 20 (03) : 257 - 279
  • [48] Variability management in safety-critical systems design and dependability analysis
    de Oliveira, Andre Luiz
    Braga, Rosana
    Masiero, Paulo
    Parker, David
    Papadopoulos, Yiannis
    Habli, Ibrahim
    Kelly, Tim
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2019, 31 (08)
  • [49] Design pattern for safety-critical knowledge-based systems
    Steinberg, R
    Fjellheim, R
    Olsen, SA
    VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 131 - 147
  • [50] Model-based systems engineering and safety assessment: A workflow for mechatronic systems design
    Bouhali, Imane
    Pasquariello, Agnese
    Mhenni, Faida
    Vitolo, Ferdinando
    Hehenberger, Peter
    Patalano, Stanislao
    Choley, Jean-Yves
    SYSTEMS ENGINEERING, 2025, 28 (02) : 238 - 254
12345