Skip to main content
SpringerLink
Log in

Emergency Management Support by Spatial Reasoning

  • Conference paper
  • First Online:
Sustainable Automotive Technologies 2014

Part of the book series: Lecture Notes in Mobility ((LNMOB))

  • 1314 Accesses

Abstract

Emergency management benefits from techniques such as the eCall that allow an automatic transmission of vehicle data and location to initiate response operations in case of an accident. Such operations may comprise the deployment of ambulances and recovery vehicles. Based on available data one can decide on the type of ambulances, police and other recovery vehicles needed, on prioritization in case of multiple events and on strategies for an efficient management of available resources. Automatically handling these constraints which can go beyond traditional database operations and deriving decisions is a challenging problem. In this paper, we describe how our existing spatio-temporal description and reasoning framework based on formal methods can be used to facilitate decisions in emergency recovery situations in combination with indexing of available information.

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

Notes

  1. 1.

    http://ec.europa.eu/information_society/activities/esafety/ecall/index_en.htm.

  2. 2.

    http://unitedhatzalah.org.

References

  1. Bentley JL (1975) Multidimensional binary search trees used for associative searching. Commun ACM. 18 (9):509–517

    Google Scholar 

  2. Blech JO, Falcone Y, Rueß H, Schätz B (2012) Behavioral specification based runtime monitors for OSGI services. Leveraging applications of formal methods, verification and validation (ISoLA), vol 7609 of LNCS. Springer, New York

    Google Scholar 

  3. Blech JO, Schmidt H (2013) Towards modeling and checking the spatial and interaction behavior of widely distributed systems. In: Improving systems and software engineering conference, Melbourne

    Google Scholar 

  4. Blech JO, Schmidt H (2014) BeSpaceD: towards a tool framework and methodology for the specification and verification of spatial behavior of distributed software component systems. http://arxiv.org/abs/1404.3537

  5. Caires L, Cardelli L (2003) A spatial logic for concurrency (Part I). Inf Comput 186/2:194– 235

    Google Scholar 

  6. Caires L, Cardelli L (2004) A Spatial Logic for Concurrency (Part II). Theor Comput Sci 322(3):517–565

    Google Scholar 

  7. Papadias D, Sellis T (1994) Qualitative representation of spatial knowledge in two-dimensional space. VLDB J 3(3):479–516

    Google Scholar 

  8. Papadias D, Theodoridis Y, Sellis T, Egenhofer M (1995) Topological relations in the world of minimum bounding rectangles: a study with r-trees. In: Proceedings of the 1995 ACM-SIGMOD international conference on the management of data, San Jose, pp 92–103

    Google Scholar 

  9. Sellis T (1999) Research issues in spatio-temporal database systems. Advances in spatial databases, vol 1651 of LNCS. Springer, Berlin

    Google Scholar 

  10. Skiadopoulos S, Giannoukos C, Sarkas N, Vassiliadis P, Sellis T, Koubarakis M (2005) Computing and managing cardinal direction relations. IEEE Trans Knowl Data Eng 17(12):1610–1623

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. RMIT University, Melbourne, Australia

    Jan Olaf Blech, Heinz Schmidt & Timos Sellis

Authors
  1. Jan Olaf Blech
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heinz Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Timos Sellis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jan Olaf Blech .

Editor information

Editors and Affiliations

  1. Applied Mechanics, Chalmers University of Technology, Goteborg, Sweden

    Ingemar Denbratt

  2. School of Aerospace, Mechanical and Manufacturing Engineering, RMIT University, Bundoora, Australia

    Aleksandar Subic

  3. Faculty of Mechanical Engineering, Technische Hochschule Ingolstadt, Ingolstadt, Germany

    Jörg Wellnitz

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Blech, J.O., Schmidt, H., Sellis, T. (2015). Emergency Management Support by Spatial Reasoning. In: Denbratt, I., Subic, A., Wellnitz, J. (eds) Sustainable Automotive Technologies 2014. Lecture Notes in Mobility. Springer, Cham. https://doi.org/10.1007/978-3-319-17999-5_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-17999-5_21

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-17998-8

  • Online ISBN: 978-3-319-17999-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation