Change search
ReferencesLink to record
Permanent link

Direct link
Correctness Analysis and Verification of Fuzzy Situations in Situation Aware Pervasive Computing Systems
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
2013 (English)Report (Other academic)
Abstract [en]

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.
Keyword [en]
context awareness, situation awareness, fuzzy logic, fuzzy situation inference, situation algebra, verification, Information technology - Computer science
Keyword [sv]
Informationsteknik - Datorvetenskap
Research subject
Mobile and Pervasive Computing
URN: urn:nbn:se:ltu:diva-23378Local ID: 6b7a95eb-566a-441b-9b21-c887cb0b21a3OAI: diva2:996427
Godkänd; 2013; 20130508 (andboy)Available from: 2016-09-29 Created: 2016-09-29Bibliographically approved

Open Access in DiVA

fulltext(785 kB)1 downloads
File information
File name FULLTEXT01.pdfFile size 785 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Boytsov, AndreyZaslavsky, Arkady
By organisation
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 6 hits
ReferencesLink to record
Permanent link

Direct link