Reliable, secure and effective communication between a spacecraft and the ground station, or between multiple spacecraft is central to all space missions. Smooth control of spacecraft and the downlink of mission and science data rely heavily on reliable means of communication. Moreover, heightened needs for operations security in recent years add complexity to communication system requirements. The communication system, therefore, is a highly safety and mission critical component. A single successful malicious attack or a flaw in the code can have serious consequences that put the mission or even human life at risk. We are integrating and adapting a set of existing tools in order to provide a unified end-to-end approach to the design, analysis, implementation, and certification of space communication software. Our tools are based upon rigorous logical and mathematical foundations, and are capable of automatically generating high-quality communication software from a high-level model. Automatic, tamper-proof formal certification techniques are used to provide explicit guarantees about important reliability and security properties and the absence of implementation errors.
Automatic Generation of Certifiable Space Communication Software
2007-03-01
8809885 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Certifiable software-integration for engine electronics
Tema Archiv | 2003
|Certifiable Computational Fluid Dynamics Through Mesh Optimization
Online Contents | 1998
|Integrating the concept of standard software into a certifiable development process
Tema Archiv | 2006
|Certifiable Risk-Based Engineering Design Optimization
AIAA | 2021
|Certifiable L1 adaptive control for helicopters
TIBKAT | 2016
|