Login / Signup
Fault injection platform for affordable verification and validation of CubeSats software.
David Paiva
Jose Marcelo Lima Duarte
Raffael S. C. G. de Lima
Manoel J. M. Carvalho
Fátima Mattiello-Francisco
Henrique Madeira
Published in:
LADC (2021)
Keyphrases
</>
fault injection
java card
static analysis
smart card
platform independent
control flow
software platform
software development
computer systems
software systems
computing platform
source code
model checking
countermeasures
modeling language
embedded systems
data processing
software engineering