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
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
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
GOCE Platform OBSW ISVV Test Campaign - Blending Demanding Standards with Agility