Engineering topics
Frincke, Deborah
Publications and source records attributed to Frincke, Deborah.
Requirements Specification Language (RSL) and supporting tools
This document describes a general purpose Requirement Specification Language (RSL). RSL is a hybrid of features found in several popular requirement specification languages. The purpose of RSL is to describe precisely the external structure of a system comprised of hardware, software, and human processing elements. To overcome the deficiencies of informal specification languages, RSL includes facilities for mathematical specification. Two RSL interface tools are described. The Browser view contains a complete document with all details of the objects and operations. The Dataflow view is a specialized, operation-centered depiction of a specification that shows how specified operations relate in terms of inputs and outputs.
Formal representation of the requirements for an Advanced Subsonic Civil Transport (ASCT) flight control system
A partial requirement specification for an Advanced Subsonic Civil Transport (ASCT) Flight Control System is described. The example was adopted from requirements given in a NASA Contractor report. The language used to describe the requirements, Requirements Specification Language (RSL), is described in a companion document.
Structured representation for requirements and specifications
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.