The Challenge of Safety Tactics Synchronization for Cooperative Systems
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.
KeywordsCooperative CPSs Safety tactics Synchronization Platooning
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.
- 2.Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, London (2003)Google Scholar
- 3.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_1CrossRefGoogle Scholar
- 4.CENELEC: IEC 61508: Functional Safety of E/E/PE Safety-Related Systems. Part 2: Requirements for E/E/PE Safety-Related Systems (2007)Google Scholar
- 5.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)Google Scholar
- 6.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)Google Scholar
- 8.International Organization for Standardization (ISO): ISO 26262: Road Vehicles - Functional Safety (2011)Google Scholar
- 13.Č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)Google Scholar
- 14.Š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)Google Scholar
- 15.Š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)Google Scholar
- 16.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)Google Scholar