Use of On-Board File System: A Real Simplification for the Operators?
The COLE System-on-Chip and its Software Development Environment
Processes and Concepts Toward Secure Communications for ESA Missions
EXOMARS Composite Avionics Description and its Validation on the Test Benches
The ASSERT Virtual Machine Kernel: Support for Preservation of Temporal Properties
Optical Payload Interface Unit for Telecommand and Telemetry of Satellite Payload Equipment
Modelling the Space Domain: Domain Engineering for Avionics/Embedded Systems
Advanced System-on-Chip Design with In-Flight Reconfigurable Processing Cores for Space Applications
Dependability and Safety Issues for Aerospace Software: A Systematic Approach
CORDETS (Component Oriented Development Techniques) and DOMENG (Domain Engineering)