Back to Search
Start Over
Model-driven system-level validation and verification on the space software domain.
- Source :
- Software & Systems Modeling; Dec2022, Vol. 21 Issue 6, p2367-2394, 28p
- Publication Year :
- 2022
-
Abstract
- 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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 16191366
- Volume :
- 21
- Issue :
- 6
- Database :
- Complementary Index
- Journal :
- Software & Systems Modeling
- Publication Type :
- Academic Journal
- Accession number :
- 160180700
- Full Text :
- https://doi.org/10.1007/s10270-021-00940-8