The SCR (Software Cost Reduction)
requirements method is a formal method based on
tables for the specification and analysis of the
required behavior of safety-critical software
systems. Originally developed in 1978 by NRL
(Naval Research Laboratory) to document the flight
program requirements of the Navy's A-7 aircraft,
SCR has also been applied by a number of
organizations in industry (e.g., Grummann, Ontario
Hydro, Bell Laboratories, and Lockheed) to a wide
range of practical systems, including avionics and
space systems. For example, in 1994, in the largest
application of SCR to date, Lockheed used SCR to
specify the requirements of the C-13OJ flight
control software, which contains more than 250,000
lines of Ada code
The SCR (Software Cost Reduction)
requirements method is a formal method based on
tables for the specification and analysis of the
required behavior of safety-critical software
systems. Originally developed in 1978 by NRL
(Naval Research Laboratory) to document the flight
program requirements of the Navy's A-7 aircraft,
SCR has also been applied by a number of
organizations in industry (e.g., Grummann, Ontario
Hydro, Bell Laboratories, and Lockheed) to a wide
range of practical systems, including avionics and
space systems. For example, in 1994, in the largest
application of SCR to date, Lockheed used SCR to
specify the requirements of the C-13OJ flight
control software, which contains more than 250,000
lines of Ada code
การแปล กรุณารอสักครู่..
![](//thimg.ilovetranslation.com/pic/loading_3.gif?v=b9814dd30c1d7c59_8619)