Automatic code generation end space on-board software

被引：0
|
作者：
Terraillon, JL [1 ]
Ankersen, F [1 ]
Vardanega, T [1 ]
Carranza, JM [1 ]
机构：
[1] European Space Agcy, European Space Res & Technol Ctr, Tech & Operat Support Directorate, NL-2200 AG Noordwijk, Netherlands
来源：
DASIA 99: DATA SYSTEMS IN AEROSPACE | 1999年 / 447卷
关键词：
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
引用
收藏
页码：281 / 289
页数：5
相关论文
共 50 条
  • [1] Automatic code generation for an on-board software using VxWorks operating system & MatrixX-AutoCode tool
    Villien, A
    Atori, R
    [J]. DATA SYSTEMS IN AEROSPACE - PROCEEDINGS, 1998, : 129 - 135
  • [2] Classification of air on-board software code defects and investigations
    Qin Lei
    Zhang He
    Huang Fuqun
    Liu Bin
    [J]. CEIS 2011, 2011, 15
  • [3] On-board automatic certification system for Software Defined Radio
    Okuike, K
    Kohno, R
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (08) : 2002 - 2009
  • [4] Time and Space Partitioning Using On-board Software Reference Architecture
    Bos, Victor
    Vepsalainen, Timo
    Prokhorova, Yuliya
    Latvala, Timo
    [J]. 2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2016, : 17 - 20
  • [5] BASKET on-board software library
    Luntzer, Armin
    Ottensamer, Roland
    Kerschbaum, Franz
    [J]. SOFTWARE AND CYBERINFRASTRUCTURE FOR ASTRONOMY III, 2014, 9152
  • [6] The design of spacecraft on-board software
    Chemouil, David
    [J]. B 2007: Formal Specification and Development in B, Proceedings, 2007, 4355 : 3 - 3
  • [7] ON-BOARD SOFTWARE FOR HAVELSAT CUBESAT
    Arslan, Ismail
    Arslankoz, Kamil
    Telli, Ali
    Karabulut, Bogac
    Aslan, A. Rustem
    [J]. PROCEEDINGS OF 8TH INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SPACE TECHNOLOGIES (RAST 2017), 2017, : 229 - 233
  • [8] Automatic topology generation for early design of on-board energy distribution systems
    de Vos, P.
    Stapersma, D.
    [J]. OCEAN ENGINEERING, 2018, 170 : 55 - 73
  • [9] New-generation on-board damage control software from Finland
    不详
    [J]. NAVAL ARCHITECT, 1999, : 57 - 57
  • [10] Automatic Property Generation for Formal Verification Applied to HDL-based Design of an On-board Computer for Space Applications
    Silva, Wesley
    Bezerra, Eduardo
    Winterholer, Markus
    Lettnin, Djones
    [J]. 2013 14TH IEEE LATIN-AMERICAN TEST WORKSHOP (LATW2013), 2013,
12345