{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T07:55:20Z","timestamp":1772438120441,"version":"3.50.1"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032021373","type":"print"},{"value":"9783032021380","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T00:00:00Z","timestamp":1755648000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T00:00:00Z","timestamp":1755648000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-02138-0_9","type":"book-chapter","created":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T02:29:15Z","timestamp":1756520955000},"page":"127-143","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Nanosatellite Flight Software: A Rigorous Software Architecture Perspective"],"prefix":"10.1007","author":[{"given":"Christoforos","family":"Vasilakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandros","family":"Tsagkaropoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelos","family":"Motsios","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Tsigkanos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dionysios","family":"Reisis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,20]]},"reference":[{"key":"9_CR1","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 3rd edn. Carnegie Mellon University, Software Engineering Institute\u2019s Digital Library (2012)"},{"key":"9_CR2","unstructured":"Bocchino, R., Canham, T., Watney, G., Reder, L., Levison, J.: F\u2019: an open-source framework for small-scale flight software systems. In: 31st AIAA Space Conference (2017)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"B\u00f6gli, R., Rohani, A., Studer, T., Tsigkanos, C., Kehrer, T.: Temporal logics meet real-world software requirements: a reality check. In: 13th International Conference on Formal Methods in Software Engineering (FormaliSE) (2025)","DOI":"10.1109\/FormaliSE66629.2025.00014"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Canham, T.: The mars ingenuity helicopter - a victory for open-source software. In: 2022 IEEE Aerospace Conference (AERO), pp. 01\u201311 (2022)","DOI":"10.1109\/AERO53065.2022.9843438"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"De, R., Abegaonkar, M.P., Basu, A.: Enabling science with CubeSats\u2014trends and prospects. IEEE J. Miniaturization Air Space Syst. (2022)","DOI":"10.1109\/JMASS.2022.3209897"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"de Souza, K., Bouslimani, Y., Ghribi, M.: Flight software development for a cubesat application. IEEE J. Miniaturization Air Space Syst. (2022)","DOI":"10.1109\/JMASS.2022.3206713"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Dvorak, D.: NASA study on flight software complexity. In: Infotech Aerospace Conference American Institute of Aeronautics and Astronautics (2009)","DOI":"10.2514\/6.2009-1882"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"El\u00a0Allam, A.K., Jallad, A.H.M., Awad, M., Takruri, M., Marpu, P.R.: A highly modular software framework for reducing software development time of nanosatellites. IEEE Access 9 (2021)","DOI":"10.1109\/ACCESS.2021.3097537"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Eshaq, M., Al-Midfa, I., Al-Shamsi, Z., Atalla, S., Al-Mansoori, S., Al-Ahmad, H.: Flight software design and implementation for a CubeSat. In: Advances in Science and Engineering Technology International Conferences (ASET) (2023)","DOI":"10.1109\/ASET56582.2023.10180675"},{"key":"9_CR10","unstructured":"European Cooperation for Space Standardization: ECSS-E-HB-40A: Software engineering handbook (2011)"},{"key":"9_CR11","unstructured":"European Cooperation for Space Standardization: ECSS-E-ST-40C: Space Engineering - Software (2009)"},{"key":"9_CR12","unstructured":"Gamma, E. (ed.): Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston (2011)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"126409","DOI":"10.1109\/ACCESS.2019.2927931","volume":"7","author":"CE Gonzalez","year":"2019","unstructured":"Gonzalez, C.E., Rojas, C.J., Bergel, A., Diaz, M.A.: An architecture-tracking approach to evaluate a modular and extensible flight software for cubesat nanosatellites. IEEE Access 7, 126409\u2013126429 (2019)","journal-title":"IEEE Access"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Gundy-Burlet, K.: Validation and verification of LADEE models and software. In: 51st Aerospace Sciences. American Institute of Aeronautics and Astronautics (2013)","DOI":"10.2514\/6.2013-592"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"114008","DOI":"10.1109\/ACCESS.2021.3104283","volume":"9","author":"T Gutierrez","year":"2021","unstructured":"Gutierrez, T., Bergel, A., Gonzalez, C.E., Rojas, C.J., Diaz, M.A.: Systematic fuzz testing techniques on a nanosatellite flight software for agile mission development. IEEE Access 9, 114008\u2013114021 (2021)","journal-title":"IEEE Access"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Halvorson, M., Dale\u00a0Thomas, L.: Architecture framework standardization for satellite software generation using MBSE and F\u2019. In: IEEE Aerospace (2022)","DOI":"10.1109\/AERO53065.2022.9843358"},{"key":"9_CR17","unstructured":"Hanmer, R.: Patterns for Fault Tolerant Software. Wiley Publishing (2007)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Hinchey, M.: The power of ten\u2014rules for developing safety critical code. In: Software Technology: 10 Years of Innovation in IEEE Computer. IEEE (2018)","DOI":"10.1002\/9781119174240"},{"key":"9_CR19","unstructured":"Kolhof, M., Rawson, W., Yanakieva, R., Loomis, A., Lightsey, E.G., Peet, S.: Lessons learned from the GT-1 1U cubesat mission. In: 35nd AIAA\/USU Conference on Small Satellites (2021)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Kruchten, P.: The 4+1 View Model of architecture. IEEE Software 12(6) (1995)","DOI":"10.1109\/52.469759"},{"issue":"10","key":"9_CR21","doi-asserted-by":"publisher","first-page":"146","DOI":"10.3390\/aerospace7100146","volume":"7","author":"I Latachi","year":"2020","unstructured":"Latachi, I., Rachidi, T., Karim, M., Hanafi, A.: Reusable and reliable flight-control software for a fail-safe and cost-efficient cubesat mission: design and implementation. Aerospace 7(10), 146 (2020)","journal-title":"Aerospace"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Li, J., Tsigkanos, C., Li, N., Tei, K.: Instrumenting runtime goal monitoring for F\u2019 flight software. In: 2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 1300\u20131309 (2024)","DOI":"10.1109\/COMPSAC61105.2024.00171"},{"key":"9_CR23","unstructured":"Martin, G.: Newspace: the emerging commercial space industry (2017). NASA Ames Research Center"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Mavridou, A., Stachtiari, E., Bliudze, S., Ivanov, A., Katsaros, P., Sifakis, J.: Architecture-based design: a satellite on-board software case study. In: Formal Aspects of Component Software, pp. 260\u2013279 (2017)","DOI":"10.1007\/978-3-319-57666-4_16"},{"key":"9_CR25","unstructured":"Muchandi, V.: Applying 4+1 View Architecture with UML 2. Technical, FCG Software Services (FCGSS) (2007)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Osman, D.A.M., Mohamed, S.W.A.: Hardware and software design of onboard computer of ISRASAT1 CubeSat. In: 2017 International Conference on Communication, Control, Computing and Electronics Engineering, pp. 1\u20134 (2017)","DOI":"10.1109\/ICCCCEE.2017.7867654"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Quiros-Jimenez, O.D., d\u2019Hemecourt, D.: Development of a flight software framework for student CubeSat missions. Revista Tecnolog\u00eda en Marcha 32(8) (2019)","DOI":"10.18845\/tm.v32i8.4992"},{"key":"9_CR28","unstructured":"Rizvi, A., Ortega, K.F., He, Y.: Developing lunar flashlight and near-earth asteroid scout flight software concurrently using open-source F prime flight software framework. In: Small Satellite Conference (2022)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Rosemurgy, P., Gao, J., DeBaun, S., Starch, M., Levison, J., Castano, R.: Enabling DTN in spaceflight systems: integration of ION with the F prime flight software framework. In: 2024 IEEE Aerospace Conference, pp. 1\u20138 (2024)","DOI":"10.1109\/AERO58975.2024.10520953"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Wang, W., et al.: Software system design and implementation of remote sensing SAR satellite. In: IEEE 11th Joint International Information Technology and Artificial Intelligence Conference (2023)","DOI":"10.1109\/ITAIC58329.2023.10408752"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Willbold, J., et al.: Scaling software security analysis to satellites: automated fuzz testing and its unique challenges. In: 2024 IEEE Aerospace Conference (2024)","DOI":"10.1109\/AERO58975.2024.10521316"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Yao, Y., Chang, L., Yu, X., Zhang, H.: Application-oriented on-board software management system for micro-nano satellite. In: IEEE International Geoscience and Remote Sensing Symposium (2024)","DOI":"10.1109\/IGARSS53475.2024.10642266"},{"key":"9_CR33","unstructured":"Yost, B., et al.: State-of-the-art small spacecraft technology. Technical report, Small Spacecraft Systems Virtual Institute, Ames Research Center, 2021 (2021)"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-02138-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T07:00:27Z","timestamp":1772434827000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-02138-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,20]]},"ISBN":["9783032021373","9783032021380"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-02138-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,20]]},"assertion":[{"value":"20 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Software Architecture","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecsa2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ecsa-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}