FILLING THE GAP BETWEEN IMA DEVELOPMENT AND SAFETY ASSESSMENT THROUGH SAFETY-DRIVEN MODEL-BASED SYSTEM ENGINEERING

被引：0
|
作者：
Suo, Dajiang [1 ]
An, Jinxia [1 ]
Wu, Jianmin [2 ]
Zhu, Jihong [1 ]
机构：
[1] Tsinghua Univ, Beijing, Peoples R China
[2] Sci & Technol Avion Integrat Lab, Shanghai, Peoples R China
来源：
2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) | 2012年
关键词：
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
引用
收藏
页数：22
相关论文
共 50 条
  • [21] Application of Model Based System Engineering to IMA Development Activities
    Yin, Joe
    Lawler, Ben
    Jin, Haojie
    2017 IEEE/AIAA 36TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2017,
  • [22] An Integrated System Design and Safety Framework for Model-Based Safety Analysis
    Krishnan, Rahul
    Bhada, Shamsnaz Virani
    IEEE ACCESS, 2020, 8 : 146483 - 146497
  • [23] Defining and characterizing model-based safety assessment: A review
    Sun, Minghui
    Gautham, Smitha
    Ge, Quanbo
    Elks, Carl
    Fleming, Cody
    SAFETY SCIENCE, 2024, 172
  • [24] Model-based safety assessment: AltaRica 3.0 project
    Prosvirnova, T.
    Batteux, M.
    Rauzy, A.
    SAFETY, RELIABILITY AND RISK ANALYSIS: BEYOND THE HORIZON, 2014, : 1129 - 1136
  • [25] The AltaRica 3.0 project for Model-Based Safety Assessment
    Batteux, Michel
    Prosvirnova, Tatiana
    Rauzy, Antoine
    Bramere, Pierre-Antoine
    Cherfi, Abraham
    Friedlhuber, Thomas
    Roussel, Jean-Marc
    2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2013, : 741 - 746
  • [26] Recent development of safety and reliability analysis technology for model-based complex system
    Hu X.
    Wang R.
    Wang X.
    Fu Y.
    Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica, 2020, 41 (06):
  • [27] Model-based Automated Safety Analysis Method for Safety-critical System
    Xu, Xinyan
    Wei, Ran
    Wang, Haochi
    2024 5TH INTERNATIONAL CONFERENCE ON MECHATRONICS TECHNOLOGY AND INTELLIGENT MANUFACTURING, ICMTIM 2024, 2024, : 55 - 59
  • [28] Bridging the Gap Between Model-Based Development and Model Checking
    Miller, Steven P.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2009, 5505 : 443 - 453
  • [29] A Model-Based Testing System for Safety of Railway Interlocking
    Su, Haoxiang
    Chai, Ming
    Liu, Hongjie
    Chai, Jinchuan
    Yue, Chaopeng
    2022 IEEE 25TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2022, : 335 - 340
  • [30] A Model-Based Framework for Analyzing the Safety of System Architectures
    Manolios, Panagiotis
    Siu, Kit
    Noorman, Michael
    Liao, Hongwei
    2019 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2019) - R & M IN THE SECOND MACHINE AGE - THE CHALLENGE OF CYBER PHYSICAL SYSTEMS, 2019,
12345