Summary: 1. Proof-of-concept of state machine synthesis from scenarios - CTAS case study. 2. CTAS team wants to use the syntheses algorithm to validate trajectory generation. 3. Extending synthesis algorithm towards requirements validation: (a) scenario relationships' (b) methodology for generalizing/refining scenarios, and (c) interaction patterns to control synthesis. 4. Initial ideas tested on conflict detection scenarios.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Transitioning from Software Requirements Models to Design Models


    Beteiligte:
    Lowry, Michael (Autor:in) / Whittle, Jon (Autor:in)

    Kongress:

    NASA Software Assurance Symposium ; 2003 ; WV, United States


    Erscheinungsdatum :

    01.01.2003


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch





    "Bytes to Boxes" -- Technology Enhancers for Transitioning GNC models to Embedded Platforms

    Sarathy, Sriprakash / Miller, Robert / Johnson, Dan et al. | AIAA | 2007


    Transitioning Military Software to Commercial Use - A Case Study

    DePalma, E. / IEEE | British Library Conference Proceedings | 1997



    Use of Models to Verify and Validate Requirements for Critical Software

    Kvinnesland, K. / Torget, O. / European Space Agency | British Library Conference Proceedings | 2009