Skip to main content
Top

2015 | OriginalPaper | Chapter

Emergency Management Support by Spatial Reasoning

Authors : Jan Olaf Blech, Heinz Schmidt, Timos Sellis

Published in: Sustainable Automotive Technologies 2014

Publisher: Springer International Publishing

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

search-config
loading …

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.

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 Bentley JL (1975) Multidimensional binary search trees used for associative searching. Commun ACM. 18 (9):509–517 Bentley JL (1975) Multidimensional binary search trees used for associative searching. Commun ACM. 18 (9):509–517
2.
go back to reference 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 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
3.
go back to reference 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 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
5.
go back to reference Caires L, Cardelli L (2003) A spatial logic for concurrency (Part I). Inf Comput 186/2:194– 235 Caires L, Cardelli L (2003) A spatial logic for concurrency (Part I). Inf Comput 186/2:194– 235
6.
go back to reference Caires L, Cardelli L (2004) A Spatial Logic for Concurrency (Part II). Theor Comput Sci 322(3):517–565 Caires L, Cardelli L (2004) A Spatial Logic for Concurrency (Part II). Theor Comput Sci 322(3):517–565
7.
go back to reference Papadias D, Sellis T (1994) Qualitative representation of spatial knowledge in two-dimensional space. VLDB J 3(3):479–516 Papadias D, Sellis T (1994) Qualitative representation of spatial knowledge in two-dimensional space. VLDB J 3(3):479–516
8.
go back to reference 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 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
9.
go back to reference Sellis T (1999) Research issues in spatio-temporal database systems. Advances in spatial databases, vol 1651 of LNCS. Springer, Berlin Sellis T (1999) Research issues in spatio-temporal database systems. Advances in spatial databases, vol 1651 of LNCS. Springer, Berlin
10.
go back to reference 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 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
Metadata
Title
Emergency Management Support by Spatial Reasoning
Authors
Jan Olaf Blech
Heinz Schmidt
Timos Sellis
Copyright Year
2015
DOI
https://doi.org/10.1007/978-3-319-17999-5_21

Premium Partner