Skip to main content
SpringerLink
Log in

The Challenge of Safety Tactics Synchronization for Cooperative Systems

  • Conference paper
  • First Online:
Security and Safety Interplay of Intelligent Software Systems (CSITS 2018, ISSA 2018)

Part of the book series: Lecture Notes in Computer Science ((LNSC,volume 11552))

  • 771 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Axelsson, J.: Safety in vehicle platooning: a systematic literature review. IEEE Trans. Intell. Transp. Syst. 18(5), 1033–1045 (2017)

    Article  Google Scholar 

  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_1

    Chapter  Google 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 

  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)

    Article  Google Scholar 

  8. International Organization for Standardization (ISO): ISO 26262: Road Vehicles - Functional Safety (2011)

    Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  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 

  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)

    Article  Google Scholar 

Download references

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

  1. Malardalen University, Vasteras, Sweden

    Elena Lisova & Svetlana Girs

Authors
  1. Elena Lisova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Svetlana Girs
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Elena Lisova .

Editor information

Editors and Affiliations

  1. University of Toulouse, Toulouse, France

    Brahim Hamid

  2. Mälardalen University, Västerås, Sweden

    Barbara Gallina

  3. Ben-Gurion University, Beer-Sheva, Israel

    Asaf Shabtai

  4. Ben-Gurion University, Beer-Sheva, Israel

    Yuval Elovici

  5. Télécom SudParis, Evry, France

    Joaquin Garcia-Alfaro

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation