Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
National Category
Media and Communication Technology
Research subject
Mobile and Pervasive Computing
Identifiers
URN: urn:nbn:se:ltu:diva-23378Local ID: 6b7a95eb-566a-441b-9b21-c887cb0b21a3OAI: oai:DiVA.org:ltu-23378DiVA: diva2:996427
Note
Godkänd; 2013; 20130508 (andboy)Available from: 2016-09-29 Created: 2016-09-29 Last updated: 2017-11-24Bibliographically approved

Open Access in DiVA

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

Search in DiVA

By author/editor
Boytsov, AndreyZaslavsky, Arkady
By organisation
Computer Science
Media and Communication Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 29 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

urn-nbn

Altmetric score

urn-nbn
Total: 32 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf