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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Transitioning from Software Requirements Models to Design Models


    Contributors:

    Conference:

    NASA Software Assurance Symposium ; 2003 ; WV, United States


    Publication date :

    2003-01-01


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English





    "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