The Challenge of Safety Tactics Synchronization for Cooperative Systems

  • Elena LisovaEmail author
  • Svetlana Girs
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11552)


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.


Cooperative 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.


  1. 1.
    Axelsson, J.: Safety in vehicle platooning: a systematic literature review. IEEE Trans. Intell. Transp. Syst. 18(5), 1033–1045 (2017)CrossRefGoogle Scholar
  2. 2.
    Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, London (2003)Google Scholar
  3. 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). Scholar
  4. 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. 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. 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
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    International Organization for Standardization (ISO): ISO 26262: Road Vehicles - Functional Safety (2011)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 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. 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. 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. 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
  17. 17.
    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)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Malardalen UniversityVasterasSweden

Personalised recommendations