Safety Assessment of Complex, Software-Intensive Systems

SAE International Journal of Aerospace

Volumn 5, Issue 1, 2012, Pages 233-244

  Leveson, Nancy G ^a   Fleming, Cody Harrison ^a   Spencer, Melissa ^a   Thomas, John ^a   Wilkinson, Chris ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b HONEYWELL TECHNOLOGY SOLUTIONS   (India)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT CAUSATION; ACCIDENT MODELS; AIR SYSTEMS; AIR TRAFFIC MANAGEMENT SYSTEMS; CLOSED-LOOP CONTROL; COMPLEX SOFTWARE; CONCEPT OF OPERATIONS; CONTROL LOOP; CONTROL PROBLEMS; FAILURE PROBLEMS; HAZARD ANALYSIS; HUMAN-SYSTEM INTERACTION; MULTI-LAYERED APPROACH; NEXTGEN; OCEANIC AIRSPACE; OPERATIONAL SAFETY ANALYSIS; PROCESS ANALYSIS; SAFETY ANALYSIS; SAFETY ASSESSMENTS; SAFETY PARAMETERS; SAFETY REQUIREMENTS; SAFETY-CRITICAL; SOFTWARE INTENSIVE SYSTEMS; STANDARD COMPONENTS; THEORETICAL FOUNDATIONS; TIGHTLY-COUPLED; WELL-COVERED;

RELIABILITY THEORY;

ACCIDENTS;

EID: 84871259042     PISSN: 19463855     EISSN: 19463901     Source Type: Journal    
DOI: 10.4271/2012-01-2134     Document Type: Article

References (10)

1. Leveson, N., Engineering a Safer World: MIT Press, 2011.
2. Joint Program Development Office, "OPERATIONAL CONCEPT FOR THE NEXT GENERATION AIR TRANSPORTATION SYSTEM (NEXTGEN) Version 3.0," October 1, 2009.
3. RTCA, "DO-312 - Safety, Performance and Interoperability Requirements Document for the In-Trail Procedure in the Oceanic Airspace (ATSA-ITP) Application," Washington DC DO-312, June 19, 2008.
4. SAE Aerospace Recommended Practice, "Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment," SAE Standard ARP4761, Issued Dec. 1996.
5. Leveson, Nancy, "A new accident model for engineering safer systems," Safety Science, vol. 42, iss. 4, p. 237, 2004.
6. Leveson, N. G., "Intent Specifications: An Approach to Building Human-Centered Specifications," in Third International Conference on Requirements Engineering, 1998, pp. 204-213.
7. Leveson, Nancy G., "Intent Specifications: An Approach to Building Human-Centered Specifications," IEEE Transactions on Software Engineering, vol. 26, iss. 1, pp. 15-36, 2000.
8. Heimdahl, M. P. E., Leveson, N. G., and Reese, J. D., "Experiences from specifying the TCAS II requirements using RSML," presented at the Digital Avionics Systems Conference, 17th DASC, AIAA/IEEE/SAE, 1998.
9. Fleming, Cody Harrison, Spencer, Melissa, Leveson, Nancy, and Wilkinson, Chris, "Safety Assurance in NextGen," NASA, Langley, VA NASA/CR-2012-217553, March 2012.
10. FAA, "Interim Policy and Guidance for Automatic Dependent Surveillance Broadcast (ADS-B) Aircraft Surveillance Applications Systems Supporting Oceanic In-Trail Procedures (ITP)," Federal Aviation Authority, May 10, 2010.