Change search
Link to record
Permanent link

Direct link
BETA
Boytsov, Andrey
Publications (10 of 14) Show all publications
Kikhia, B., Boytsov, A., Hallberg, J., Sani, Z. u., Jonsson, H. & Synnes, K. (2014). Structuring and Presenting Lifelogs based on Location Data (ed.). In: (Ed.), Pietro Cipresso; Alaksandar Matic; Guillaume Lopez (Ed.), Pervasive Computing Paradigms for Mental Health: 4th International Symposium, MindCare 2014, Tokyo, Japan, May 8-9, 2014, Revised Selected Papers. Paper presented at Mindcare : 4th International Symposium on Pervasive Computing Paradigms for Mental Health 08/05/2014 - 09/05/2014 (pp. 133-144). Cham: Encyclopedia of Global Archaeology/Springer Verlag
Open this publication in new window or tab >>Structuring and Presenting Lifelogs based on Location Data
Show others...
2014 (English)In: Pervasive Computing Paradigms for Mental Health: 4th International Symposium, MindCare 2014, Tokyo, Japan, May 8-9, 2014, Revised Selected Papers / [ed] Pietro Cipresso; Alaksandar Matic; Guillaume Lopez, Cham: Encyclopedia of Global Archaeology/Springer Verlag, 2014, p. 133-144Conference paper, Published paper (Refereed)
Abstract [en]

Lifelogging techniques help individuals to log their life and retrieve important events, memories and experiences. Structuring lifelogs is a major challenge in lifelogging systems since the system should present the logs in a concise and meaningful way to the user. In this paper the authors present an approach for structuring lifelogs as places and activities based on location data. The structured lifelogs are achieved using a combination of density-based clustering algorithms and convex hull construction to identify the places of interest. The periods of time where the user lingers at the same place are then identified as possible activities. In addition to structuring lifelogs the authors present an application in which images are associated to the structuring results and presented to the user for reviewing. The system is evaluated through a user study consisting of 12 users, who used the system for 1 day and then answered a survey. The proposed approach in this paper allows automatic inference of information about significant places and activities, which generates structured image-annotated logs of everyday life.

Place, publisher, year, edition, pages
Cham: Encyclopedia of Global Archaeology/Springer Verlag, 2014
Series
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, ISSN 1867-8211 ; 100
National Category
Media and Communication Technology Other Health Sciences Computer Sciences
Research subject
Mobile and Pervasive Computing; Health Science; Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-32667 (URN)10.1007/978-3-319-11564-1_14 (DOI)000349600800014 ()84910645111 (Scopus ID)7399f549-ac8d-4192-940d-d82b66db8791 (Local ID)978-3-319-11563-4 (ISBN)7399f549-ac8d-4192-940d-d82b66db8791 (Archive number)7399f549-ac8d-4192-940d-d82b66db8791 (OAI)
Conference
Mindcare : 4th International Symposium on Pervasive Computing Paradigms for Mental Health 08/05/2014 - 09/05/2014
Note
Godkänd; 2014; 20140328 (basel)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-07-10Bibliographically approved
Boytsov, A. & Zaslavsky, A. (2013). Correctness Analysis and Verification of Fuzzy Situations in Situation Aware Pervasive Computing Systems (ed.). Paper presented at .
Open this publication in new window or tab >>Correctness Analysis and Verification of Fuzzy Situations in Situation Aware Pervasive Computing Systems
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.

Publisher
p. 30
Keywords
context awareness, situation awareness, fuzzy logic, fuzzy situation inference, situation algebra, verification, Information technology - Computer science, Informationsteknik - Datorvetenskap
National Category
Media and Communication Technology
Research subject
Mobile and Pervasive Computing
Identifiers
urn:nbn:se:ltu:diva-23378 (URN)6b7a95eb-566a-441b-9b21-c887cb0b21a3 (Local ID)6b7a95eb-566a-441b-9b21-c887cb0b21a3 (Archive number)6b7a95eb-566a-441b-9b21-c887cb0b21a3 (OAI)
Note
Godkänd; 2013; 20130508 (andboy)Available from: 2016-09-29 Created: 2016-09-29 Last updated: 2018-06-11Bibliographically approved
Boytsov, A. & Zaslavsky, A. (2013). Formal verification of context and situation models in pervasive computing (ed.). Paper presented at . Pervasive and Mobile Computing, 9(1), 98-117
Open this publication in new window or tab >>Formal verification of context and situation models in pervasive computing
2013 (English)In: Pervasive and Mobile Computing, ISSN 1574-1192, E-ISSN 1873-1589, Vol. 9, no 1, p. 98-117Article in journal (Refereed) Published
Abstract [en]

Pervasive computing is a paradigm that focuses on availability of computer resources anytime anywhere for any application and supports non-intrusive integration of computing services into everyday life. Context awareness is the core feature of pervasive computing. High-level context awareness can be enhanced by situation awareness that represents the ability to detect and reason about the real-life situations. In this article we propose, analyze and validate the formal verification method for situation definitions and demonstrate its feasibility and efficiency. Situations are often defined manually by domain experts and are, therefore, susceptible to definition inconsistencies and possible errors, which in turn can cause situation reasoning problems. The proposed method takes as an input properties of situations and dependencies among them as well as situation definitions in terms of low-level context features, and then either formally proves that the definitions do comply with the expected properties, or provides a complete set of counterexamples — context parameters that prove situation inconsistency. Evaluation and complexity analysis of the proposed approach are also presented and discussed. Examples and evaluation results demonstrate that the proposed approach can be used to verify real-life situation definitions, and detect non-obvious errors in situation specifications.

National Category
Media and Communication Technology
Research subject
Mobile and Pervasive Computing
Identifiers
urn:nbn:se:ltu:diva-14632 (URN)10.1016/j.pmcj.2012.03.001 (DOI)000314805600007 ()2-s2.0-84873196721 (Scopus ID)e08e100b-39b2-413c-aab1-4d5198dfe8a8 (Local ID)e08e100b-39b2-413c-aab1-4d5198dfe8a8 (Archive number)e08e100b-39b2-413c-aab1-4d5198dfe8a8 (OAI)
Note
Validerad; 2013; 20120327 (andbra)Available from: 2016-09-29 Created: 2016-09-29 Last updated: 2018-07-10Bibliographically approved
Cleland, I., Kikhia, B., Nugent, C., Boytsov, A., Hallberg, J., Synnes, K., . . . Finlay, D. (2013). Optimal Placement of Accelerometers for the Detection of Everyday Activities (ed.). Paper presented at . Sensors, 13(7), 9183-9200
Open this publication in new window or tab >>Optimal Placement of Accelerometers for the Detection of Everyday Activities
Show others...
2013 (English)In: Sensors, ISSN 1424-8220, E-ISSN 1424-8220, Vol. 13, no 7, p. 9183-9200Article in journal (Refereed) Published
Abstract [en]

This article describes an investigation to determine the optimal placement of accelerometers for the purpose of detecting a range of everyday activities. The paper investigates the effect of combining data from accelerometers placed at various bodily locations on the accuracy of activity detection. Eight healthy males participated within the study. Data were collected from six wireless tri-axial accelerometers placed at the chest, wrist, lower back, hip, thigh and foot. Activities included walking, running on a motorized treadmill, sitting, lying, standing and walking up and down stairs. The Support Vector Machine provided the most accurate detection of activities of all the machine learning algorithms investigated. Although data from all locations provided similar levels of accuracy, the hip was the best single location to record data for activity detection using a Support Vector Machine, providing small but significantly better accuracy than the other investigated locations. Increasing the number of sensing locations from one to two or more statistically increased the accuracy of classification. There was no significant difference in accuracy when using two or more sensors. It was noted, however, that the difference in activity detection using single or multiple accelerometers may be more pronounced when trying to detect finer grain activities. Future work shall therefore investigate the effects of accelerometer placement on a larger range of these activities

National Category
Media and Communication Technology
Research subject
Mobile and Pervasive Computing
Identifiers
urn:nbn:se:ltu:diva-5827 (URN)10.3390/s130709183 (DOI)000328612800062 ()403d5d70-017f-4e22-8430-1117523ed033 (Local ID)403d5d70-017f-4e22-8430-1117523ed033 (Archive number)403d5d70-017f-4e22-8430-1117523ed033 (OAI)
Note
Validerad; 2014; 20140120 (andbra)Available from: 2016-09-29 Created: 2016-09-29 Last updated: 2018-07-10Bibliographically approved
Boytsov, A. (2013). Situation awareness in pervasive computing systems: reasoning, verification, prediction (ed.). (Doctoral dissertation). Paper presented at . Luleå: Luleå tekniska universitet
Open this publication in new window or tab >>Situation awareness in pervasive computing systems: reasoning, verification, prediction
2013 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

The paradigm of pervasive computing aims to integrate the computing technologies in a graceful and transparent manner, and make computing solutions available anywhere and at any time. Different aspects of pervasive computing, like smart homes, smart offices, social networks, micromarketing applications, PDAs are becoming a part of everyday life.Context can be defined as information that can be of possible interest to the system. Context often includes location, time, activity, surroundings among other attributes. One of the core features of pervasive computing systems is context awareness – the ability to use context to improve the performance of the system and make its behavior more intelligent.Situation awareness is related to context awareness, and can be viewed as the highest level of context generalization. Situations allow eliciting the most important information from context. For example, situations can correspond to locations of interest, actions and locomotion of the user, environmental conditions.The thesis proposes, justifies and evaluates situation modeling methods that allow covering broad range of real-life situations of interest and reasoning efficiently about situation relationships. The thesis also addresses and contributes to learning the situations out of unlabeled data. One of the main challenges of that approach is understanding the meaning of a newly acquired situation and assigning a proper label to it. This thesis proposes methods to infer situations from unlabeled context history, as well as methods to assign proper labels to the inferred situations. This thesis proposes and evaluates novel methods for formal verification of context and situation models. Proposed formal verification significantly reduces misinterpretation and misdetection errors in situation aware systems. The proper use of verification can help building more reliable and dependable pervasive computing systems and avoid the inconsistent context awareness and situation awareness results. The thesis also proposes a set of context prediction and situation prediction methods on top of enhanced situation awareness mechanisms. Being aware of the future situations enables a pervasive computing system to choose the most efficient strategies to achieve its stated objectives and therefore a timely response to the upcoming situation can be provided. In order to become efficient, situation prediction should be complemented with proper acting on prediction results, i.e. proactive adaptation. This thesis proposes proactive adaptation solutions based on reinforcement learning techniques, in contrast to the majority of current approaches that solve situation prediction and proactive adaptation problems sequentially. This thesis contributes to situation awareness field and addresses multiple aspects of situation awareness.The proposed methods were implemented as parts of ECSTRA (Enhanced Context Spaces Theory-based Reasoning Architecture) framework. ECSTRA framework has proven to be efficient and feasible solution for real life pervasive computing systems

Place, publisher, year, edition, pages
Luleå: Luleå tekniska universitet, 2013. p. 299
Series
Doctoral thesis / Luleå University of Technology 1 jan 1997 → …, ISSN 1402-1544
Keywords
situation awareness, context awareness, pervasive computing, ubiquitous computing, context prediction, Information technology - Computer science, Informationsteknik - Datorvetenskap
National Category
Media and Communication Technology
Research subject
Mobile and Pervasive Computing
Identifiers
urn:nbn:se:ltu:diva-26466 (URN)e61bf853-0577-45c0-ac3d-8a542d9d81d0 (Local ID)978-91-7439-639-3 (ISBN)978-91-7439-640-9 (ISBN)e61bf853-0577-45c0-ac3d-8a542d9d81d0 (Archive number)e61bf853-0577-45c0-ac3d-8a542d9d81d0 (OAI)
Note
Godkänd; 2013; 20130410 (andboy); Tillkännagivande disputation 2013-05-23 Nedanstående person kommer att disputera för avläggande av teknologie doktorsexamen. Namn: Andrey Boytsov Ämne: Medieteknik/Media Technology Avhandling: Situation Awareness in Pervasive Computing Systems: Reasoning, Verification, Prediction Opponent: Professor Christian Becker, Information Systems II, University of Mannheim, Germany Ordförande: Gästprofessor Arkady Zaslavsky, Institutionen för system- och rymdteknik, Luleå tekniska universitet, Luleå/Australian National University, Canberra Australia Tid: Torsdag den 13 juni 2013, kl 10.00 Plats: A117 (LKAB-salen), Luleå tekniska universitetAvailable from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-01-10Bibliographically approved
Kikhia, B., Boytsov, A., Hallberg, J., Sani, Z. u., Jonsson, H. & Synnes, K. (2012). Structuring and presenting lifelogs based on location data (ed.). Paper presented at .
Open this publication in new window or tab >>Structuring and presenting lifelogs based on location data
Show others...
2012 (English)Report (Other academic)
Abstract [en]

Lifelogging techniques help individuals to log their life and retrieve important events, memories and experiences. Structuring lifelogs is a major challenge in lifelogging systems since the system should present the logs in a concise and meaningful way to the user. In this article the authors present a novel approach for structuring lifelogs as places and activities based on location data. The structured lifelogs are achieved using a combination of density-based clustering algorithms and convex hull construction to identify the places of interest. The periods of time where the user lingers at the same place are then identified as possible activities. In addition to structuring lifelogs the authors present an application in which images are associated to the structuring results and presented to the user for reviewing. The proposed approach allows automatic inference of information about significant places and activities, which generates structured image-annotated logs of everyday life.

Publisher
p. 19
Keywords
activity recognition, activity inference, lifelogging, clustering algorithms, SenseCam, GPS, Information technology - Computer science, Informationsteknik - Datorvetenskap
National Category
Media and Communication Technology Other Health Sciences Computer Sciences
Research subject
Pervasive Mobile Computing; Health Science; Dependable Communication and Computation Systems; Centre - eHealth Innovation Centre (EIC)
Identifiers
urn:nbn:se:ltu:diva-22631 (URN)394deb46-c865-4a03-9457-90beee116fa2 (Local ID)394deb46-c865-4a03-9457-90beee116fa2 (Archive number)394deb46-c865-4a03-9457-90beee116fa2 (OAI)
Note

Godkänd; 2012; 20121030 (andboy)

Available from: 2016-09-29 Created: 2016-09-29 Last updated: 2019-03-20Bibliographically approved
Boytsov, A., Zaslavsky, A. & Abdallah, Z. (2012). Where have you been?: Using location clustering and context awareness to understand places of interest (ed.). In: (Ed.), Sergey Andreev; Yevgeni Koucheryavy ; Sergey Balandin (Ed.), Internet of things, smart spaces, and next generation networking: 12th international conference, NEW2AN 2012, and 5th Conference on Smart Spaces, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012 : proceedings. Paper presented at Conference on Smart Spaces : 27/08/2012 - 29/08/2012 (pp. 51-62). Heidelberg: Encyclopedia of Global Archaeology/Springer Verlag
Open this publication in new window or tab >>Where have you been?: Using location clustering and context awareness to understand places of interest
2012 (English)In: Internet of things, smart spaces, and next generation networking: 12th international conference, NEW2AN 2012, and 5th Conference on Smart Spaces, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012 : proceedings / [ed] Sergey Andreev; Yevgeni Koucheryavy ; Sergey Balandin, Heidelberg: Encyclopedia of Global Archaeology/Springer Verlag, 2012, p. 51-62Conference paper, Published paper (Refereed)
Abstract [en]

Mobile devices have access to multiple sources of location data, but at any particular time often only a fraction of the location information sources is available. Fusion of location information can provide reliable real-time location awareness on the mobile phone. In this paper we propose and evaluate a novel approach to detecting the places of interest based on density-based clustering. We address both extracting the information about relevant places from the combined location information, and detecting the visits to known places in the real time. In this paper we also propose and evaluate ContReMAR application - an application for mobile context and location awareness. We use Nokia MDC dataset to evaluate our findings, find the proper configuration of clustering algorithm and refine various aspects of place detection

Place, publisher, year, edition, pages
Heidelberg: Encyclopedia of Global Archaeology/Springer Verlag, 2012
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7469
National Category
Media and Communication Technology
Research subject
Mobile and Pervasive Computing
Identifiers
urn:nbn:se:ltu:diva-30968 (URN)10.1007/978-3-642-32686-8_5 (DOI)2-s2.0-84866108989 (Scopus ID)4ff37a51-3f7c-4c5f-b502-3a340b15e5ff (Local ID)9783642326868 (ISBN)4ff37a51-3f7c-4c5f-b502-3a340b15e5ff (Archive number)4ff37a51-3f7c-4c5f-b502-3a340b15e5ff (OAI)
Conference
Conference on Smart Spaces : 27/08/2012 - 29/08/2012
Note
Validerad; 2012; 20120926 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-07-10Bibliographically approved
Boytsov, A. (2011). Context reasoning, context prediction and proactive adaptation in pervasive computing systems (ed.). (Licentiate dissertation). Paper presented at . Luleå: Luleå tekniska universitet
Open this publication in new window or tab >>Context reasoning, context prediction and proactive adaptation in pervasive computing systems
2011 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

The paradigm of pervasive computing aims to integrate the computing technologies in a graceful and transparent manner, and make computing solutions available anywhere and at any time. Different aspects of pervasive computing, like smart homes, smart offices, social networks, micromarketing applications, PDAs, etc. are becoming a part of everyday life. Context of pervasive computing system is any piece of information that can be of possible interest to the system. Context often includes location, time, activity, surroundings, etc. One of the core features of pervasive computing systems is context awareness – the ability to use context information to the benefit of the system. The thesis proposes a set of context prediction and situation prediction methods on top of enhanced situation awareness mechanisms. Being aware of the future context enables a pervasive computing system to choose the most efficient strategies to achieve its stated objectives and therefore a timely response to the upcoming situation can be provided. This thesis focuses on the challenges of context prediction, but in order to become really efficient and useful, context prediction approaches need to be gracefully integrated with different other aspects of reasoning about the context. This thesis proposes a novel integrated approach for proactively working with context information. In order to become efficient, context prediction should be complemented with proper acting on predicted context, i.e. proactive adaptation. The majority of current approaches to proactive adaptation solves context prediction and proactive adaptation problems in sequence. This thesis identifies the shortcomings of that approach, and proposes an alternative solution based on reinforcement learning techniques. The concept of situation provides useful generalization of context data and allows eliciting the most important information from the context. The thesis proposes, justifies and evaluates improved situation modeling methods that allow covering broader range of real-life situations of interest and efficiently reason about situation relationships. The context model defines the pervasive computing system’s understanding of its internal and external environments, and determines the input for context prediction solutions. This thesis proposes novel methods for formal verification of context and situation models that can help to build more reliable and dependable pervasive computing systems and avoid the inconsistent context awareness, situation awareness and context prediction results. The architecture of pervasive computing system integrates all the aspects of context reasoning and governs the interaction and collaboration between different context processing mechanisms. This thesis proposes, justifies and evaluates the architectural support for context prediction methods. The novel architectural solutions allow encapsulating various practical issues and challenges of pervasive computing systems and handling them on low levels of context processing, therefore, supporting the efforts for efficient context prediction and proactive adaptation.

Place, publisher, year, edition, pages
Luleå: Luleå tekniska universitet, 2011. p. 170
Series
Licentiate thesis / Luleå University of Technology, ISSN 1402-1757
National Category
Media and Communication Technology
Research subject
Mobile and Pervasive Computing
Identifiers
urn:nbn:se:ltu:diva-17626 (URN)45ec5a57-0dae-46fd-94e9-9c5b6b793222 (Local ID)978-91-7439-261-6 (ISBN)45ec5a57-0dae-46fd-94e9-9c5b6b793222 (Archive number)45ec5a57-0dae-46fd-94e9-9c5b6b793222 (OAI)
Note
Godkänd; 2011; 20110506 (andboy); LICENTIATSEMINARIUM Ämnesområde: Medieteknik/Media Technology Examinator: Professor Arkady Zaslavsky, Institutionen för system och rymdteknik, Luleå tekniska universitet Diskutant: Professor Christian Becker, University of Mannheim, Germany Tid: Måndag den 13 juni 2011 kl 10.00 Plats: A109, Luleå tekniska universitetAvailable from: 2016-09-29 Created: 2016-09-29 Last updated: 2018-01-10Bibliographically approved
Boytsov, A. & Zaslavsky, A. (2011). ECSTRA: Distributed context reasoning framework for pervasive computing systems (ed.). In: (Ed.), Sergey Balandin; Yevgeni Koucheryavy; Honglin Hu (Ed.), Smart Spaces and Next Generation Wired/Wireless Networking: 11th International Conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011. Proceedings. Paper presented at Conference on Smart Spaces : 22/08/2011 - 25/08/2011 (pp. 1-13). : Springer Science+Business Media B.V.
Open this publication in new window or tab >>ECSTRA: Distributed context reasoning framework for pervasive computing systems
2011 (English)In: Smart Spaces and Next Generation Wired/Wireless Networking: 11th International Conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011. Proceedings / [ed] Sergey Balandin; Yevgeni Koucheryavy; Honglin Hu, Springer Science+Business Media B.V., 2011, p. 1-13Conference paper, Published paper (Refereed)
Abstract [en]

Pervasive computing solutions are now being integrated into everyday life. Pervasive computing systems are deployed in homes, offices, hospitals, universities. In this work we present ECSTRA – Enhanced Context Spaces Theory-based Reasoning Architecture. ECSTRA is a context awareness and situation awareness framework that aims to provide a comprehensive solution to reason about the context from the level of sensor data to the high level situation awareness. Also ECSTRA aims to fully take into account the massively multiagent distributed nature of pervasive computing systems. In this work we discuss the architectural features of ECSTRA, situation awareness approach and collaborative context reasoning. We also address the questions of multi-agent coordination and efficient sharing of reasoning information. ECSTRA enhancements related to those problems are discussed. Evaluation of proposed features is also discussed.

Place, publisher, year, edition, pages
Springer Science+Business Media B.V., 2011
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 6869
National Category
Media and Communication Technology
Research subject
Mobile and Pervasive Computing
Identifiers
urn:nbn:se:ltu:diva-34916 (URN)10.1007/978-3-642-22875-9_1 (DOI)2-s2.0-84887236043 (Scopus ID)9397e344-f56e-4511-b964-c3c96596e2e3 (Local ID)9397e344-f56e-4511-b964-c3c96596e2e3 (Archive number)9397e344-f56e-4511-b964-c3c96596e2e3 (OAI)
Conference
Conference on Smart Spaces : 22/08/2011 - 25/08/2011
Note
Validerad; 2011; 20111116 (ysko)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-07-10Bibliographically approved
Boytsov, A. & Zaslavsky, A. (2011). Formal Verification of the Context Model: Enhanced Context Spaces Theory Approach (ed.). Paper presented at .
Open this publication in new window or tab >>Formal Verification of the Context Model: Enhanced Context Spaces Theory Approach
2011 (English)Report (Other academic)
Abstract [en]

Pervasive computing is a paradigm that focuses on availability and non-intrusive integration of computing services into everyday life. Context awareness is the basic principle of pervasive computing. The important part of high-level context awareness is situation awareness – the ability to detect and reason about the real-life situations. The specifications of situations are often carried out manually by the experts. Therefore, the specification errors can be introduced. The specification errors cause the situation reasoning problems and context model inconsistency. In this article we propose and analyze the approach for formal verification of the situation definitions. Our solution uses as an input the situation specification in terms of low-level context features and the properties under verification, and then either formally proves that the specifications do comply with the expected property, or provide all possible counterexamples – the context conditions that will lead to situation awareness inconsistency. Evaluation and the complexity analysis of the proposed approach are also discussed.

Publisher
p. 41
Keywords
context awareness, situation awareness, cotnext spaces theory, situation algebra, verification, Information technology - Computer science, Informationsteknik - Datorvetenskap
National Category
Media and Communication Technology
Research subject
Mobile and Pervasive Computing
Identifiers
urn:nbn:se:ltu:diva-24164 (URN)9f161aca-0a5c-4cb8-95a7-b4427a3f4631 (Local ID)9f161aca-0a5c-4cb8-95a7-b4427a3f4631 (Archive number)9f161aca-0a5c-4cb8-95a7-b4427a3f4631 (OAI)
Note
Godkänd; 2011; 20110428 (andboy)Available from: 2016-09-29 Created: 2016-09-29 Last updated: 2018-06-11Bibliographically approved
Organisations

Search in DiVA

Show all publications