Abstract
Automotive Safety Integrity Levels (ASILs) are used in the new automotive functional safety standard, ISO 26262, as a key part of managing safety requirements throughout a top-down design process. The ASIL decomposition concept, outlined in the standard, allows the safety requirements to be divided between multiple components of the system whilst still meeting the ASILs initially allocated to system-level hazards. Existing exhaustive automatic decomposition techniques drastically reduce the effort of performing such tasks manually. However, the combinatorial nature of the problem leaves such exhaustive techniques with a scalability issue. To overcome this problem, we have developed a new technique that uses a penalty-based genetic algorithm to efficiently explore the search space and identify optimum assignments of ASILs to the system components. The technique has been applied to a hybrid braking system to evaluate its effectiveness.
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
Mian, Z., Bottaci, L., Papadopoulos, Y., Biehl, M.: System Dependability Modelling and Analysis Using AADL and HiP-HOPS. In: 14th IFAC Symposium on Information Control Problems in Manufacturing, Bucharest, Romania (2012)
Chen, D., Johansson, R., Lönn, H., Papadopoulos, Y., Sandberg, A., Törner, F., Törngren, M.: Modelling Support for Design of Safety-Critical Automotive Embedded Systems. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 72–85. Springer, Heidelberg (2008)
Hillenbrand, M., Heinz, M., Adler, N., Matheis, J., Müller-Glaser, K.D.: Failure mode and effect analysis based on electric and electronic architectures of vehicles to support the safety lifecycle ISO/DIS 26262. In: Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping (RSP), Fairvax, VA, USA, June 8-11, pp. 1–7 (2010) ISBN: 978-1-4244-7073-0, doi:10.1109/RSP.2010.5656351
Mader, R., Armengaud, E., Leitner, A., Steger, C.: Automatic and Optimal Allocation of Safety Integrity Levels. In: Proceedings of the Reliability and Maintainability Symposium (RAMS 2012), Reno, NV, USA, January 23-26, pp. 1–6 (2012) ISBN: 978-1-4577-1849-6, doi:10.1109/RAMS.2012.6175431
Papadopoulos, Y., Walker, M., Parker, D., Rüde, E., Hamann, R., Uhlig, A., Grätz, U., Lien, R.: Engineering Failure Analysis & Design Optimisation with HiP-HOPS. Journal of Engineering Failure Analysis 18(2), 590–608 (2011) ISSN: 1350 6307, doi:10.1016/j.engfailanal.2010.09.025
Papadopoulos, Y., Walker, M., Reiser, M.-O., Weber, M., Chen, D., Törngren, S.D., Abele, A., Stappert, F., Lönn, H., Berntsson, L., Johansson, R., Tagliabo, F., Torchiaro, S., Sandberg, A.: Automatic Allocation of Safety Integrity Levels. In: Proceedings of the 1st Workshop on Critical Automotive applications: Robustness and Safety (CARS 2010), Valencia, Spain, April 27, pp. 7–10. ACM, New York (2010) ISBN: 978-1-60558-915-2, doi:10.1145/1772643.1772646
Coit, D.W., Smith, A.E.: Reliability optimization of series-parallel systems using a genetic algorithm. IEEE Transactions on Reliability 45(2), 254–260 (1996)
Lin, M.-H., Tsai, J.-F., Yu, C.-S.: A Review of Deterministic Optimization Methods in Engineering and Management. Mathematical Problems in Engineering 2012, Article ID 756023, 15 pages (2012), doi:10.1155/2012/756023
Tate, D.M., Smith, A.E.: A genetic approach to the quadratic assignment problem. Computers and Operations Research 22, 73–83 (1994)
Azevedo, L.P.: Hybrid Braking System for Electrical Vehicles: Functional Safety, M.Sc. thesis, Dept. Elect. Eng., Porto Univ., Porto, Portugal (2012)
de Castro, R., Araújo, R.E., Freitas, D.: Hybrid ABS with Electric motor and friction Brakes. Presented at the IAVSD 2011 - 22nd International Symposium on Dynamics of Vehicles on Roads and Tracks, Manchester, UK (2011)
Savaresi, S., Tanelli, M.: Active braking control systems design for vehicles. Springer (2010) ISBN: 978-1-84996-350-3
Bannatyne, R.: Time triggered protocol-fault tolerant serial communications for real-time embedded systems. In: Wescon 1998, September 15-17, pp. 86–91 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Parker, D., Walker, M., Azevedo, L.S., Papadopoulos, Y., Araújo, R.E. (2013). Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm. In: Ali, M., Bosse, T., Hindriks, K.V., Hoogendoorn, M., Jonker, C.M., Treur, J. (eds) Recent Trends in Applied Artificial Intelligence. IEA/AIE 2013. Lecture Notes in Computer Science(), vol 7906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38577-3_46
Download citation
DOI: https://doi.org/10.1007/978-3-642-38577-3_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38576-6
Online ISBN: 978-3-642-38577-3
eBook Packages: Computer ScienceComputer Science (R0)