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.
Structured representation for requirements and specifications
1991-07-18
Report
No indication
English
Infrastructure contracts - requirements, specifications & delivery
British Library Conference Proceedings | 1998
|Cockpit display requirements and specifications
Tema Archive | 1993
|Defining System Requirements and Writing Specifications
SAE Technical Papers | 1972
|