{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:43:13Z","timestamp":1740141793860,"version":"3.37.3"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T00:00:00Z","timestamp":1636416000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T00:00:00Z","timestamp":1636416000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["ESP2013-48346-C2-2-R"],"award-info":[{"award-number":["ESP2013-48346-C2-2-R"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003329","name":"Ministerio de Economm\u00eda y Competitividad","doi-asserted-by":"publisher","award":["ESP2015-68266-R","ESP2017-88436-R"],"award-info":[{"award-number":["ESP2015-68266-R","ESP2017-88436-R"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2022,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The development process of on-board software applications can benefit from model-driven engineering techniques. Model validation and model transformations can be applied to drive the activities of specification, requirements definition, and system-level validation and verification according to the space software engineering standards ECSS-E-ST-40 and ECSS-Q-ST-80. This paper presents a model-driven approach to completing these activities by avoiding inconsistencies between the documents that support them and providing the ability to automatically generate the system-level validation tests that are run on the Ground Support Equipment and the matrices required to complete the software verification. A demonstrator of the approach has been built using as a proof of concept a subset of the functionality of the software of the control unit of the Energetic Particle Detector instrument on-board Solar Orbiter.<\/jats:p>","DOI":"10.1007\/s10270-021-00940-8","type":"journal-article","created":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T15:06:26Z","timestamp":1636470386000},"page":"2367-2394","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Model-driven system-level validation and verification on the space software domain"],"prefix":"10.1007","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6896-5226","authenticated-orcid":false,"given":"Aar\u00f3n","family":"Montalvo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Parra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00d3scar","family":"Rodr\u00edguez\u00a0Polo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Carrasco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Da Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agust\u00edn","family":"Mart\u00ednez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebasti\u00e1n","family":"S\u00e1nchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,9]]},"reference":[{"key":"940_CR1","unstructured":"Secretariat, E.C.S.S.: Space Engineering. Software, ECSS-E-ST-40C (2009)"},{"key":"940_CR2","unstructured":"Secretariat, E.C.S.S.: Space product assurance. software product assurance. ECSS-E-ST-80C Rev. 1 (2017)"},{"key":"940_CR3","unstructured":"IBM.: IBM Engineering Requirements Management DOORS Family. https:\/\/www.ibm.com\/es-es\/products\/requirements-management"},{"key":"940_CR4","unstructured":"Sparx Systems.: Enterprise Architect User Guide, https:\/\/sparxsystems.com\/products\/ea\/index.html"},{"key":"940_CR5","unstructured":"OMG.: About the Unified Modeling Language Specification Version 2.5.1. https:\/\/www.omg.org\/spec\/UML\/About-UML\/"},{"key":"940_CR6","unstructured":"Peccia, N.: SCOS-2000 ESA\u2019s Spacecraft Control for the 21st Century, 2003 Ground System Architectures Workshop (2003)"},{"key":"940_CR7","unstructured":"Rodriguez-Pacheco, J., Wimmer-Schweingruber, R.F., Mason, G.M., Ho, G.C., Sanchez-Prieto, S., et al.: The energetic particle detector\u2013energetic particle instrument suite for the solar orbiter mission. Astron. Astrophys. 642,(2020)"},{"key":"940_CR8","unstructured":"Sch\u00e4tz, B., Fleischmann, A., Geisberger, E., Pister, M.: Model-based requirements engineering with autoraid, Informatik 2005\u2014Informatik Live! Band 2 (2005)"},{"issue":"6","key":"940_CR9","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1049\/iet-sen:20070012","volume":"1","author":"AR da Silva","year":"2007","unstructured":"da Silva, A.R., Saraiva, J., Ferreira, D., Silva, R., Videira, C.: Integration of re and mde paradigms: the projectit approach and tools. IET Softw. 1(6), 294\u2013314 (2007)","journal-title":"IET Softw."},{"key":"940_CR10","doi-asserted-by":"crossref","unstructured":"Baudry, B., Nebut, C., Le Traon, Y.: Model-driven engineering for requirements analysis. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), p. 459. IEEE (2007)","DOI":"10.1109\/EDOC.2007.15"},{"issue":"9","key":"940_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/MC.2005.314","volume":"38","author":"D Janzen","year":"2005","unstructured":"Janzen, D., Saiedian, H.: Test-driven development concepts, taxonomy, and future direction. Computer 38(9), 43\u201350 (2005)","journal-title":"Computer"},{"key":"940_CR12","unstructured":"Williams, L., Maximilien, E., Vouk, M.: Test-driven development as a defect-reduction practice. In: 14th International Symposium on Software Reliability Engineering, 2003, pp. 34\u201345. ISSRE (2003)"},{"issue":"8","key":"940_CR13","first-page":"28","volume":"9","author":"M Fowler","year":"2001","unstructured":"Fowler, M., Highsmith, J., et al.: The agile manifesto. Softw. Dev. 9(8), 28\u201335 (2001)","journal-title":"The agile manifesto. Softw. Dev."},{"key":"940_CR14","volume-title":"Test Driven","author":"L Koskela","year":"2008","unstructured":"Koskela, L.: Test Driven. Manning Publications, Greenwich, Connecticut, USA (2008)"},{"key":"940_CR15","doi-asserted-by":"crossref","unstructured":"Steel, J., Lawley, M., Steel, J., Lawley, M.: Model-based test driven development of the tefkat model-transformation engine. In: 15th International Symposium on Software Reliability Engineering, pp. 151\u2013160 (2004)","DOI":"10.1109\/ISSRE.2004.23"},{"key":"940_CR16","doi-asserted-by":"crossref","unstructured":"Wieczorek, S., Stefanescu, A., Fritzsche, M., Schnitter, J.: Enhancing test driven development with model based testing and performance analysis. In: Testing: Academic & Industrial Conference-Practice and Research Techniques (taic part 2008), pp. 82\u201386. IEEE (2008)","DOI":"10.1109\/TAIC-PART.2008.17"},{"key":"940_CR17","doi-asserted-by":"crossref","unstructured":"Mou, D., Ratiu, D.: Binding requirements and component architecture by using model-based test-driven development. In: First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), pp. 27\u201330. IEEE (2012)","DOI":"10.1109\/TwinPeaks.2012.6344557"},{"issue":"08","key":"940_CR18","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1142\/S0218194012500295","volume":"22","author":"A Sadeghi","year":"2012","unstructured":"Sadeghi, A., Mirian-Hosseinabadi, S.-H.: Mbtdd: model based test driven development. Int. J. Softw. Eng. Knowl. Eng. 22(08), 1085\u20131102 (2012)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"940_CR19","doi-asserted-by":"crossref","unstructured":"Ramler, R., Klammer, C.: Enhancing acceptance test-driven development with model-based test generation. In: 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 503\u2013504. IEEE (2019)","DOI":"10.1109\/QRS-C.2019.00096"},{"key":"940_CR20","unstructured":"North, D.: Introducing BDD. [Online] (2006). http:\/\/dannorth.net\/introducing-bdd\/"},{"issue":"2","key":"940_CR21","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s13347-019-00342-1","volume":"32","author":"JK Horner","year":"2019","unstructured":"Horner, J.K., Symons, J.: Understanding error rates in software engineering: conceptual, empirical, and experimental approaches. Philos. Technol. 32(2), 363\u2013378 (2019)","journal-title":"Philos. Technol."},{"key":"940_CR22","unstructured":"Tavares, H.L., Rezende, G.G., Santos, V.M., Manhaes, R.S., de Carvalho, R.A.: A tool stack for implementing behaviour-driven development in python language, arXiv preprint arXiv:1007.1722 (2010)"},{"key":"940_CR23","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 21st International Conference on Software Engineering, pp. 285\u2013294 (1999)","DOI":"10.1145\/302405.302640"},{"issue":"5","key":"940_CR24","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Testing Verif. Reliab. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Testing Verif. Reliab."},{"key":"940_CR25","doi-asserted-by":"crossref","unstructured":"Snook, C., Hoang, T.S., Dghyam, D., Butler, M., Fischer, T., Schlick, R., Wang, K.: Behaviour-driven formal model development. In: International Conference on Formal Engineering Methods, pp. 21\u201336 . Springer (2018)","DOI":"10.1007\/978-3-030-02450-5_2"},{"key":"940_CR26","doi-asserted-by":"crossref","unstructured":"Sivanandan, S., et al.: Agile development cycle: approach to design an effective model based testing with behaviour driven automation framework. In: 20th Annual International Conference on Advanced Computing and Communications (ADCOM), pp. 22\u201325. IEEE (2014)","DOI":"10.1109\/ADCOM.2014.7103243"},{"key":"940_CR27","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-642-21843-9_25","volume-title":"Product-Focused Software Process Improvement","author":"S Kollanus","year":"2011","unstructured":"Kollanus, S.: Critical issues on test-driven development. In: Caivano, D., Oivo, M., Baldassarre, M.T., Visaggio, G. (eds.) Product-Focused Software Process Improvement, pp. 322\u2013336. Springer, Berlin Heidelberg, Berlin, Heidelberg (2011)"},{"key":"940_CR28","doi-asserted-by":"crossref","unstructured":"Javed, A.Z., Strooper, P.A., Watson, G.N.: Automated generation of test cases using model-driven architecture. In: Second International Workshop on Automation of Software Test (AST\u201907), p. 3. IEEE (2007)","DOI":"10.1109\/AST.2007.2"},{"key":"940_CR29","doi-asserted-by":"crossref","unstructured":"Parra, P., Polo, O.R., Knoblauch, M., Garcia, I., Sanchez, S.: MICOBS: multi-platform multi-model component based software development framework. In: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, Series. CBSE\u201911, pp. 1\u201310. ACM, New York, NY, USA (2011)","DOI":"10.1145\/2000229.2000231"},{"key":"940_CR30","doi-asserted-by":"crossref","unstructured":"Hugues, J., Perrotin, M., Tsiodras, T.: Using MDE for the rapid prototyping of space critical systems. In: Proceedings of the 2008 The 19th IEEE\/IFIP International Symposium on Rapid System Prototyping, pp. 10\u201316. IEEE Computer Society, Washington, DC, USA (2008). http:\/\/portal.acm.org\/citation.cfm?id=1447559.1447631","DOI":"10.1109\/RSP.2008.19"},{"key":"940_CR31","unstructured":"Garrido, J., de la Puente, J.A., Zamorano, J., de Miguel, M.A., Alonso, A.: Timing analysis tools in a model-driven development environment. IFAC-PapersOnLine (2017)"},{"issue":"1","key":"940_CR32","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/TETC.2018.2866024","volume":"9","author":"P Parra","year":"2021","unstructured":"Parra, P., Polo, O.R., Fernandez, J., Da Silva, A., Sanchez, S., Martinez, A.: A platform-aware model-driven embedded software engineering process based on annotated analysis models. IEEE Trans. Emerg. Topics Comput. 9(1), 78\u201389 (2021)","journal-title":"IEEE Trans. Emerg. Topics Comput."},{"key":"940_CR33","unstructured":"Johann Hoflinger, K., Sommer, J., Nepal, A., Maibaum, O., L\u00fcdtke, D.: PaTaS\u2014Quality assurance in model-driven software engineering for spacecraft. In: Proceedings of the ESA SW Product Assurance and Engineering Workshop 09 (2017)"},{"key":"940_CR34","doi-asserted-by":"crossref","unstructured":"B\u00fcnder, H., Kuchen, H.: A model-driven approach for behavior-driven gui testing. In: Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing, pp. 1742\u20131751 (2019)","DOI":"10.1145\/3297280.3297450"},{"key":"940_CR35","doi-asserted-by":"crossref","unstructured":"Perovich, D., Rossel, P.O., Bastarrica, M.C.: Feature model to product architectures: applying mde to software product lines. In: 2009 Joint Working IEEE\/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp. 201\u2013210. IEEE (2009)","DOI":"10.1109\/WICSA.2009.5290806"},{"key":"940_CR36","doi-asserted-by":"crossref","unstructured":"Lamancha, B.P., Usaola, M.P., de Guzman, I.G.R.: Model-driven testing in software product lines. In: 2009 IEEE International Conference on Software Maintenance, pp. 511\u2013514. IEEE (2009)","DOI":"10.1109\/ICSM.2009.5306324"},{"key":"940_CR37","doi-asserted-by":"crossref","unstructured":"Cichos, H., Oster, S., Lochau, M., Sch\u00fcrr, A.: Model-based coverage-driven test suite generation for software product lines. In: International Conference on Model Driven Engineering Languages and Systems, pp. 425\u2013439. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_31"},{"key":"940_CR38","doi-asserted-by":"crossref","unstructured":"Paz, A., El Boussaidi, G.: On the exploration of model-based support for do-178c-compliant avionics software development and certification. In: IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 229\u2013236. IEEE (2016)","DOI":"10.1109\/ISSREW.2016.12"},{"key":"940_CR39","doi-asserted-by":"crossref","unstructured":"Marques, J., da Cunha, A.M.: Tailoring traditional software life cycles to ensure compliance of rtca do-178c and do-331 with model-driven design. In: IEEE\/AIAA 37th Digital Avionics Systems Conference (DASC), pp. 1\u20138. IEEE (2018)","DOI":"10.1109\/DASC.2018.8569351"},{"issue":"2","key":"940_CR40","doi-asserted-by":"publisher","first-page":"120","DOI":"10.18178\/ijfcc.2016.5.2.457","volume":"5","author":"ES Grant","year":"2016","unstructured":"Grant, E.S., Datta, T.: Modeling rtca do-178c specification to facilitate avionic software system design, verification, and validation. Int. J. Future Comput. Commun. 5(2), 120 (2016)","journal-title":"Int. J. Future Comput. Commun."},{"key":"940_CR41","doi-asserted-by":"crossref","unstructured":"Pomante, L., Candia, S., Incerto, E.: A model-driven approach for the development of an ide for spacecraft on-board software. In: IEEE Aerospace Conference, pp. 1\u201317. IEEE (2015)","DOI":"10.1109\/AERO.2015.7119032"},{"key":"940_CR42","unstructured":"Hovsepyan, A., Van Landuyt, D., Michiels, S., Joosen, W., Rangel, G., Fernandez Briones, J., Depauw, J. et al.: Model-driven software development of safety-critical avionics systems: an experience report. In: 1st International Workshop on Model-Driven Development Processes and Practices co-located with ACM\/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), vol. 1249, pp. 28\u201337 (2014)"},{"key":"940_CR43","unstructured":"CCSDS Secretariat.: Space Packet Protocol, CCSDS 133.0-B-1 Cor. 2 (2012)"},{"key":"940_CR44","unstructured":"Secretariat, E.C.S.S.: Telemetry and Telecommand Packet Utilization, ECSS-E-70-41C (2003)"},{"key":"940_CR45","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional (2009)"},{"key":"940_CR46","doi-asserted-by":"crossref","unstructured":"Eysholdt, M., Behrens, H.: Xtext: implement your language faster than the quick and dirty way, in Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, ser. SPLASH \u201910, pp. 307\u2013309. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1869542.1869625"},{"key":"940_CR47","unstructured":"ECMA International.: Standard ECMA-376. Open Office XML File Formats, 5th edn. ECMA-376 (2016)"},{"key":"940_CR48","doi-asserted-by":"crossref","unstructured":"Parra, P., Polo, O.R., Carrasco, A., da Silva, A., Martinez, A., Sanchez, S.: Model-driven environment for configuration control and deployment of on-board satellite software. Acta Astronautica 178, 314\u2013328 (2021). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0094576520305555","DOI":"10.1016\/j.actaastro.2020.09.017"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00940-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00940-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00940-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T20:42:00Z","timestamp":1726087320000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00940-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,9]]},"references-count":48,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["940"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00940-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2021,11,9]]},"assertion":[{"value":"1 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 October 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 October 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 November 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}