共 50 条
- [1] The design of spacecraft on-board software [J]. B 2007: Formal Specification and Development in B, Proceedings, 2007, 4355 : 3 - 3
- [2] On-Board Software Maintenance for Manned Spacecraft [J]. 2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 235 - 239
- [3] Fault-Tolerant Architecture of Storage Device for On-board Spacecraft Control Systems [J]. Russian Aeronautics, 2019, 62 (01): : 106 - 112
- [4] SpaceYOLO: A Human-Inspired Model for Real-time, On-board Spacecraft Feature Detection [J]. 2023 IEEE AEROSPACE CONFERENCE, 2023,
- [5] Measurement and analysis of schedulability of spacecraft on-board software [J]. 2016 IEEE METROLOGY FOR AEROSPACE (METROAEROSPACE), 2016, : 545 - 550
- [6] Time and Space Partitioning Using On-board Software Reference Architecture [J]. 2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2016, : 17 - 20
- [8] On-Board Software Architecture in MTG Satellite [J]. 2017 IEEE INTERNATIONAL WORKSHOP ON METROLOGY FOR AEROSPACE (METROAEROSPACE), 2017, : 318 - 323
- [9] A new approach to memory partitioning in on-board spacecraft software [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 1 - 14
- [10] Robust and Modular On-Board Architecture for Future Robotic Spacecraft [J]. 2014 IEEE AEROSPACE CONFERENCE, 2014,