Abstract
Mobile devices, such as Smartphones, are being used virtually by every modern individual. Such devices are expected to work continuously and flawlessly for years, despite having been designed without criticality requirements. However, the requirements of mobility, digital identification and authentication lead to an increasing dependence of societies on the correct behaviour of these ’proxies for the individual’. The Windows Mobile 5.0 release has delivered a new set of internal state monitoring services, centralized into the State and Notifications Broker. This API was designed to be used by context-aware applications, providing a comprehensive monitoring of the internal state and resources of mobile devices. In this paper we propose using this service to increase the dependability of mobile applications by showing, through a series of fault-injection campaigns, that this novel API is very effective for error propagation profiling and monitoring.
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
Langheinrich, M.: Privacy by Design - Principles of Privacy-Aware Ubiquitous Systems. In: ACM UbiComp, ACM Press, New York (2001)
Johansson, A., Suri, N.: Error Propagation Profiling of Operating Systems, presented at DSN (2005)
Voas, J.M., McGraw, G.: Software fault injection: inoculating programs against errors. Wiley Computer Pub., New York (1998)
Wilson, J.: The State and Notifications Broker Part I, MSDN Library (2006)
Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental Concepts of Dependability, LAAS-CNRS N01145 (2001)
IEEE Standard Glossary of Software Engineering Terminology (IEEE Std610.12-1990) (1990)
Beizer, B.: Black-box testing: techniques for functional testing of software and systems. Wiley, New York, Chichester (1995)
Gu, W.N., Kalbarczyk, Z., Lyer, R.K., Yang, Z.Y.: Characterization of Linux kernel behavior under errors, presented at DSN (2003)
Murphy, B., Levidow, B.: Windows 2000 Dependability. In: Workshop on Dependable Networks and OS (2000)
Chou, A., Yang, J., Chelf, B., Hallem, S., Engler, D.: An Empirical Study of Operating System Errors, presented at SOSP (2001)
Arlat, J., Fabre, J.-C., Rodriguez, M., Salles, F.: Dependability of COTS Microkernel-Based Systems. IEEE Trans. on Computers 51, 138–163 (2002)
Swift, M.M., Bershad, B.N., Levy, H.M.: Improving the Reliability of Commodity OS’s. Operating Systems Review 37, 207–222 (2003)
Jun, X., Zbigniew, K., Ravishankar, K.I.: Networked Windows NT System Field Failure Data Analysis (1999)
Albinet, A., Arlat, J., Fabre, J.-C.: Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel, presented at DSN (2004)
Durães, J., Madeira, H.: Multidimensional Characterization of the Impact of Faulty Drivers on the OS Behavior. IEICE, 2563–2570 (2003)
Kropp, N.P., Koopman, P.J., Siewiorek, D.P.: Automated Robustness Testing of Off the Shelf Software Components. FTCS 98, IEEE (1998)
Koopman, P., DeVale, J.: Comparing the robustness of POSIX operating systems, presented at FTCS 99 (1999)
Shelton, C.P., Koopman, P., Devale, K.: Robustness testing of the Microsoft Win32 API, presented at DSN (2000)
Hiller, M., Jhumka, A., Suri, N.: PROPANE: An environment for examining the propagation of errors in software. In: Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis, p. 81 (2002)
Askerdal, Ö., Gafvert, M., Hiller, M., Suri, N.: Analyzing the Impact of Data Errors in Safety-Critical Control Systems. IEEE Trans. Inf. Syst. (2003)
Hiller, M., Jhumka, A., Suri, N.: EPIC: Profiling the propagation and effect of data errors in software. IEEE Trans. on Computers 53, 512–530 (2004)
Koopman, P.: What’s Wrong With Fault Injection As A Benchmarking Tool?, presented at DSN, Washington (2002)
Ribeiro, J., -Rela, M. Z.: mCrash: a Framework for the Evaluation of Mobile Devices Trustworthiness Properties, presented at CMUS, Portugal (2006)
Li, K., Wu, M.: Effective software test automation: developing an automated software testing tool. Sybex, London (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ribeiro, J.C.B., Luís, B.M., Zenha-Rela, M. (2007). Error Propagation Monitoring on Windows Mobile-Based Devices. In: Bondavalli, A., Brasileiro, F., Rajsbaum, S. (eds) Dependable Computing. LADC 2007. Lecture Notes in Computer Science, vol 4746. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75294-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-75294-3_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75293-6
Online ISBN: 978-3-540-75294-3
eBook Packages: Computer ScienceComputer Science (R0)