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).


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Auto-coding UML statecharts for flight software


    Contributors:
    Benowitz, E. (author) / Clark, K. (author) / Watney, G. (author)


    Publication date :

    2006-01-01


    Size :

    130271 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Auto-Coding/Auto-Proving Flight Control Software

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


    Auto-coding/auto-proving flight control software

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




    Beschreibung elektronischer Steuergeräte mit Use Cases und Statecharts

    Denger, Christian / Paech, Barbara / Knethe, Antje von et al. | Tema Archive | 2003