Assurance based development of critical systems

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2007, Pages 347-356

  Gray, Patrick J ^a   Knight, John C ^a   Strunk, Elisabeth A ^b  

^a University of Virginia   (United States)

^b AEROSPACE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASSURANCE BASED DEVELOPMENT (ABD); CRITICAL COMPUTING SYSTEM; FORMAL VERIFICATION; SOFTWARE DEVELOPERS;

COMPUTATION THEORY; DATA ACQUISITION; ERROR DETECTION; SET THEORY; SOFTWARE ENGINEERING;

SYSTEMS ANALYSIS;

EID: 36048962491     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2007.17     Document Type: Conference Paper

References (11)

1. Bishop, P. and R. Bloomfield. "A Methodology for Safety Case Development." 〈http://www.adelard.co.uk/resources/ papers/index.htm〉
2. Green, D. F. "Runway Safety Monitor Algorithm for Runway Incursion Detection and Alerting." Technical report: NASA CR-2002-211416. January 2002.
3. Green, D. F. "Runway Safety Monitor Algorithm for Single and Crossing Runway Incursion Detection and Alerting." Technical report NASA CR-2006-214275. February 2006.
4. Kelly, T. P. "A Systematic Approach to Safety Case Management." Proc. of SAE 2004 World. Congress, Detroit, MI, March. 2004.
5. Kelly, T., and J. McDermid. "Safety Case Patterns Reusing Successful Arguments." Proc. of IEE Colloquium on Understanding Patterns and Their Application to System Engineering, London, April 1998.
6. Mannering, D., J. G. Hall, and L. Rapanotti. "Relating Safety Requirement and System Design through Problem Oriented Software Engineering," Technical report 2006/11, Open University, September 2006.
7. MoD, "00-56 Safety Management Requirements for Defence Systems," U.K. Ministry of Defence, Defence Standard, Issue 3, December 2004.
8. RTCA. "Software Considerations in Airborne Systems and Equipment Certification," document RTCA/DO-178B. Washington, DC: RTCA, December 1992.
9. Strunk, E. and J. Knight:. "The Essential Synthesis of Problem Frames and Assurance Cases." Proc. of 2nd International Workshop on Applications and Advances in. Problem Frames, co-located with 29th International Conference on Software Engineering, Shanghai, May 2006.
10. Weaver, R. A. and T. P. Kelly. "The Goal Structuring Notation - A Safety Argument Notation." Proc. of Dependable Systems and Networks 2004 Workshop on Assurance Cases, July 2004.
11. Wika, K.G. and J.C. Knight. "On the Enforcement of Software Safety Policies." Proc. of 10th Annual IEEE Conference on Computer Assurance (COMPASS '95), Gaithersburg, MD, June 1995.