Premium
777 OPERATIONAL REQUIREMENTS DEVELOPMENT METHODOLOGY
Author(s) -
Underwood Hubert H.
Publication year - 1992
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.1992.tb01547.x
Subject(s) - traceability , computer science , requirements traceability , non functional requirement , requirements management , requirements analysis , systems engineering , set (abstract data type) , development (topology) , requirement , software engineering , engineering , software development , software , mathematics , programming language , software construction , mathematical analysis
This paper addresses a formal methodology for the 777 Airplane operational requirements development. The advantages of a formal model are explored and the tool set utilized is discussed. The extensions in definition of the operational requirements and the traceability and interdependence of the functional and performance requirements are shown. Layered state and transition diagrams showing operational sequences and related requirements illustrates the methodology.