Correctness Analysis and Verification of Fuzzy Situations in Situation Aware Pervasive Computing Systems
2013 (English)Report (Other academic)
Context awareness is one of the central features of pervasive computing systems. From pervasive computing perspective a situation can be defined as external semantic interpretation of context. Situation awareness aims to infer situations out of context. Developing situation awareness is a challenging task, which can be significantly hampered by errors during design stage. In this article we propose a novel method for verification of fuzzy situation definitions. Fuzzy logic is a powerful mechanism for reasoning in pervasive computing systems and verification of situation models is a new method of formally ensuring correctness of context awareness and situation awareness. Verification is applied at the design time to check that definitions of situations are error-free. Verification approach allows developers to rigorously specify expected relationships between situations and then formally check that definitions of situations comply with expected relationships. If an error is found, then additional task is to find counterexamples - particular context attribute values, which can cause situation awareness inconsistency. Counterexamples provide additional insight into the cause of error and help repairing situation definitions. We also discuss a method to formalize requirements, as well as propose and formally prove the novel verification algorithm for fuzzy situation models. Last, but not least, we analyze theoretical and practical complexity of the proposed solution.
Place, publisher, year, edition, pages
2013. , 30 p.
context awareness, situation awareness, fuzzy logic, fuzzy situation inference, situation algebra, verification, Information technology - Computer science
Informationsteknik - Datorvetenskap
Research subject Mobile and Pervasive Computing
IdentifiersURN: urn:nbn:se:ltu:diva-23378Local ID: 6b7a95eb-566a-441b-9b21-c887cb0b21a3OAI: oai:DiVA.org:ltu-23378DiVA: diva2:996427
Godkänd; 2013; 20130508 (andboy)2016-09-292016-09-29Bibliographically approved