Abstract
Component-based approaches and software product lines have been adopted by industry to manage the diversity of configurations on safety-critical software. Safety certification demands compliance with standards. ISO 26262 standard uses the concept of Automotive Safety Integrity Level (ASIL) to allocate safety requirements to components of a system under design. Compliance with standards is demonstrated through achieving those ASILs which can be very expensive when requirements are high. While achieving safety certification of variant-intensive components without being unnecessarily stringent or expensive is desirable for economy, it poses challenges to safety engineering. In this paper, we propose an approach to manage the diversity of safety goals and supporting safety certification of software components. Our approach is built upon the integration among ASIL decomposition, software process modeling, and variability management techniques. The approach supports cost-effective safety certification and the efficient tailoring of process models to components according to their ASILs. We evaluated our approach in the automotive domain. The approach is feasible in supporting the management of the diversity of safety goals, and cost-effective safety certification of software components.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Azevedo, L.S., Parker, D., Walker, M. Papadopoulos, Y.: Automatic decomposition of safety integrity levels: optimization by tabu search. In: Proceedings of the 2nd Workshop on Critical Automotive applications : Robustness & Safety (CARS), Safecomp (2013)
Beuche, D., Schulze, M., Duvigneau, M.: When 150% is too much: supporting product centric viewpoints in an industrial product line. In: 20th International Systems and Software Product Line Conference on (SPLC), pp. 262–269. ACM, Beijing (2016)
Capilla, R., Bosch, J., Kang, K.C.: Systems and Software Variability Management: Concepts, Tools and Experiences. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36583-6
Chen, D.J., Mahmud, N., Walker, M., Feng, L., Lonn, H., Papadopoulos, Y.: Systems modeling with EAST-ADL for fault tree analysis through HiP-HOPS. In: IFAC Proceeding Volumes (IFAC-PapersOnline), vol. 4, pp. 91–96 (2013)
De Castro, R., AraĂºjo, R.E., Freitas, D.: Hybrid ABS with electric motor and friction brakes. In: 22nd International Symposium on Dynamics of Vehicles on Roads and Tracks, Manchester, UK, pp. 1–7 (2011)
Eclipse. EPF Composer Manual. https://www.eclipse.org/epf/general/EPF_Installation_Tutorial_User_Manual.pdf. Accessed 28 Feb 2020
Habli, I., et al.: Challenges of establishing a software product line for an aerospace engine monitoring system. In: 11th International Software Product Line Conference (SPLC), pp. 193–202. ACM, Japan (2007)
Haugen, Ă˜., Ă˜gĂ¥rd, O.: BVR – better variability results. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 1–15. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11743-0_1
Haugen, Ă˜., Møller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding standardized variability to domain specific languages. In: 12th International Conference on Software Product Lines, Limerick, Ireland, pp. 139–148. IEEE (2008)
ISO. ISO 26262: Road vehicles - Functional safet (2018)
Javed, M.A., Gallina, B., Carlsson, A.: Towards variant management and change impact analysis in safety-oriented process-product lines. In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, pp. 2372–2375. ACM (2019)
Javed, M.A., Gallina, B.: Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool. In: 22nd International Systems and Software Product Line Conference - Volume B, Gothenburg, Sweden, pp. 1–6. ACM (2018)
Krammer, M., Armengaud, E., Bourrouilh, Q.: Method library framework for safety standard compliant process tailoring. In: 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Oulu, pp. 302–305. IEEE (2011)
Luo, Y., van den Brand, M., Engelen, L., Favaro, J., Klabbers, M., Sartori, G.: Extracting models from ISO 26262 for reusable safety assurance. In: Favaro, J., Morisio, M. (eds.) ICSR 2013. LNCS, vol. 7925, pp. 192–207. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38977-1_13
de Oliveira, A.L., Braga, R.T.V., Masiero, P.C., Papadopoulos, Y., Habli, I., Kelly, T.: Variability management in safety-critical software product line engineering. In: Capilla, R., Gallina, B., Cetina, C. (eds.) ICSR 2018. LNCS, vol. 10826, pp. 3–22. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-90421-4_1
Oliveira, A.L., et al.: Automatic allocation of safety requirements to components of a software product line. In: 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Paris, France, Elsevier, vol. 48, no. 41, pp. 1309–1314 (2015)
OMG. Software & Systems Process Engineering Metamodel Specification (SPEM) Ver 2.0, http://www.omg.org/spec/SPEM/2.0/. Accessed 25 Feb 2020
OMG: Meta-Object Facility. https://www.omg.org/mof/. Accessed 01 Mar 2020
Papadopoulos, Y., et al.: Engineering failure analysis and design optimization with HiP-HOPS. J. Eng. Fail. Anal. 18(2), 590–608 (2011)
Parker, D., Walker, M., Azevedo, L.S., Papadopoulos, Y., AraĂºjo, R.E.: 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.) IEA/AIE 2013. LNCS (LNAI), vol. 7906, pp. 449–459. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38577-3_46
Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005). https://doi.org/10.1007/3-540-28901-1
RTCA: DO-178C Software Considerations in Airborne Systems and Equipment Certification. Radio Technical Commission for Aeronautics (2011)
S.A.E. ARP 4754A: Guidelines for development of Civil Aircraft and Systems (2010)
Schulze, M., Mauersberger, J., Beuche, D.: Functional safety and variability: can it be brought together? In: 17th International SPLC, pp. 236–243. ACM, New York (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Bressan, L., de Oliveira, A.L., Campos, F., Papadopoulos, Y., Parker, D. (2020). An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. In: Zeller, M., Höfig, K. (eds) Model-Based Safety and Assessment. IMBSA 2020. Lecture Notes in Computer Science(), vol 12297. Springer, Cham. https://doi.org/10.1007/978-3-030-58920-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-58920-2_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58919-6
Online ISBN: 978-3-030-58920-2
eBook Packages: Computer ScienceComputer Science (R0)