TitleDeveloping High Assurance Avionics Systems with the SCR Requirements Method
Publication TypeConference Paper
Year of Publication2000
AuthorsBharadwaj, R., and C. L. Heitmeyer
Conference Name19th Digital Avionics Systems Conference
Conference LocationPhiladelphia, Pennsylvania

In high assurance avionics systems, such as systems for flight guidance, air traffic control, and collision avoidance, compelling evidence is required that the system behavior satisfies certain critical properties. Some critical properties are functional properties, i.e., properties of the services that the system delivers. For example, when another aircraft flies too close, a collision avoidance system must advice the pilot to move the aircraft up or down to avoid a collision. Researchers have proposed numerous approaches for specifying, constructing, and certifying high assurance systems. This paper presents a method, based on the SCR (Software Cost Reduction) requirements method, that has recently been developed for building high assurance systems. To illustrate the application of this method to avionics systems, we present the requirements specification of a small avionics system that was developed using the proposed approach.

Full Text


NRL Publication Release Number