This document was generated in support of NASA contract NAS1-18586, Design and Validation of Digital Flight Control Systems suitable for Fly-By-Wire Applications, Task Assignment 2. Task 2 is associated with a formal representation of requirements and specifications. In particular, this document contains results associated with the development of a Wide-Spectrum Requirements Specification Language (WSRSL) that can be used to express system requirements and specifications in both stylized and formal forms. Included with this development are prototype tools to support the specification language. In addition a preliminary requirements specification methodology based on the WSRSL has been developed. Lastly, the methodology has been applied to an Advanced Subsonic Civil Transport Flight Control System.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Structured Representation for Requirements and Specifications


    Contributors:
    G. C. Cohen (author) / G. Fisher (author) / D. Frincke (author) / D. Wolber (author)

    Publication date :

    1991


    Size :

    93 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Structured representation for requirements and specifications

    Cohen, Gerald C. / Fisher, Gene / Frincke, Deborah et al. | NTRS | 1991


    Cockpit display requirements and specifications

    Hopper, D.G. | Tema Archive | 1993


    Infrastructure contracts - requirements, specifications & delivery

    Smith, E. I. T. / Railway Industry Association | British Library Conference Proceedings | 1998


    Engineering Specifications derived from Science Requirements

    P.H Stahl / W Arnold / M.R Bevan et al. | NTIS | 2013


    Defining System Requirements and Writing Specifications

    Kasprzyk, Michael C. | SAE Technical Papers | 1972