共 50 条
- [1] Verifying Mode Consistency for On-Board Satellite Software [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2010, 6351 : 126 - +
- [2] Measurement and analysis of schedulability of spacecraft on-board software [J]. 2016 IEEE METROLOGY FOR AEROSPACE (METROAEROSPACE), 2016, : 545 - 550
- [3] BASKET on-board software library [J]. SOFTWARE AND CYBERINFRASTRUCTURE FOR ASTRONOMY III, 2014, 9152
- [4] The design of spacecraft on-board software [J]. B 2007: Formal Specification and Development in B, Proceedings, 2007, 4355 : 3 - 3
- [5] ON-BOARD SOFTWARE FOR HAVELSAT CUBESAT [J]. PROCEEDINGS OF 8TH INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SPACE TECHNOLOGIES (RAST 2017), 2017, : 229 - 233
- [7] Concurrent engineering of on-board software in practice [J]. DASIA 99: DATA SYSTEMS IN AEROSPACE, 1999, 447 : 149 - 155
- [8] On-Board Software Maintenance for Manned Spacecraft [J]. 2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 235 - 239
- [9] spaceAPPS - A modular approach for on-board software [J]. IT-INFORMATION TECHNOLOGY, 2021, 63 (04): : 209 - 218
- [10] THE ON-BOARD SOFTWARE OF THE VEGA TV SYSTEM [J]. ESA JOURNAL-EUROPEAN SPACE AGENCY, 1987, 11 (02): : 239 - 244