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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Structured Representation for Requirements and Specifications


    Beteiligte:
    G. C. Cohen (Autor:in) / G. Fisher (Autor:in) / D. Frincke (Autor:in) / D. Wolber (Autor:in)

    Erscheinungsdatum :

    1991


    Format / Umfang :

    93 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Structured representation for requirements and specifications

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


    Infrastructure contracts - requirements, specifications & delivery

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


    Cockpit display requirements and specifications

    Hopper, D.G. | Tema Archiv | 1993


    Requirements Specifications for Prognostics - An Overview

    Saxena, A. / Roychoudhury, I. / Celaya, J. et al. | British Library Conference Proceedings | 2010


    Engineering Specifications derived from Science Requirements

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