Abstract
A more recent trend in Systems Engineering is architecture optimization. Evermore complex aircraft systems make it harder and harder to determine, with reasonable time and effort, optimal architectures by traditional trial-and-error trade off studies. This can be alleviated by architecture optimization techniques where System Engineers only defines boundaries for the design space and then an optimization solver finds the optimal solution automatically. If safety and reliability requirements are not considered during automatic architecture generation, given the high impact of safety on systems design, there is a high probability that the optimized architectures are not valid. Therefore, it is critical to model and take into account reliability and safety requirements during Design Space Exploration in early architectural stages.
Traditional reliability calculations are both not denotational and not linear which significantly narrows possible optimization techniques. In this work we suggest a Mixed Integer Linear Programming (MILP) formulation of the reliability calculus with the following features: (1) The order of magnitude of reliability calculations is correct, (2) There exists an explicit theoretical bound on potential “optimism” of the proposed algebra, (3) For a pool of representative benchmark problems the proposed approximation provides highly accurate results compared to the classical reliability calculations. This paper presents an approximate algebra for the safety analysis problem with explicit bounds and provides representative examples of its application.
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
Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)
Leveson, N.G.: Software Safety: Why, What, and How. ACM Computing Surveys 18(2), 125–163 (1986)
Arnold, A., Griffault, A., Point, G., Rauzy, A.: The AltaRica formalism for describing concurrent systems. In: Fundamenta Informaticae, vol. 40(2), pp. 109–124. IOS Press, Amsterdam (1999)
Bieber, P., et al.: Safety assessment with Altarica. In: Building the Information Society, pp. 505–510. Springer (2004)
Haskins, C. (ed.): Systems Engineering Handbook: A guide for system life cycle processes and activities. In: INCOSE (2006)
Bozzano, M., et al.: ESACS: An integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL 2003, pp. 237–245. Balkema Publisher (2003)
David, P., Idasiak, V., Kratz, F.: Towards a better interaction between design and dependability analysis: FMEA derived from UML/SysML models. In: Proceedings of ESREL 2008 and 17th SRA-Europe Annual Conference, Valencia, Spain (2008)
David, P., Idasiak, V., Kratz, F.: Reliability study of complex physical systems using SysML. Journal of Reliability Engineering and System Safety 95(4), 431–450 (2010)
Vesley, W., et al.: Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, Washington DC (2002)
Bauer, C., et al.: Flight-control system architecture optimization for fly-by-wire airliners. Journal of Guidance Control and Dynamics 30(4), 1023–1029 (2007)
Tabbara, A., Sangiovanni-Vincentelli, A.: Function/architecture optimization and co-design of embedded systems. Springer (2000)
Todinov, M.T.: Risk-based reliability analysis and generic principles for risk reduction. Elsevier Science, Amsterdam (2007)
Verma, A.K., Ajit, S., Karanki, D.R.: Reliability and Safety Engineering. Springer (2010)
Helle, P., Strobel, C., Mitschke, A., Schamai, W., Rivière, A., Vincent, L.: Improving systems specifications a method proposal. In: CSEM (2008)
Li, R., Etemaadi, R., Emmerich, M.T.M., Chaudron, M.R.V.: Automated Design of Software Architectures for Embedded Systems using Evolutionary Multiobjective Optimization. In: VII ALIO/EURO (2011)
Condat, H., Strobel, C., Hein, A.: Model-based automatic generation and selection of safe architectures. In: INCOSE (2012)
http://www-01.ibm.com/software/integration/optimization/cplex-optimizer/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Helle, P., Masin, M., Greenberg, L. (2012). Approximate Reliability Algebra for Architecture Optimization. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33678-2_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-33678-2_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33677-5
Online ISBN: 978-3-642-33678-2
eBook Packages: Computer ScienceComputer Science (R0)