Requirements specification methodologies and documentation systems which are currently available adopt a range of differing viewpoints on the system development problem. Each is oriented to enabling the user to specify efficiently some particular aspect of the target system, and each places a particular emphasis on certain features of the system. At Marconi Avionics we believe that the role of an automated documentation system should be to accommodate all information relevant to a system design, to check rigorously that information for consistency, and to make it visible in a range of reports which individually provide various emphasis on the information. To this end we are developing an integrated system, MENTOR, for the development of engineering designs and documentation. MENTOR is intended to assist development teams in the gathering of information, definition of terms, and development of designs for avionics systems. The system has the following major features: a) A new specification method which guides the user in the decomposition of his problem by partitioning the behaviour of the target system among a number of operational capabilities. b) A specification language NATTER (a NATural TERminology) which is intended for use by any personnel involved in the system development and is sufficiently flexible to accommodate all functional documentation for the target system. c) An advanced algebraic analysis technique which enables the MENTOR system to perform a powerful dynamic consistency analysis of the evolving specification, and provide valuable feedback to the development teams.
The mentor approach to requirements specification
Die MENTOR-Annaeherung und erforderliche Spezifikationen
AGARD conf. proc. ; 330
1983
5 Seiten, 7 Quellen
Aufsatz (Konferenz)
Englisch
Online Contents | 2007
British Library Online Contents | 2008
APOLLO : system requirements specification
TIBKAT | 1984
ETCS system requirements specification (SRS)
SLUB | 1996
Flight Guidance System Requirements Specification
NTIS | 2003
|