By Topic

A safety-critical software development strategy based on theory of diverse design

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Shaojun Lee ; School of Reliability and Systems, Engineering, Beihang University, Beijing, China ; Xiaohong Bao ; Tingdi Zhao

As an effective method to improve software reliability and safety, diverse design has been widely used in safety-critical software development in the aviation, aerospace and rail transportation areas. Since N-version programming costs a lot and automatic code generation tools have been widely used nowadays, a safety-critical software development strategy based on theory of diverse design, which is combined with automatic code generation tools, is proposed in this paper. Qualitative analysis on the diversity and cost of software developed through this strategy is also completed in this paper to show that this strategy can effectively avoid common-cause failures and improve the safety of safety-critical software. At last, safety-critical software development process based on this strategy is proposed.

Published in:

Reliability, Maintainability and Safety (ICRMS), 2011 9th International Conference on

Date of Conference:

12-15 June 2011