Integration of safety analysis in model-driven software development

IET Software

Volumn 2, Issue 3, 2008, Pages 260-280

  De Miguel, M A ^a   Briones, J F ^a   Silva, J P ^a   Alonso, A ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; CRITICALITY (NUCLEAR FISSION); ENGINEERING EDUCATION; ENGINEERS; FAILURE MODES; FAULT TREE ANALYSIS; INTEGRATION; LINGUISTICS; MODAL ANALYSIS; QUALITY ASSURANCE; QUERY LANGUAGES; RELIABILITY; SAFETY ENGINEERING; SECURITY SYSTEMS; SOFTWARE ARCHITECTURE; SOFTWARE DESIGN; SYSTEMS ANALYSIS; VERIFICATION;

(OTDR) TECHNOLOGY; COMMON UNDERSTANDING; CRITICALITY ANALYSIS; FAULT TREES; LANGUAGES (TRADITIONAL); META-MODELS; MODEL CONSISTENCY; MODEL DRIVEN SOFTWARE DEVELOPMENT; MODEL TRANSFORMATIONS; MODEL-DRIVEN DEVELOPMENT (MDD); MODELLING TECHNIQUES; OPTIMAL ARCHITECTURES; SAFETY ANALYSIS; SAFETY ENGINEERS; SAFETY REQUIREMENTS; SAFETY-CRITICAL SOFTWARE; SOFTWARE ARCHITECTS; SOFTWARE DEVELOPMENT LANGUAGES; SOFTWARE DEVELOPMENT METHODS; SOFTWARE MODELLING; UNIFIED MODELLING LANGUAGE (UML); VERIFICATION TECHNIQUES;

FAILURE ANALYSIS;

EID: 45849122480     PISSN: 17518806     EISSN: None     Source Type: Journal    
DOI: 10.1049/iet-sen:20070050     Document Type: Article

References (25)

1. European organization for the safety of air navigation: 'Air navigation systems safety assessment methodology', Eurocontrol, April 2005
2. Modelware web page, available at: http://www.modelware-ist.org/
3. Briones, J.F., De Miguel, M., Silva, J.P., and Alonso, A.: ' Integration of safety analysis and software development methods ', Proc. 1st Int. Conf. System Safety, IEE, June, 2006
4. Briones, J.F., De Miguel, M., Silva, J.P., and Alonso, A.: ' Application of safety analyses in model driven development ', Proc. 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, LNCS, May, 2007
5. Reibman, A.L., and Veeraraghavan, M.: ' Reliability modeling: an overview for system designers ', IEEE Comput., 1991, 24, (4), p. 49-57
6. Levenson, N.: ' Safeware: system safety and computers ', (Addison Wesley, 1995)
7. ' Fault tree handbook ', (Nuclear Regulatory Commision, US, 1981), NUREG-0492
8. Dunn, W.: ' Designing safety-critical computer systems ', IEEE Comput., 2003, 36, (11), p. 40-46
9. ' System safety in aircraft acquisitions ', Technical report, Logistics, Management Institute, 1984, Washington, DC
10. Object Management Group: UML profile for modeling quality of service and fault tolerance characteristics and mechanisms final task force, OMG document number ptc/2005-05-02, available at: http://www.omg.org/cgi-bin/;doc?ptc/2005- 05-02
11. Military standard: 'Procedures for performing a failure mode, effects and criticality analysis', 1980, MIL-STD-1629A
12. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., and Grose, T.J.: ' Eclipse modeling framework ', (Addison-Wesley Professional, 2003), ISBN 0131425420
13. Objecteering web page, available at: http://www.objecteering.com/
14. ITEM software web page, available at: http://www.itemuk.com/
15. Lockheed Martin 'MDA success story', available at: http://www.omg.org/ mda/mda_files/LockheedMartin.pdf
16. Leveson, N., and Harvey, P.: ' Analyzing software safety ', IEEE Trans. Softw. Eng., 1983, SE-9, (5), p. 497-507 0098-5589
17. Towhidnejad, M., Wallace, D., and Gallo, A.: ' Fault tree analysis for software design ', Proc. Software Engineering Workshop, 27th Annual NASA Goddard, IEEE Computer Society, December, 2002
18. Pai, G., and Dugan, J.: ' Automatic synthesis of dynamic fault trees from UML system models ', Proc. Int. Symp. Software Reliable Engineering, IEEE Computer Society, November, 2002
19. Khan, K., and Han, J.: ' Composing security-aware software ', IEEE Software, 2002, 19, (1), p. 34-41
20. AADL: 'SAE architecture analysis & design language', available at: http://www.aadl.info/
21. De Miguel, M., Pauly, B., Person, T., and Briones, J.F.: ' Model-based integration of safety analysis and reliable software development ', Proc. Workshop in Objectect Oriented Real-Time Dependable Systems, Words, January, 2005
22. ' A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software ', Carleton University Report TR SCE-06-19, December, 2006
23. Goseva-Popstojanova, K., Hassan, A., Guedem, A., Abdelmoez, W., Nassar, D.E.M., and Ammar, H.: et al. ' Architectural-level risk analysis using UML ', IEEE Trans. Softw. Eng., 2003, 29, (6), p. 946-960 0098-5589
24. Dawkins, S.K., Kelly, T.P., Mcdermid, J.A., Murdoch, J., and Pumfrey, D.J.: ' Issues in the conduct of PSSA ', Proc. Int. System Safety Conf., ISSC, August, 1999
25. Lisagor, O., Mcdermid, J.A., and Pumfrey, D.J.: ' Safety analysis of software architectures - lightweight PSSA ', Proc. Int. System Safety Conf., ISSC, August, 2004