Model-Based Testing Applied to Software Components of Satellite Simulators
Operational simulators have a fundamental role in space programs. During a satellite operation, these simulators are essential for validating critical manoeuvres, testing new on-board software versions, and supporting the diagnosis of anomalies. With the purpose of reusing the operational simulators...
Main Authors: | Paulo Diego Barbosa da Silva, Ana Maria Ambrosio, Emilia Villani |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi Limited
2018-01-01
|
Series: | Modelling and Simulation in Engineering |
Online Access: | http://dx.doi.org/10.1155/2018/3847843 |
Similar Items
-
Discrete Event Simulation Applied to Aircraft Development
by: Rinaldo Piubeli Prado, et al.
Published: (2011-03-01) -
A SOFTWARE COMPONENT LIBRARY FOR RADAR SIMULATORS
by: ALEKSANDER MEDELLA CAMPOS DA SILVA
Published: (2011) -
[en] A SOFTWARE COMPONENT LIBRARY FOR RADAR SIMULATORS
by: ALEKSANDER MEDELLA CAMPOS DA SILVA
Published: (2012) -
Applying Model Checking to Software Resource Testing
by: Yuan-Tai Cheng, et al.
Published: (2009) -
Formal models and analysis for software component interaction testing
by: Liu, Wayne
Published: (2006)