Dependability oriented avionics embedded software development framework

被引：0
|
作者：
Niu, Wensheng [1 ]
Li, Yahui [1 ]
Wu, Ji [2 ]
机构：
[1] Aeronautical Computing Technique Research Institute, Aviation Industry Corporation of China, Xi'an 710068, China
[2] School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100191, China
来源：
Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics | 2012年 / 38卷 / 12期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
10
引用
收藏
页码：1577 / 1581
相关论文
共 50 条
  • [31] A survey of software development approaches addressing dependability
    Mustafiz, S
    Kienzle, J
    SCIENTIFIC ENGINEERING OF DISTRIBUTED JAVA APPLICATIONS, 2005, 3409 : 78 - 90
  • [32] dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel
    Hoffmann, Martin
    Lukas, Florian
    Dietrich, Christian
    Lohmann, Daniel
    21ST IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS 2015), 2015, : 259 - 270
  • [33] Model-based robustness testing for avionics-embedded software
    Yang Shunkun
    Liu Bin
    Wang Shihai
    Lu Minyan
    Chinese Journal of Aeronautics , 2013, (03) : 730 - 740
  • [34] Model-based robustness testing for avionics-embedded software
    Yang Shunkun
    Liu Bin
    Wang Shihai
    Lu Minyan
    Chinese Journal of Aeronautics, 2013, 26 (03) : 730 - 740
  • [35] Model-based robustness testing for avionics-embedded software
    School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China
    不详
    Yang, S. (ysk@buaa.edu.cn), 1600, Chinese Journal of Aeronautics (26):
  • [36] Dependability verification of nanosatellite embedded software supported by a reusable Test System
    Conceicao, Carlos A. P. L.
    Batista, Carlos L. G.
    Mattiello-Francisco, Fatima
    2016 SEVENTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 2016, : 157 - 163
  • [37] Model-based robustness testing for avionics-embedded software
    Yang Shunkun
    Liu Bin
    Wang Shihai
    Lu Minyan
    CHINESE JOURNAL OF AERONAUTICS, 2013, 26 (03) : 730 - 740
  • [38] A Formal Framework for Dependability and Resilience from a Software Engineering Perspective
    Guelfi, Nicolas
    OPEN COMPUTER SCIENCE, 2011, 1 (03): : 294 - 328
  • [39] A framework of simulation testing environment for integrated modular avionics software
    Zhou, Qing
    Liu, Bin
    Yu, Zhengwei
    Feng, Shiyu
    Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica, 2012, 33 (04): : 722 - 733
  • [40] A Case Study of Embedded Software Development Based on Aspect-Oriented Programming
    Zhang, Mingrui
    Miao, Wansheng
    Zhang, Xin
    Rao, Ruonan
    MULTIMEDIA AND UBIQUITOUS ENGINEERING, 2014, 308 : 377 - 384
12345