Statecharts have been used as a means to communicate behaviors in a precise manner between system engineers and software engineers. Hand-translating a statechart to code, as done on some previous space missions, introduces the possibility of errors in the transformation from chart to code. To improve auto-coding, we have developed a process that generates flight code from UML statecharts. Our process is being used for the flight software on the Space Interferometer Mission (SIM).


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Auto-coding UML statecharts for flight software


    Beteiligte:
    Benowitz, E. (Autor:in) / Clark, K. (Autor:in) / Watney, G. (Autor:in)


    Erscheinungsdatum :

    01.01.2006


    Format / Umfang :

    130271 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Auto-Coding UML Statecharts for Flight Software

    Benowitz, Edward G / Clark, Ken / Watney, Garth J. | NTRS | 2006


    Auto-coding/auto-proving flight control software

    Tudor, N. / Adams, M. / Clayton, P. et al. | IEEE | 2004


    Auto-Coding/Auto-Proving Flight Control Software

    Tudor, N. / IEEE / AIAA | British Library Conference Proceedings | 2004



    Formal modeling and analysis of UML statecharts

    Shuzhen, Y. / Maozhong, J. | British Library Online Contents | 2007