Model-driven system-level validation and verification on the space software domain

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 s...

Full description

Saved in:
Bibliographic Details
Published in:Software and systems modeling Vol. 21; no. 6; pp. 2367 - 2394
Main Authors: Montalvo, Aarón, Parra, Pablo, Rodríguez Polo, Óscar, Carrasco, Alberto, Da Silva, Antonio, Martínez, Agustín, Sánchez, Sebastián
Format: Journal Article
Language:English
Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022
Springer Nature B.V
Subjects:
Applications programs
Automation
Compilers
Computer Science
Control equipment
Embedded systems
Energetic particles
Engineering
Ground support equipment
Ground support systems
Information Systems Applications (incl.Internet)
Interpreters
IT in Business
Program verification (computers)
Programming Languages
Programming Techniques
Radiation counters
Software
Software Engineering
Software Engineering/Programming and Operating Systems
Theme Section Paper
Validation
Space
Verification
Software
ECSS
MDE
ISSN:1619-1366, 1619-1374
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1619-1366
1619-1374
DOI:10.1007/s10270-021-00940-8