Abstract
Given rapid progress in integrating operational and industrial technologies and recent increase in the level of automation in safety-related systems, cooperative cyber-physical systems are emerging in a self-contained area requiring new approaches for addressing their critical properties such as safety and security. The notion of tactics is used to describe a relation between a system input and its corresponding response. Cooperative functionalities often rely on wireless communication and incoherent behavior of different wireless channels makes it challenging to achieve harmonization in deployment of systems’ tactics. In this work we focus on safety tactics for cooperative cyber-physical systems as a response to inputs related to both safety and security, i.e., we are interested in security informed safety, and formulate a challenge of synchronization of safety tactics between the cooperating systems. To motivate the requirement on such synchronization we consider a car platoon, i.e., a set of cooperative vehicles, as an example and illustrate possible hazards arising from unsynchronized tactics deployment.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Axelsson, J.: Safety in vehicle platooning: a systematic literature review. IEEE Trans. Intell. Transp. Syst. 18(5), 1033–1045 (2017)
Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, London (2003)
Bauer, B., Müller, J.P., Roser, S.: Decentralized business process modeling and enactment: ICT architecture topologies and decision methods. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 1–26. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-79043-3_1
CENELEC: IEC 61508: Functional Safety of E/E/PE Safety-Related Systems. Part 2: Requirements for E/E/PE Safety-Related Systems (2007)
Dadras, S., Gerdes, R.M., Sharma, R.: Vehicular platooning in an adversarial environment. In: Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security, ASIA CCS 2015, pp. 167–178 (2015)
Girs, S., Sljivo, I., Jaradat, O.: Contract-based assurance for wireless cooperative functions of vehicular systems. In: IECON 2017–43rd Annual Conference of the IEEE Industrial Electronics Society, pp. 8391–8396 (2017)
Hu, H., Lu, R., Zhang, Z., Shao, J.: REPLACE: a reliable trust-based platoon service recommendation scheme in VANET. IEEE Trans. Veh. Technol. 66(2), 1786–1797 (2017)
International Organization for Standardization (ISO): ISO 26262: Road Vehicles - Functional Safety (2011)
Jia, D., Lu, K., Wang, J., Zhang, X., Shen, X.: A survey on platoon-based vehicular cyber-physical systems. IEEE Comm. Surv. Tutor. 18(1), 263–284 (2016)
Michaud, F., Lepage, P., Frenette, P., Letourneau, D., Gaubert, N.: Coordinated maneuvering of automated vehicles in platoons. IEEE Trans. Intell. Transp. Syst. 7(4), 437–447 (2006)
Pop, P., Scholle, D., Šljivo, I., Hansson, H., Widforss, G., Rosqvist, M.: Safe cooperating cyber-physical systems using wireless communication: the SafeCOP approach. Microprocess. Microsyst. 53, 42–50 (2017)
Sheikholeslam, S., Desoer, C.A.: Longitudinal control of a platoon of vehicles with no communication of lead vehicle information: a system level study. IEEE Trans. Veh. Technol. 42(4), 546–554 (1993)
Čaušević, A.: A risk and threat assessment approaches overview in autonomous systems of systems. In: Proceedings of the XXVI International Conference on Information, Communication and Automation Technologies (ICAT), pp. 1–6 (2017)
Šljivo, I., Gallina, B., Carlson, J., Hansson, H.: Using safety contracts to guide the integration of reusable safety elements within ISO 26262. In: Proceedings of the IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 129–138 (2015)
Šljivo, I., Gallina, B., Kaiser, B.: Assuring degradation cascades of car platoons via contracts. In: Proceedings of the 6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems, September, pp. 317–329 (2017)
Wu, W., Kelly, T.: Safety tactics for software architecture design. In: 2004 Proceedings of the 28th Annual International Computer Software and Applications Conference, COMPSAC 2004, vol. 1, pp. 368–375 (2004)
Xu, L., Wang, L.Y., Yin, G., Zhang, H.: Communication information structures and contents for enhanced safety of highway vehicle platoons. IEEE Trans. Veh. Technol. 63(9), 4206–4220 (2014)
Acknowledgments
The work is supported by the Swedish Foundation for Strategic Research (SSF) via the Future factories in the Cloud (FiC) and the Secure and Dependable Platforms for Autonomy (Serendipity) projects.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Lisova, E., Girs, S. (2019). The Challenge of Safety Tactics Synchronization for Cooperative Systems. In: Hamid, B., Gallina, B., Shabtai, A., Elovici, Y., Garcia-Alfaro, J. (eds) Security and Safety Interplay of Intelligent Software Systems. CSITS ISSA 2018 2018. Lecture Notes in Computer Science(), vol 11552. Springer, Cham. https://doi.org/10.1007/978-3-030-16874-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-16874-2_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-16873-5
Online ISBN: 978-3-030-16874-2
eBook Packages: Computer ScienceComputer Science (R0)