Model-based fault detection in context-aware adaptive applications

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2008, Pages 261-271

  Sama, Michele ^a   Rosenblum, David S ^a   Wang, Zhimin ^b   Elbaum, Sebastian ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

Adaptation; Context awareness; Fault detection; Hazards; Mo bile computing; Model based analysis; Ubiquitous computing

Indexed keywords

ADAPTATION; ADAPTATION MODELS; ADAPTIVE APPLICATION; ADAPTIVE BEHAVIOR; ANALYSIS AND TESTING; CELL PHONE; COMPUTING MODEL; CONTEXT INFORMATION; CONTEXT-AWARE; CONTEXT-AWARENESS; FAULT PATTERNS; FINITE-STATE MODELS; INTERNAL REPRESENTATION; MODEL-BASED FAULT DETECTION; REALISTIC APPLICATIONS; SURROUNDING ENVIRONMENT;

BODY FLUIDS; COMPUTER SOFTWARE; FAULT DETECTION; MATHEMATICAL MODELS; MOBILE DEVICES; MOLYBDENUM; SAFETY ENGINEERING;

UBIQUITOUS COMPUTING;

EID: 77950500720     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1453101.1453136     Document Type: Conference Paper

References (30)

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, April 1994.
2. V. Barr. Applications of rule-base coverage measures to expert system evaluation. In Proc. National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, pages 411-416, July 1997.
3. G. Biegel and V. Cahill. A framework for developing mobile, context-aware applications. In Proc. Second IEEE Annual Conference on Pervasive Computing and Communications, pages 361-365, March 2004.
4. R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
5. L. Capra, W. Emmerich, and C. Mascolo. Carisma: Context-aware reective middleware system for mobile applications. IEEE Transactions on Software Engineering, 29(10):929-945, October 2003.
6. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic veri cation of nite-state concurrent systems using temporal logic speci cations. ACM Transactions on Programmming Languages and Systems, 8(2):244-263, 1986.
7. A. En-Nouaary, R. Dssouli, and F. Khendek. Timed Wp-method: Testing real-time systems. IEEE Transactions on Software Engineering, 28(11):1023-1038, November 2002.
8. P. Fahy and S. Clarke. CASS-Middleware for mobile context-aware applications. In Proc. MobiSys Workshop on Context Awareness, pages 304-308, June 2004.
9. J. Floch. Theory of adaptation. Deliverable D2.2, MADAM Project, available from http://www.ist-music.eu/MUSIC/madam- project/madam-deliverables/ techreportreference.2007- 04-13.0451108510, 2006. Last accessed 7 March 2008.
10. T. Gu, H. K. Pung, and D. Q. Zhang. A middleware for building context-aware mobile services. In Proc. IEEE Vehicular Technology Conference, pages 2656- 2660, May 2004.
11. U. G. Gupta. Automatic tools for testing expert systems. Communications of the ACM, 5:179-184, May 1998.
12. S. Hauck. Asynchronous design methodologies: An overview. Proceedings of the IEEE, 83:69-93, January 1995.
13. M. P. Heimdahl and N. G. Leveson. Completeness and consistency in hierarchical state-based requirements. IEEE Transactions on Software Engineering, 22(6):363-377, June 1996.
14. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw. Automated consistency checking of requirements speci cations. ACM Transactions on Software Engineering and Methodology, 5(3):231-261, 1996.
15. T. Higashino, A. Nakata, K. Taniguchi, and A. R. Cavalli. Generating test cases for a timed I/O automaton model. In Proc. International Workshop on Testing Communicating Systems: Method and Applications, pages 197-214, September 1999.
16. M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. In Proc. 11th International SPIN Workshop, pages 109-126, April 2004.
17. H. Lu, W. K. Chan, and T. H. Tse. Testing context-aware middleware-centric programs: A data ow approach and an RFID-based experimentation. In Proc. International Symposium on Foundations of Software Engineering, pages 242-252, November 2006.
18. B. Nielsen and A. Skou. Automated test generation from timed automata. International Journal on Software Tools for Technology Transfer, 5(1):59-77, November 2003.
19. R. Nilsson and J. Offutt. Automated testing of timeliness: A case study. In Proc. International Workshop on Automation of Software Test, page 11, May 2007.
20. A. Ranganathan and R. H. Campbell. A middleware for context-aware agents in ubiquitous computing environments. In Proc. ACM/IFIP/USENIX International Middleware Conference, pages 143-161, June 2003.
21. G.-C. Roman, P. J. McCann, and J. Y. Plun. Mobile UNITY: Reasoning and speci cation in mobile computing. ACM Transactions on Software Engineering and Methodology, 6(3):250-282, July 1997.
22. M. Sama and D. Rosenblum. ContextNotifier. http://code.google.com/p/ ContextNotifier/. Last accessed 7 March 2008.
23. M. Sama and D. Rosenblum. TestingEmulator. http://code.google.com/p/ testingemulator/. Last accessed 7 March 2008.
24. M. Sama, D. S. Rosenblum, Z. Wang, and S. Elbaum. Multi-layer faults in the architectures of mobile, context-aware adaptive applications: A position paper (Short Paper). In Proc. ICSE 2008 International Workshop on Software Architectures and Mobility, pages 47-50, May 2008.
25. T. Tse, S. Yau, W. Chan, H. Lu, and T. Chen. Testing context-sensitive middleware-based software applications. In Proc. International Computer Software and Applications Conference, pages 458-465, September 2004.
26. S. H. Unger. Hazards, critical races, and metastability. IEEE Transactions on Computers, 44(6):754-768, June 1995.
27. Z. Wang, S. Elbaum, and D. S. Rosenblum. Automated generation of context-aware tests. In Proc. International Conference on Software Engineering, pages 406-415, May 2007.
28. G. Wassermann, C. Gould, Z. Su, and P. Devanbu. Static checking of dynamically generated queries in database applications. ACM Transactions on Software Engineering and Methodology, 16(4):article 14, 2007.
29. C. Xu and S. C. Cheung. Inconsistency detection and resolution for context-aware middleware support. In Proc. Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 336-345, September 2005. (Pubitemid 43218844)
30. C. Xu, S. C. Cheung, and W. K. Chan. Incremental consistency checking for pervasive context. In Proc. International Conference on Software Engineering, pages 292-301, May 2006. (Pubitemid 46600926)