SysML: A language for space system engineering
NAND-flash memory technology in mass memory systems for space applications
High efficiency low voltage high current converter
Automated verification of code generated from models: Comparing specifications with observations
Spacewire: A long haul strategy for ESA
Processes and concepts toward secure communications for ESA missions
ESA communication standards: Status, evolution and prototyping activities
The operations security concept for future ESA earth observation missions
RTEMS centre - RTEMS improvements
Risk mitigation for the development of the new Ariane 5 on-board computer
Spaceborne mobile ad-hoc networks
Evaluating a control system architecture based on a formally derived AOCS model
Requirements-based conformance testing of ARINC 653 real-time operating systems
The architecture and application of RAMSES, a CCSDS and ECSS PUS compliant test and control system
An approach for on-board software building blocks cooperation and interfaces definition