5|
5 |
This report took as main inputs the following references:
· ARIBA
WP2, WP3, WP4 and WP5 reports
· EUROCONTROL
Safety Assessment Methodology, SAF.ET1.ST03.1000-MAN-01-00, Edition 0.5.
· RTCA/DO-178B,
Software Considerations in Airborne Systems and Equipment Certification. RTCA
Inc., December 1992.
· SAE
ARP 4754, Certification considerations
for highly-integrated or complex aircraft systems, Systems Integration
Requirements Task Group AS-1C, Avionics Systems Division (ASD), Society of
Automotive Engineers, Inc. (SAE), September 1995.
· Process
used to assure safety at Airsys ATM (internal document).
· for
the "phased inspections" technique: John C. Knight and E. Ann Myers. An improved inspection technique.
Communications of the ACM. November 1993/Vol.36, No.11.
· N. Fota, M. Kaaniche and K. Kanoun, A modular and incremental approach for building complex stochastic Petri net models, Proc. 1st Int. Conf. on Mathematical methods in reliability, 1997.
· H.A.P. Blom, G.J. Bakker, P.J.G. Blanker, J. Daams, M.H.C. Everdij and M.B. Klomstra, Accident risk assessment for advanced ATM, Proc. 2nd USA/Europe ATM R&D Seminar, Orlando, December 1998.
· J. Voas, Certifying Software for High-Assurance Environments, IEEE Software, July/August 1999, pp. 48-54.
|
5 |
