Abstract
Like many manufacturers of complex cyber physical systems, automotive OEMS depend on incremental development. When changes are made to vehicles that were previously assured to be safe, it can be difficult to understand the impact of a change on the overall safety of the vehicle. In previous work we introduced Workflow\(^+\), a model-based framework for modelling development and safety processes and their outputs for safety critical systems, and then generating safety assurance from the models. In this work, we demonstrate how the extensive traceability inherent in Workflow\(^+\) can be leveraged to enable comprehensive safety-related change impact analyses. This facilitates sound incremental safety assurance to complement incremental development already in use.
Partially supported by the Natural Sciences and Engineering Research Council of Canada.
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
Similar content being viewed by others
References
Annable, N.: A model-based approach to formal assurance cases. Master’s thesis, McSCert, Department of Computing and Software, McMaster University (2020)
Annable, N., Bayzat, A., Diskin, Z., Lawford, M., Paige, R., Wassyng, A.: Model-driven safety of autonomous vehicles. In: Proceedings of CSER (2020)
Annable, N., Chiang, T., Lawford, M., Paige, R.F., Wassyng, A.: Generating assurance cases using workflow\(^{+}\) models. In: Trapp, M., Saglietti, F., Spisländer, M., Bitsch, F. (eds.) SAFECOMP 2022. LNCS, vol. 13414, pp. 97–110. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-14835-4_7
Annable, N., Chiang, T., Lawford, M., Paige, R.F., Wassyng, A.: Lessons learned building a tool for workflow+. In: 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 140–150. IEEE (2023)
Chiang, T.: Creating an editor for the implementation of WorkFlow+: a framework for developing assurance cases. Master’s thesis, McSCert, Department of Computing and Software, McMaster University (2021)
Ericson, C.A.: Hazard and Operability Analysis, chap. 21, pp. 365–381. Wiley (2005)
Cârlan, C., Gallina, B., Soima, L.: Safety case maintenance: a systematic literature review. In: Habli, I., Sujan, M., Bitsch, F. (eds.) SAFECOMP 2021. LNCS, vol. 12852, pp. 115–129. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-83903-1_8
Cârlan, C., Gauerhof, L., Gallina, B., Burton, S.: Automating safety argument change impact analysis for machine learning components. In: 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 43–53 (2022). https://doi.org/10.1109/PRDC55274.2022.00019
Francis, M., Kolovos, D.S., Matragkas, N., Paige, R.F.: Adding spreadsheets to the MDE toolkit. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 35–51. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41533-3_3
ISO 26262: Road vehicles – Functional safety. Int. Organization for Standardization, Geneva, Switzerland (2018)
Kelly, T.: Arguing safety – a systematic approach to managing safety cases. Ph.D. thesis, University of York (1998)
Kelly, T.P., McDermid, J.A.: A systematic approach to safety case maintenance. Reliab. Eng. Syst. Saf. 71(3), 271–284 (2001)
Kokaly, S., Salay, R., Chechik, M., Lawford, M., Maibaum, T.: Safety case impact assessment in automotive software systems: an improved model-based approach. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10488, pp. 69–85. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66266-4_5
Mackenzie, B., et al.: Change impact analysis in simulink designs of embedded systems. In: In European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1274–1284 (2020)
Rushby, J.: Composing safe systems. In: Arbab, F., Ölveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 3–11. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-35743-5_2
Rushby, J.: On emergent misbehavior (2015). https://www.csl.sri.com/~rushby/slides/emergentm12.pdf. Accessed 14 Feb 2024
Rushby, J., Xu, X., Rangarajan, M., Weaver, T.L.: Understanding and evaluating assurance cases. Technical report, SRI International (2015)
SAE: Considerations for ISO 26262 ASIL Hazard Classification (2018)
Wassyng, A., Joannou, P., Lawford, M., Maibaum, T.S., Singh, N.K.: New standards for trustworthy cyber-physical systems. In: Romanovsky, A., Ishikawa, F. (eds.) Trustworthy Cyber-Physical Systems Engineering, pp. 337–371 (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Annable, N. et al. (2024). Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. In: Ceccarelli, A., Trapp, M., Bondavalli, A., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2024. Lecture Notes in Computer Science, vol 14988. Springer, Cham. https://doi.org/10.1007/978-3-031-68606-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-031-68606-1_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-68605-4
Online ISBN: 978-3-031-68606-1
eBook Packages: Computer ScienceComputer Science (R0)