SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab | SpringerLink
Skip to main content

SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab

(Demo)

  • Conference paper
Ambient Intelligence (AmI 2013)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 8309))

Included in the following conference series:

Abstract

Developing ambient intelligence for a smart home living lab is a complex task. We present the SHIP-tool to define ambient intelligence processes on an adequate level of abstraction. Based on the representation of the environment in a formal logical description, communication from and to the environment is via updates of the logical description. Processes are built from basic actions to update the current logical descriptions and include means to monitor the evolution of the environment in a temporal logic formalism. The SHIP-tool implements the process language and serves both for simulation and execution of sample ambient intelligent services in a real smart home living labs also presented in the paper. Two showcases have been realized: a night surveillance service and a transportation assistance. The demonstration consisted of showing both showcases both simulated in a desktop VR environment and remotely controlling the real smart home living lab.

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

Access this chapter

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Autexier, S., Hutter, D.: Constructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes. In: Eiter, T., Glimm, B., Kazakov, Y., Krötzsch, M. (eds.) Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, vol. 1014, pp. 501–512. Technical University of Aachen, RWTH (July 2013)

    Google Scholar 

  2. Autexier, S., Hutter, D., Stahl, C.: An implementation, execution and simulation platform for processes in heterogeneous smart environments. In: Augusto, J.C., Wichert, R., Collier, R., Keyson, D., Salah, A.A., Tan, A.-H. (eds.) AmI 2013. LNCS, vol. 8309, pp. 3–18. Springer, Heidelberg (2013)

    Google Scholar 

  3. Laue, T., Stahl, C.: Modeling and simulating ambient assisted living environments – A case study. In: Augusto, J.C., Corchado, J.M., Novais, P., Analide, C. (eds.) ISAmI 2010. AISC, vol. 72, pp. 217–220. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer International Publishing Switzerland

About this paper

Cite this paper

Autexier, S., Hutter, D., Mandel, C., Stahl, C. (2013). SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab. In: Augusto, J.C., Wichert, R., Collier, R., Keyson, D., Salah, A.A., Tan, AH. (eds) Ambient Intelligence. AmI 2013. Lecture Notes in Computer Science, vol 8309. Springer, Cham. https://doi.org/10.1007/978-3-319-03647-2_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-03647-2_23

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-03646-5

  • Online ISBN: 978-3-319-03647-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics