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
Re-programmable SEU immune rad-hard FPGA test and burn-in strategy
Requirements-based conformance testing of ARINC 653 real-time operating systems
Risk mitigation for the development of the new Ariane 5 on-board computer
RTEMS centre - RTEMS improvements
SAX AOCS design and in-flight experiences
Security concepts for satellite links
Spaceborne mobile ad-hoc networks
Space demonstration of a fault tolerant computer system using commercial MPU
Spacewire: A long haul strategy for ESA
SysML: A language for space system engineering
The architecture and application of RAMSES, a CCSDS and ECSS PUS compliant test and control system
The core avionics system for the DLR compact-satellite series
The operations security concept for future ESA earth observation missions