Article citationsMore>>

C. M. Holloway, “Why Engineers Should Consider Formal Methods,” Proceedings of the 16th Digital Avionics Systems Conference, Irvine, California, October 1997.

has been cited by the following article:

• TITLE: Introduction to a Requirements Engineering Framework for Aeronautics

  AUTHORS: Robert Abo

  KEYWORDS: Aeronautics, Requirements Engineering, RTCA DO-254 and RTCA DO-178B Standards, V-Model

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.3 No.9, September 30, 2010

  ABSTRACT: This paper introduces a framework to produce and to manage quality requirements of embedded aeronautical systems, called the ‘Requirements Engineering Framework’ (REF). It aims at making the management of the requirement lifecycle easier, from the specification of the purchaser’s needs, to their implementation in the final products, and also their verification, while controlling costs. REF is based on the main standards of aeronautics, in particular RTCA DO-254, and RTCA DO-178B standards. An implementation of REF, using the IBM Rational DOORS and IBM Rational Change tools, is also presented in this paper.