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 条
  • [41] Towards a process model for Service-Oriented Development of Embedded Software Systems
    Aziz, Muhammad Waqar
    2017 INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT), 2017, : 339 - 344
  • [42] An object-oriented approach to software development in C for small embedded systems
    Pont, MJ
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2003, 25 (03) : 217 - 238
  • [43] An analytical framework for evaluating Service-Oriented software development methodologies
    Perepletchikov, Mikhail
    Ryan, Caspar
    Tari, Zahir
    Journal of Software, 2013, 8 (07) : 1642 - 1659
  • [44] A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development
    Perez-Toledano, Miguel A.
    Navasa, Amparo
    Murillo, Juan M.
    Canal, Carlos
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (13) : 2212 - 2238
  • [45] Software platform for embedded software development
    See, WB
    Hsiung, PA
    Lee, TY
    Chen, SJ
    REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 545 - 557
  • [46] Formal verification of real-time embedded software in an object-oriented application framework
    Hsiung, PA
    Lee, TY
    Fu, JM
    See, WB
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2004, 151 (06): : 417 - 434
  • [47] Component based product line development of avionics software
    Sharp, DC
    MICROPROCESSORS AND MICROSYSTEMS, 1999, 23 (07) : 425 - 433
  • [48] An automatic development process for integrated modular avionics software
    Wang, Ying
    Ma, Dianfu
    1600, Academy Publisher (08): : 1088 - 1095
  • [49] Application of case tools in the development of commercial avionics software
    Sherry, L
    Suarez, A
    Wolfe, P
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 875 - 880
  • [50] Self*:: A data-flow oriented component framework for pervasive dependability
    Fetzer, C
    Högstedt, K
    EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2003, : 66 - 73
12345