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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)