Abstract
One of the main concerns in safety critical software development is to identify a path through the software development lifecycle that will allow the software artefact to meet the target safety integrity level (SIL) at an acceptable cost. In our previous work we modelled aspects of the software development process recommended by IEC61508-3 software safety standard. In general, there are a number of paths that one can follow in order to comply with a target SIL. The path that one chooses to follow will undoubtedly effect the costs of the software development. In this paper we study a series of optimization algorithms that can be used to improve the software development process by optimization of two objectives, development costs and confidence in claimable integrity. Our analyses show that the non-dominated sorting genetic algorithm (NSGA) is the best performing algorithm in the search for these optimal processes.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
IEC61508. 1998-2000. Functional safety of electrical/ electronic/ programmable electronic safety-related systems parts 1-7. Published by the International Electrotechnical Commission (IEC), Geneva Switzerland.
Brito, M., May, J.: Gaining Confidence in the Software Development Process Using Expert Systems. In: Górski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, pp. 113–126. Springer, Heidelberg (2006)
Srinival, N., Deb, K.: Multi-objective function optimization using non-dominated sorting genetic algorithms. Evolutionary Computational Journal 2(3), 221–248 (1994)
Goldberg, D.E.: Genetic Algorithms in Search, Optimization & Machine Learning. Addison Wesley, Reading (1989)
Hugin A/S: http://www.hugin.com
Hugin Expert A/S. 1990-2005. Hugin API Reference Manual version 6.4
Hall, P., et al.: Integrity Prediction during Software Development. In: Safety of Computer Control Systems (SAFECOMP’92), Computer Systems in Safety-Critical Applications, Procs of the IFAC Symposium, Zurich, Switzerland, October 28-30, 1992, pp. 239–244 (1992)
Littlewood, B., Wright, D.R.: Proceedings of the 14th International Conference on Computer Safety (SafeComp’95), pp. 173–190. Springer, Heidelberg (1995)
Delic, K.A., Mazzanti, F., Strigini, L.: Formalising a software safety case via belief networks. In: Proceedings DCCA-6, Sixth IFIP International Working Conference on Dependable Computing for critical Applications, Garmisch-Partenkirchen, Germany (1997)
Fenton, N.E., et al.: Assessing dependability of safety critical systems using diverse evidence. IEE Proceedings Software Engineering 145(1), 35–39 (1998)
Morgan, M.G., Henrion, M.: Uncertainty: A Guide to Dealing with Uncertainty in Quantitative Risk and Policy Analysis. Cambridge University Press, Cambridge (1990)
Savage, L.J.: Elicitation of Personal Probabilisties and Expectations. Journal of the American Statistical Association 66(336), 783–801 (1990)
Cockram, T.: Gaining confidence in software Inspection using a Bayesian Belief Model. Software Quality Journal 9(1), 31–42 (2001)
Pearl, J.: Probabilistic reasoning in intelligent systems. Morgan Kaufmann, San Francisco (1988)
Spiegelhalter, D.J., et al.: Bayesian Analysis in Expert Systems. Journal of Statistical Science 8(3), 219–283 (1993)
Fonseca, C.M., Fleming, P.J.: Genetic algorithms for multi-objective optimization: Formulation, discussion and generalization. In: Proceedings of the Fifth International Conference on Genetic Algorithms, pp. 416–423 (1993)
Horn, J., Nafploitis, N., Goldberg, D.: A niched Pareto genetic algorthm for multi-objective optimization. In: Procs 1st IEEE Conf. on Evolutionary Computation, pp. 82–87 (1994)
Zitzler, E., Thiele, L.: An Evolutionary algorithm for multi-objective optimization: The strength Pareto approach. Technical report 43, Zurich, Switzerland: Computer Engineering and Networks Laboratory (TIK), Swiss Federal Institute of Technology (ETH) (1998)
Smith, D., Simpson, K.: Functional Safety - A straightforward guide to applying IEC61508 and related standards, 2nd edn. Elsevier, Amsterdam (2004)
Rivett, R.S.: Emerging Software Best Practice and how to be compliant. In: Proceedings of the Sixth International EAEC Congress (1997)
Aarts, E., Korst, J.: Simulated Annealing and Boltzmann Machines - A Stochastic Approach to Combinatorial Optimization and Neural Computing. John Wiley & Sons, Chichester (1989)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Brito, M., May, J. (2007). Safety Critical Software Process Improvement by Multi-objective Optimization Algorithms. In: Wang, Q., Pfahl, D., Raffo, D.M. (eds) Software Process Dynamics and Agility. ICSP 2007. Lecture Notes in Computer Science, vol 4470. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72426-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-72426-1_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72425-4
Online ISBN: 978-3-540-72426-1
eBook Packages: Computer ScienceComputer Science (R0)