Abstract
An assurance case has become an integral component for the certification of safety-critical systems. While manually defining assurance case patterns can be not avoided, system-specific instantiations of assurance case patterns are both costly and time-consuming. It becomes especially complex to maintain an assurance case for a system when the requirements of the System-Under-Assurance change, or an assurance claim becomes invalid due to, e.g., degradation of a systems’ component, as common when deploying learning-enabled components.
In this paper, we report on our preliminary experience leveraging the tool integration framework Evidential Tool Bus (ETB) for the construction and continuous maintenance of an assurance case from a predefined assurance case pattern. Specifically, we demonstrate the assurance process on an industrial Automated Valet Parking system from the automotive domain. We present the formalization of the provided assurance case pattern in the ETB processable logical specification language of workflows. Our findings, show that ETB is able to create and maintain evidence required for the construction of an assurance case.
L. Sorokin, R. Bouchekir and T.A. Beyene–The authors contributed equally to this paper.
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
Notes
- 1.
Software Considerations in Airborne Systems and Equipment Certification.
- 2.
ISO 26262 Road vehicles Functional safety.
- 3.
- 4.
- 5.
In this work, we have only considered the Goal and Strategy elements as well as the Supported-By relation of GSN in our assurance case fragments.
References
CppCheck. https://github.com/danmar/cppcheck
Infer. https://fbinfer.com/
Prescan. https://plm.sw.siemens.com/en-US/simcenter/autonomous-vehicle-solutions/prescan/
Bartocci, E., Mateis, C., Nesterini, E., Ničković, D.: Mining hyperproperties using temporal logics. ACM Trans. Embed. Comput. Syst. 22(5s) (2023). https://doi.org/10.1145/3609394
Bensalem, S., et al.: Continuous engineering for trustworthy learning-enabled autonomous systems. In: Steffen, B. (ed.) Bridging the Gap Between AI and Reality, pp. 256–278. Springer Nature Switzerland, Cham (2024). https://doi.org/10.1007/978-3-031-46002-9_15
Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Safety and Reliability, vol. 20, pp. 34–42. Taylor & Francis (2000)
Bosch: automated valet parking. https://www.bosch-mobility.com/de/loesungen/parken/automated-valet-parking/
Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about datalog (and never dared to ask). IEEE Trans. Knowl. Data Eng. 1, 146–166 (1989)
Cruanes, S., Hamon, G., Owre, S., Shankar, N.: Tool integration with the evidential tool bus. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 275–294. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-35873-9_18
Denney, E., Pai, G.: Tool support for assurance case development. Autom. Softw. Eng. 25(3), 435–499 (2018)
Esen, H., Liao, B.H.C.: Simulation-based safety assurance for an AVP system incorporating learning-enabled components (2023)
Hawkins, R., Kelly, T., Knight, J., Graydon, P.: A new approach to creating clear safety arguments. In: Dale, C., Anderson, T. (eds.) Advances in Systems Safety, pp. 3–23. Springer, London (2011). https://doi.org/10.1007/978-0-85729-133-2_1
Hawkins, R., Paterson, C., Picardi, C., Jia, Y., Calinescu, R., Habli, I.: Guidance on the assurance of machine learning in autonomous systems (AMLAS) (2021)
Kaur, R., Ivanov, R., Cleaveland, M., Sokolsky, O., Lee, I.: Assurance case patterns for cyber-physical systems with deep neural networks. In: Casimiro, A., Ortmeier, F., Schoitsch, E., Bitsch, F., Ferreira, P. (eds.) SAFECOMP 2020. LNCS, vol. 12235, pp. 82–97. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-55583-2_6
Liao, B.H., Cheng, C., Esen, H., Knoll, A.: Are transformers more robust? towards exact robustness verification for transformers. In: SAFECOMP 2023, vol. 14181, pp. 89–103 (2023)
Ramakrishna, S., Hartsell, C., Dubey, A., Pal, P.P., Karsai, G.: A methodology for automating assurance case generation. CoRR abs/2003.05388 (2020), https://arxiv.org/abs/2003.05388
Ruess, H., Shankar, N.: Evidential transactions with cyberlogic (2023)
Schwalbe, G., Knie, B., Sämann, T., Dobberphul, T., Gauerhof, L., Raafatnia, S., Rocco, V.: Structuring the safety argumentation for deep neural network based perception in automotive applications. In: Casimiro, A., Ortmeier, F., Schoitsch, E., Bitsch, F., Ferreira, P. (eds.) SAFECOMP 2020. LNCS, vol. 12235, pp. 383–394. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-55583-2_29
Shankar, N., et al.: Descert: design for certification (2022)
Sorokin, L., Munaro, T., Safin, D., Liao, B.H.C., Molin, A.: OpenSBT: a modular framework for search-based testing of automated driving systems. In: Tool Demonstration Track ICSE 2024
Tonk, A., Boussif, A., Beugin, J., Collart-Dutilleul, S.: Towards a specified operational design domain for a safe remote driving of trains. In: Proceedings of the 31st European Safety and Reliability Conference, Angers, France, pp. 19–23 (2021)
Warg, F., Blom, H., Borg, J., Johansson, R.: Continuous deployment for dependable systems with continuous assurance cases. In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 318–325 (2019). https://doi.org/10.1109/ISSREW.2019.00091
Wozniak, E., Cârlan, C., Acar-Celik, E., Putzer, H.J.: A safety case pattern for systems with machine learning components. In: Casimiro, A., Ortmeier, F., Schoitsch, E., Bitsch, F., Ferreira, P. (eds.) SAFECOMP 2020. LNCS, vol. 12235, pp. 370–382. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-55583-2_28
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
Sorokin, L., Bouchekir, R., Beyene, T.A., Liao, B.HC., Molin, A. (2024). Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus. In: Sangchoolie, B., Adler, R., Hawkins, R., Schleiss, P., Arteconi, A., Mancini, A. (eds) Dependable Computing – EDCC 2024 Workshops. EDCC 2024. Communications in Computer and Information Science, vol 2078. Springer, Cham. https://doi.org/10.1007/978-3-031-56776-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-031-56776-6_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-56775-9
Online ISBN: 978-3-031-56776-6
eBook Packages: Computer ScienceComputer Science (R0)