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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automatic Generation of Certifiable Space Communication Software


    Contributors:


    Publication date :

    2007-03-01


    Size :

    8809885 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Certifiable software-integration for engine electronics

    Jersak, Marek / Richter, Kai / Ernst, Rolf et al. | Tema Archive | 2003


    Certifiable database generation for SVS

    Schiefele, Jens / Damjanovic, Dejan / Kubbat, Wolfgang | SPIE | 2000


    Certifiable Systems

    Boulanger, Jean‐Louis | Wiley | 2013



    The Feasibility of Applying Safety Certifiable Software Standards to Comanche Mission Processing

    Bayruns, T. / IEEE / AIAA | British Library Conference Proceedings | 2003