Skip to main content
Top

2019 | OriginalPaper | Chapter

The Challenge of Safety Tactics Synchronization for Cooperative Systems

Authors : Elena Lisova, Svetlana Girs

Published in: Security and Safety Interplay of Intelligent Software Systems

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Axelsson, J.: Safety in vehicle platooning: a systematic literature review. IEEE Trans. Intell. Transp. Syst. 18(5), 1033–1045 (2017)CrossRef Axelsson, J.: Safety in vehicle platooning: a systematic literature review. IEEE Trans. Intell. Transp. Syst. 18(5), 1033–1045 (2017)CrossRef
2.
go back to reference Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, London (2003) Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, London (2003)
3.
go back to reference 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_1CrossRef 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_​1CrossRef
4.
go back to reference CENELEC: IEC 61508: Functional Safety of E/E/PE Safety-Related Systems. Part 2: Requirements for E/E/PE Safety-Related Systems (2007) CENELEC: IEC 61508: Functional Safety of E/E/PE Safety-Related Systems. Part 2: Requirements for E/E/PE Safety-Related Systems (2007)
5.
go back to reference 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) 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)
6.
go back to reference 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) 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)
7.
go back to reference 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)CrossRef 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)CrossRef
8.
go back to reference International Organization for Standardization (ISO): ISO 26262: Road Vehicles - Functional Safety (2011) International Organization for Standardization (ISO): ISO 26262: Road Vehicles - Functional Safety (2011)
9.
go back to reference 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)CrossRef 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)CrossRef
10.
go back to reference 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)CrossRef 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)CrossRef
11.
go back to reference 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)CrossRef 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)CrossRef
12.
go back to reference 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)CrossRef 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)CrossRef
13.
go back to reference Č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) Č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)
14.
go back to reference Š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., 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)
15.
go back to reference Š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) Š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)
16.
go back to reference 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) 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)
17.
go back to reference 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)CrossRef 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)CrossRef
Metadata
Title
The Challenge of Safety Tactics Synchronization for Cooperative Systems
Authors
Elena Lisova
Svetlana Girs
Copyright Year
2019
DOI
https://doi.org/10.1007/978-3-030-16874-2_4

Premium Partner