Algorithms and performance of a space dedicated solar array modelling tool
An approach for on-board software building blocks cooperation and interfaces definition
Automated verification of code generated from models: Comparing specifications with observations
Controller design for RVB with a HERA type manipulator
Data handling for EO-missions with high data rates requiring low resources
ESA communication standards: Status, evolution and prototyping activities
Evaluating a control system architecture based on a formally derived AOCS model
High efficiency low voltage high current converter
MOMSNAV: first analysis of GPS flight data from space station MIR
NAND-flash memory technology in mass memory systems for space applications
Processes and concepts toward secure communications for ESA missions
Real-time simulation of a satellite's electrical power system