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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatic Generation of Certifiable Space Communication Software


    Beteiligte:
    Schumann, Johann (Autor:in) / Denney, Ewen (Autor:in)


    Erscheinungsdatum :

    2007-03-01


    Format / Umfang :

    8809885 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Certifiable software-integration for engine electronics

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



    Integrating the concept of standard software into a certifiable development process

    Friess, Wolfgang / Duckstein, Franz | Tema Archiv | 2006


    Certifiable Risk-Based Engineering Design Optimization

    Chaudhuri, Anirban / Kramer, Boris / Norton, Matthew et al. | AIAA | 2021


    Certifiable L1 adaptive control for helicopters

    Bichlmeier, Magnus | TIBKAT | 2016