Embedded Critical Software Testing
Embedded Critical Software Testing for Aerospace Applications based on PUS
FREE-DOWNLOAD [PDF] RP Pontes, E Martins… – XI Workshop de Testes …, 2010
As a consequence, software is also playing a significant role in accidents, Leveson (2005).
Considering this scenario, this work analyzes one specific technique for the verification of space
embedded software: the CoFI (Conformance and Fault Injection), Ambrosio (2005)