Abstract
Ambient Intelligence (AmI) technologies are more and more often adopted in scenarios, like healthcare, environments monitoring and control, ambient assisted living, etc, which are critical for human safety and assets preservation. This requires that such a kind of applications be designed taking into account stringent dependability requirements. This paper presents a service-oriented middleware architecture for safety critical Ambient Intelligence applications, which provides services that enable the designer to develop runtime verification mechanisms; that is, it is possible to continuously monitor the verification of correctness properties defined at design time.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Artho, C., et al.: Combining test case generation and runtime verification. Theor. Computer Science 336 (2005)
Campbell, R., Ranganathan, A.: Provably Correct Pervasive Computing Environments. In: Proc. of PerCom 2008 (2008)
Cardelli, L., Gordon, A.D.: Mobile Ambients. Theor. Computer Science (2000)
Cook, J., Augusto, J.C., Jakkula, V.R.: Ambient Intelligence: Technologies, applications, and opportunities. Pervasive and Mobile Computing 5(4) (2009)
Coronato, A., De Pietro, G.: Formal Specification of Wireless and Pervasive Healthcare Applications. ACM Transactions on Embedded Computing Systems (to appear in the SI on Wireless Healthcare)
Coronato, A., De Pietro, G.: Formal Specification of Dependable Pervasive Applications. In: The Proc. of APSCC 2009 (2009)
Coronato, A., De Pietro, G.: Middleware mechanisms for supporting multimodal interactions in smart environments. Computer Communications 31(18) (2008)
Coronato, A., De Pietro, G.: MiPeG: A Middleware Infrastructure for Pervasive Grids. Journal of Future Generation Computer Systems 24(1) (2008)
Coronato, A., De Pietro, G., Esposito, M.: A Multimodal Semantic Location Service for Intelligent Environments: An Application for Smart Hospitals. Personal and Ubiquitous Computing 13(7) (2009)
Crisler, K., Anneroth, M., Aftelak, A., Pulil, P.: The human perspective of the wireless world. Computer Communications 26(1) (2003)
d’Amorim, M., Havelund, K.: Event-based runtime verification of java programs. In: Proc. of WODA 2005 (2005)
Hall, R.S., Cervantes, H.: An OSGi implementation and experience report. In: Proc. of Consumer Communications and Networking (2004)
Karlsson, D., Eles, P., Peng, Z.: Formal verification of component-based designs. Journal of Design Automation for Embedded Systems 11(1) (2007)
Lee, R.G., Chen, K.C., Hsiao, C.C., Tseng, C.L.: A Mobile Care System With Alert Mechanism. IEEE Transactions on Information Technology In Biomedicine 11(5) (2007)
PERSONA, http://www.aal-persona.org/
Rosu, G., Havelund, K.: Rewriting-based techniques for runtime verification. Automated Software Engineering 12(2) (2005)
Saha, G.K.: Software fault avoidance issues. ACM Ubiquity 7(46) (2006)
Wu, J., Huang, L., Wang, D., Shen, F.: R-OSGi-based architecture of distributed smart home system. IEEE Trans. on Consumer Electronics 54(3) (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Coronato, A., De Pietro, G. (2010). A Middleware Architecture for Safety Critical Ambient Intelligence Applications. In: Balandin, S., Dunaytsev, R., Koucheryavy, Y. (eds) Smart Spaces and Next Generation Wired/Wireless Networking. ruSMART NEW2AN 2010 2010. Lecture Notes in Computer Science, vol 6294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14891-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-14891-0_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14890-3
Online ISBN: 978-3-642-14891-0
eBook Packages: Computer ScienceComputer Science (R0)