loading...
Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict Detection
Postdam, Germany March 27-March 30
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2006.4813th Annual IEEE International Sympos ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ibrahim Armac, RWTH Aachen University of Technology, Ahornstr.Aachen, Germany
Michael Kirchhof, RWTH Aachen University of Technology, Ahornstr.Aachen, Germany
Liviana Manolescu, RWTH Aachen University of Technology, Ahornstr.Aachen, Germany
The domain of eHome systems is a special application area for pervasive computing. Many different kinds of devices are introduced to the home area to provide functionality for enhanced comfort or security. A similar level of heterogeneity can be found at the software level: many different vendors supply eHome systems with drivers and services, which intend to compute sensor information and trigger devices in the eHome. This multi-level heterogeneity leads to system faults in terms of deadlocks and unpredictable or disillusioning behavior. We call these error conditions conflicts. Pervasive systems, especially eHome systems, will only be useful and thus successful, if such conflicts can be handled properly. In this paper, we analyze eHome systems with respect to types of conflicts and discuss how conflicts can be detected. We will show that the dynamic conflict detection is reasonable and possible by a rule-based conflict detection. The detection is well-founded on a formal specification and is seamlessly integrated into the paradigm of component-based software construction.
Citation:
Ibrahim Armac, Michael Kirchhof, Liviana Manolescu, "Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict Detection," ecbs, pp.219-228, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.