Model-based integration of safety analysis and reliable software development

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn , Issue , 2005, Pages 312-319

  De Miguel, Miguel A ^b   Pauly, Bernard ^a   Person, Thierry ^a   Fernandez, Javier ^b  

^a Thales ATM ^*

^b UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS; SOFTWARE ARCHITECTS; SOFTWARE DEVELOPMENT LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; RELIABILITY; RISK ASSESSMENT; SECURITY OF DATA;

SOFTWARE ENGINEERING;

EID: 27544492890     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2005.43     Document Type: Conference Paper

References (15)

1. European Organization for the Safety of Air Navigation, "Air Navigation Systems Safety Assessment Methodology", Eurocontrol, April 2000.
2. N. McCormick, "Reliability and Risk Analysis", Academic Press, New York, 1981.
3. Object Management Group, UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms Revised Submission, OMG document number realtime/2003-08-06, August 2003. http://www.omg.org/cgi-bin/doc? realtime/03-08-06
4. F. Frola C. Miller, "System safety in aircraft acquisitions", Technical report, Logistics, Management Institute, Washington, D.C. (Januay 1984).
5. N. Levenson, "Safeware: System Safety and Computers", Addison Wesley, 1995.
6. N. Leveson, P. Harvey, "Analyzing Software Safety", IEEE Transactions on Software Engineering, Vol. SE-9, No. 5, September 1983.
7. Object Management Group. CORBA Component Model Specifications, July 1999.
8. M. de Miguel. "Integration of QoS Facilities into Component Container Architectures" In Proceedings of 5th International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC'2002. IEEE, May 2002.
9. A. Reibman and M. Veeraraghavan, "Reliability Modeling: An Overview for System Designers", IEEE Computer (April 1991).
10. K. Khan, J. Han, "Composing Security-Aware Software", IEEE Software, January 2002.
11. Military Standard, Procedures for Performing A Failure Mode, Effects and Criticality Analysis, MIL-STD-1629A, November 1980.
12. M. Towhidnejad, D. Wallace, A. Gallo, "Fault Tree Analysis for Software Design", In Proceedings Software Engineering Workshop, 27th Annual NASA Goddard, IEEE Computer Society, 2002.
13. NUREG-0492, Fault Tree Handbook, U.S. Nueclear Regulatory Commision, January 1981.
14. G. Pai, J. Dugan, "Automatic Synthesis of Dynamic Fault Trees from UML System Models", In Proceedings Intenational Symposium on Software Reliable Engineering, IEEE Computer Society, 2002.
15. W. Dunn, "Designing Safety-Critical Computer Systems", IEEE Computer, November 2003.