|Title||Developing High Assurance Avionics Systems with the SCR Requirements Method|
|Publication Type||Conference Paper|
|Year of Publication||2000|
|Authors||Bharadwaj, R., and C. L. Heitmeyer|
|Conference Name||19th Digital Avionics Systems Conference|
|Conference Location||Philadelphia, 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.
|NRL Publication Release Number|| |