Detecting feature interactions in home appliance networks

Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications

Volumn , Issue , 2008, Pages 895-903

  Leelaprute, Pattara ^a   Matsuo, Takafumi ^b   Tsuchiya, Tatsuhiro ^b   Kikuno, Tohru ^b  

^a KASETSART UNIVERSITY   (Thailand)

^b OSAKA UNIVERSITY   (Japan)

Author keywords

Feature interaction; Home appliance network; Model checking; SPIN

Indexed keywords

ARTIFICIAL INTELLIGENCE; DOMESTIC APPLIANCES; FLOW INTERACTIONS; INTERNET; SOFTWARE ENGINEERING; SPIN DYNAMICS; TECHNICAL PRESENTATIONS; THEOREM PROVING;

AUTOMATIC ANALYSIS; CASE STUDIES; CONCURRENT EXECUTIONS; FEATURE INTERACTION; HOME APPLIANCE NETWORK; MODEL CHECKING TECHNIQUES; PAPER ADDRESSES; SPIN;

MODEL CHECKING;

EID: 57749198255     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SNPD.2008.158     Document Type: Conference Paper

References (16)

1. M. Calder and A. Miller. Feature interaction detection by pairwise analysis of ltl properties - a case study. Formal Methods in System Design, 28(3):213-261, May 2006.
2. W. Chan, R. J. Anderson, P. Beame, S. Burns, F. Modugno, D. Notkin, and J. D. Reese. Model checking large software specifications. IEEE Trans. Softw. Eng., 24(7), 1998.
3. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999.
4. ECHONET Consortium. http://www.echonet.gr.jp.
5. Feature interaction in telecommunications and software systems vol. I-VIII. IOS Press, 1992-2005.
6. Havi.http://www.havi.org.
7. G. J. Holzmann. The model checker SPIN. IEEE Trans. Software Eng., 23(5):279-295, 1997.
8. M. Kolberg, E. H. Magill, and M. Wilson. Compatibility issues between services supporting networked appliances. IEEE Communications Magazine, 41(11):136-147, 2003.
9. P. Leelaprute, M. Nakamura, T. Tsuchiya, K. Matsumoto, and T. Kikuno. Describing and verifying integrated services of home network systems. In The 10th Asia-Pacific Software Engineering Conference (APSEC2005), pages 549-558, December 2005.
10. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
11. A. Metzger and C. Webel. Feature interaction detection in building control systems by means of a formal product model. Feature Interactions in Telecommunications and Software Systems VII, pages 105-122, June 2003.
12. S. Moyer, D. Marples, and S. Tsang. A protocol for wide area, secure networked appliances communication. IEEE Communications Magazine, 38(10):52-59, October 2001.
13. M. Nakamura, H. Igaki, and K. Matsumoto. Feature interactions in integrated services of networked home appliance. In Proc. of lnt'l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI'05), pages 236-251, June 2005.
14. OSGi Appliance. The osgi service platform. http://osgi.org.
15. A. Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE symposium on foundation of computer science, pages 46-57. IEEE Computer Society Press, 1977.
16. UPnPForum, http://www.upnp.org.