Abstract
The problem of configuring an Automotive TSN (Time-Sensitive Networking) Ethernet network with desired timing properties consists of several individual complex problems, each with its own solution landscape. When the chosen solutions come together in the implementation of timing guarantees on these networks, presenting the argument and evidence for the correct behaviour of the network with respect to the timing requirements itself becomes a difficult problem. In this paper, we present work in progress on demonstrating the use of assurance cases in making this argument explicit for an example TSN Ethernet timing requirement for an automotive powertrain network.
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
References
Bandur, V., Selim, G., Pantelic, V., Lawford, M.: Making the case for centralized automotive E/E architectures. IEEE Trans. Veh. Technol. 70(2), 1230–1245 (2021). https://doi.org/10.1109/TVT.2021.3054934
Bandur, V., Pantelic, V., Tomashevskiy, T., Lawford, M.: A safety architecture for centralized E/E architectures. In: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE (2021). https://doi.org/10.1109/dsn-w52860.2021.00022
Geyer, F., Carle, G.: Network engineering for real-time networks: comparison of automotive and aeronautic industries approaches. IEEE Commun. Mag. 54(2), 106–112 (2016). https://doi.org/10.1109/MCOM.2016.7402269
Graydon, P., Bate, I.: Realistic safety cases for the timing of systems. Comput. J. 57(5), 759–774 (2014). https://doi.org/10.1093/comjnl/bxt027
IEEE: Time-sensitive networking task group (2017). https://www.ieee802.org/1/pages/tsn.html. Accessed 29 Oct 2019
IEEE 802.1 Time-Sensitive Task Group: IEEE 802.1Qbv-2015 - IEEE Standard for Local and Metropolitan Area Networks - Bridges and Bridged Networks - Amendment 25: Enhancements for Scheduled Traffic. Technical report IEEE 802.1Qbv, IEEE (2015)
Matheus, K., Königseder, T.: Automotive Ethernet, 1st edn. Cambridge University Press, USA (2015). https://doi.org/10.1017/CBO9781107414884
Stüber, T., Osswald, L., Lindner, S., Menth, M.: A survey of scheduling algorithms for the time-aware shaper in Time-Sensitive Networking (TSN) (2023). https://doi.org/10.48550/arXiv.2211.10954
The Assurance Case Working Group: Goal Structuring Notation Community Standard Version 3 (2021)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Kapinski, R., Pantelic, V., Bandur, V., Wassyng, A., Lawford, M. (2023). Assurance Cases for Timing Properties of Automotive TSN Networks. In: Guiochet, J., Tonetta, S., Schoitsch, E., Roy, M., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops. SAFECOMP 2023. Lecture Notes in Computer Science, vol 14182. Springer, Cham. https://doi.org/10.1007/978-3-031-40953-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-031-40953-0_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-40952-3
Online ISBN: 978-3-031-40953-0
eBook Packages: Computer ScienceComputer Science (R0)