Verification of a CubeSat via hardware-in-the-loop simulation.

Sabrina Corpino Fabrizio Stesina

Published in: IEEE Trans. Aerosp. Electron. Syst. (2014)

Keyphrases

low cost
real time
hardware software
simulation model
simulation environment
embedded systems
colored petri nets
formal verification
hardware and software
computer systems
image processing
hardware implementation
multi agent
computing power
hardware design
high end
neural network
database