Automatic analysis technology for aviation equipment software requirements

被引：0
|
作者：
Zhou Han-Qing [1 ]
Li Hai-Feng [1 ]
Huang Yan-Bing [1 ]
机构：
[1] China Aeronaut Polytechnol Estab, Qual Engn Technol Ctr, Beijing 100028, Peoples R China
来源：
PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MECHATRONICS, MATERIALS, CHEMISTRY AND COMPUTER ENGINEERING 2015 (ICMMCCE 2015) | 2015年 / 39卷
关键词：
aviation equipment software; requirement safety; requirement modeling; safety analysis rule; safety analysis automatically;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
Quality of software requirement is an important factor to safety of aviation equipment software. With the increase of software complexity, Artificial software requirement analysis is difficult to find requirement defect caused by multi state combination, multi fault concurrent, multi condition conflict and multi path migration. This paper presents an automatic analysis technology for aviation equipment software requirement safety. First of all, formal modeling of software requirement and extracting safety analysis rules from the failure data are introduced. After that, how to analyze the interfaces, functions and states information automatically in requirement model based on analysis rules and requirement model is discussed. A platform based on this technology is developed and applied to a certain type of aviation engine control software safety analysis project successfully.
引用
收藏
页码：1323 / 1328
页数：6
相关论文
共 50 条
  • [1] A Framework for Airborne Aviation Software Safety Requirements Analysis
    Zhan Yifan
    Bao Xiaohong
    Li Zhen
    [J]. PROCEEDINGS OF 2009 INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS, 2009, : 310 - 315
  • [2] Automatic monitoring of software requirements
    Cohen, D
    Feather, MS
    Narayanaswamy, K
    Fickas, SS
    [J]. PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 602 - 603
  • [3] Adopting automotive software technology to aviation through a comparative analysis of software development standards
    Lee, Donghyun
    Baek, Jisun
    Kim, Dongkyu
    Kim, Hojun
    Park, Kyunghoon
    Lee, Joohyun
    [J]. 2023 IEEE/AIAA 42ND DIGITAL AVIONICS SYSTEMS CONFERENCE, DASC, 2023,
  • [4] Application of Virtual Technology on Aviation Equipment IETM
    Huang Kui
    Zhu Xing-dong
    Wang Zheng
    [J]. ADVANCES IN MECHATRONICS, AUTOMATION AND APPLIED INFORMATION TECHNOLOGIES, PTS 1 AND 2, 2014, 846-847 : 1443 - 1447
  • [5] Software review for automatic test equipment
    Barela, Scott
    [J]. AUTOTESTCON 2005, 2005, : 30 - 35
  • [6] AUTOMATIC TEST EQUIPMENT - HARDWARE AND SOFTWARE
    ELECCION, M
    [J]. IEEE SPECTRUM, 1976, 13 (06) : 60 - 63
  • [7] Applying innovative web based technology to modernize a system engineering software tool used to analyze and project requirements and utilization of automatic test equipment
    Cervenak, B
    Licci, S
    McCaffery, R
    McKnight, K
    Rosenberg, S
    [J]. AUTOTESTCON 2004, PROCEEDINGS: TECHNOLOGY AND TRADITION UNITE IN SAN ANTONIO, 2004, : 570 - 575
  • [8] Automatic Detection of Ambiguous Software Requirements: An Insight
    Riaz, Muhammad Qasim
    Butt, Wasi Haider
    Rehman, Saad
    [J]. 5TH INTERNATIONAL CONFERENCE ON INFORMATION MANAGEMENT (ICIM 2019), 2019, : 1 - 6
  • [9] Automatic concept identification of software requirements in Turkish
    Bozyigit, Fatma
    Aktas, Ozlem
    Kilinc, Deniz
    [J]. TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2019, 27 (01) : 453 - 470
  • [10] Automatic recommendation of quality requirements for software services
    Li, Siming
    Chi, Chi-Hung
    Ding, Chen
    Chen, Shuo
    Huang, Ying
    [J]. ICEBE 2007: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2007, : 679 - +
12345