Разработка надёжного программного обеспечения для малых спутников с одноплатным бортовым компьютером
Автор: Афанасьев А.А., Иванов А.Б.
Журнал: Труды Московского физико-технического института @trudy-mipt
Рубрика: Информатика и управление
Статья в выпуске: 2 (42) т.11, 2019 года.
Бесплатный доступ
В этой статье мы представим наш подход для решения проблемы отсутствия строгого и надежного способа разработки программного обеспечения для малых спутников, основанный на фреймворке Behavior-Interaction-Priorities (BIP), а также обсудим возможность его использования на одноплатных бортовых компьютерах и решим возникающие при этом подходе сложности и задачи.
Малые спутники, строгий подход, bip фреймворк
Короткий адрес: https://sciup.org/142220489
IDR: 142220489
Список литературы Разработка надёжного программного обеспечения для малых спутников с одноплатным бортовым компьютером
- Forsberg K., Mooz H. The Relationship of System Engineering to the Project Cycle//INCOSE International Symposium. 1991. P. 57-65.
- Spangelo S.C., Cutler J., Anderson L., Fosse E., Cheng L., Yntema R., Bajaj M., Delp C., Cole B., Soremekum G., Kaslow D. Model based systems engineering (MBSE) applied to Radio Aurora Explorer (RAX) CubeSat mission operational scenarios//2013 IEEE Aerospace Conference. IEEE. 2013. P. 1-18.
- Bliudze S., Cimatti A., Jaber M., Mover S., Roveri M., Saab W., Qiang W. Formal verification of infinitestate BIP models//Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ser. Lecture Notes in Computer Science, Finkbeiner B., Pu G., Zhang L., Eds. 2015. V. 9364. P. 326-343.
- Wilmot J., Fesq L., Dvorak D. Quality Attributes for Mission Flight Software: A Reference for Architects//IEEE AeroSpace, Big Sky, MT. 2016. P. 1-7.
- Basu A., Bensalem S., Bozga M., Combaz J., Jaber M., Nguyen T.-H., Sifakis J. Rigorous component-based system design using the BIP framework//Software, IEEE. 2011. V. 28, N 3. P. 41-48.
- Bliudze S., Sifakis J. The algebra of connectors-structuring interaction in BIP//IEEE Transactions on Computers. 2008. V. 57, N 10. P. 1315-1330.
- Attie P., Bensalem S., Bozga M., Jaber M., Sifakis J., Zaraket F. Global and Local Deadlock Freedom in BIP//ACM Trans. Softw. Eng. Methodol. 2018. V. 26, N 9. P. 1-48.
- Baier, C., Katoen, J.-P. Principles of Model Checking//Representation and Mind Series. The MIT Press, Cambridge. 2008.
- Mavridou A., Stachtiari E., Bliudze S., Ivanov A., Katsaros P., Sifakis J. Architecture-Based Design: A Satellite On-Board Software Case Study//In: Kouchnarenko O., Khosravi R. (eds) Formal Aspects of Component Software. FACS 2016. Lecture Notes in Computer Science, Springer, Cham. 2017. V. 10231. P. 260-279.
- Attie P., Baranov E., Bliudze S., Jaber M., Sifakis J. A general framework for architecture composability//Formal Aspects of Computing. 2016. V. 18, N 2. P. 207-231.
- Bensalem S., Griesmayer A., Legay A., Nguyen T.-H., Sifakis J., Yan R. D-Finder 2: towards efficient correctness of incremental design//Proceedings of the 3rd international conference on NASA Formal methods. 2011. P. 453-458.
- Pagnamenta M. Rigorous software design for nano-and micro-satellites using BIP framework//Master’s thesis, Space Center, EPFL. 2014.
- Ivanov A., Bliudze S. Robust Software Development for University-Built Satellites//IEEE. 2017. URL: http://infoscience.epfl.ch/record/225659 (Дата обращения -09.06.2019).
- Ivanov A.B., Masson L., Rossi S., Belloni F., Mullin N., Wiesendanger R., Rothacher M., Hollenstein C., Mannel B., Willi D., Fisler M., Fleischman P., Mathis H., Klaper M., Joss M., Styger E. CubETH: Nano-satellite mission for orbit and attitude determination using low-cost GNSS receivers//66th International Astronautical Congress. Jerusalem, Israel: International Astronautical Federation, IAF. 2015.
Статья научная
