Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Correctness Analysis and Verification of Fuzzy Situations in Situation Aware Pervasive Computing Systems
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.ORCID-id: 0000-0003-1990-5734
2013 (engelsk)Rapport (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
2013. , s. 30
Emneord [en]
context awareness, situation awareness, fuzzy logic, fuzzy situation inference, situation algebra, verification, Information technology - Computer science
Emneord [sv]
Informationsteknik - Datorvetenskap
HSV kategori
Forskningsprogram
Distribuerade datorsystem
Identifikatorer
URN: urn:nbn:se:ltu:diva-23378Lokal ID: 6b7a95eb-566a-441b-9b21-c887cb0b21a3OAI: oai:DiVA.org:ltu-23378DiVA, id: diva2:996427
Merknad
Godkänd; 2013; 20130508 (andboy)Tilgjengelig fra: 2016-09-29 Laget: 2016-09-29 Sist oppdatert: 2018-06-11bibliografisk kontrollert

Open Access i DiVA

fulltekst(785 kB)68 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 785 kBChecksum SHA-512
20f63f765d43471a3934a338a172500874ae542f1a4249f009e13e65251e851bb305181e2e9334569e022b9de514fc6a0f279f3ddad08846a8c7667eed62ab82
Type fulltextMimetype application/pdf

Personposter BETA

Boytsov, AndreyZaslavsky, Arkady

Søk i DiVA

Av forfatter/redaktør
Boytsov, AndreyZaslavsky, Arkady
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 68 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 72 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf