SysML: A language for space system engineering
NAND-flash memory technology in mass memory systems for space applications
Algorithms and performance of a space dedicated solar array modelling tool
Economic evaluation of space solar power system
Space solar power system for terrestrial power utilities
Space demonstration of a fault tolerant computer system using commercial MPU
MOMSNAV: first analysis of GPS flight data from space station MIR
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
Mission automation and mission planning and how to combine them
The operations security concept for future ESA earth observation missions
The core avionics system for the DLR compact-satellite series
Data handling for EO-missions with high data rates requiring low resources
Security concepts for satellite links
Real-time simulation of a satellite's electrical power system
RTEMS centre - RTEMS improvements
Risk mitigation for the development of the new Ariane 5 on-board computer
Spaceborne mobile ad-hoc networks
Re-programmable SEU immune rad-hard FPGA test and burn-in strategy
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
In situ radiation tests of memory devices
A new methodology for SEE testing and simulations
SAX AOCS design and in-flight experiences
Controller design for RVB with a HERA type manipulator
Feasibility of commercialization of SSPS