Abstract:There is a lot of confusion and ambiguity regarding the quantification of the Quality of Service (QoS) of a system, especially for cyber-physical systems (CPS) involved in automating or controlling the operations in built environments and critical urban infrastructures, such as office buildings, factories, transportation systems, smart cities, etc. In these cases, the QoS, as experienced by human users, depends on the context in which they (i.e., humans) interact with these systems. Traditionally, the QoS of a CPS has been defined in terms of absolute metrics. Such measures are unable to take into account the variations in performance due to contextual factors arising out of different kinds of human interactions. Further, the QoS of a CPS has typically been evaluated by comparing the performance of the actual, fully realized system with the given QoS constraints only after the actual system has been completely developed. In the case of faults in the design exposed by observed deviations from the QoS constraints due to unpredicted variations in the contextual factors, the system needs to be re-designed and re-developed from scratch. Due to the above-mentioned reason, the validation approach associated with the traditional QoS makes the design of CPS systems prohibitively expensive, impractical, as well as infeasible in numerous application areas, such as civil and engineering works, since it may not be possible to modify the system once developed beyond a certain extent. To that end, we propose a context-aware definition of QoS of a CPS which facilitates the design of robust systems as elaborated below. In this paper, we define QoS as a function of contextual factors. A CPS designed according to our QoS specifications would always satisfy the QoS irrespective of any possible changes in contextual factors resulting from many different human interactions that may occur during operation of the system. We also present QACDes - a novel framework that provides a formal mechanism for validating the design of a CPS with respect to the specified QoS constraints at the design phase as well as after the realization of the actual system. QACDes can validate any given CPS, irrespective of its application domain, against a QoS guarantee: (A) as early as even before the design phase by comparing the proposed model with a baseline model, or (B) after the realization of the actual system based on logs collected from running the actual system. We consider a lighting control system that manages the light switches - switching it on/off depending on contextual factors, such as the presence of occupants and time of the day. Using the lighting control system in a building as a use case, we analyze and demonstrate the effectiveness of our QoS definition as well as the QACDes framework against the performance metric measured in an actual fully-realized CPS.

QACA: Quality Assured Context Acquisition in Context-Aware Computing

Assessing Data Quality Within Available Context

Quantifying Accuracy Dimension within Available Context

A Context Quality Model to Support Transparent Reasoning with Uncertain Context

An efficient context modeling and reasoning system in pervasive environment: using absolute and relative context filtering technology

A Context Quality Model for Ubiquitous Applications

A Quality-Aware Context Middleware Specification for Context-Aware Computing

A Context Quality Management Infrastructure for Complex Ubiquitous Environment.

Quality Parameters as Modeling Language Abstractions for Context-Aware Applications: An AAL Case Study

Managing Quality of Context in Pervasive Computing

A RDF-Based Context Filtering System in Pervasive Environment

Modeling Contexts In Collaborative Environment: A New Approach

A new context correctness measure CMoC and corresponding context inconsistency elimination algorithm

A New Approach for Quality Management in Pervasive Computing Environments

Desiderata for the Context Use of Question Answering Systems

A Context Model for Collaborative Environment

A novel context inconsistency elimination algorithm based on the optimized Dempster-Shafer evidence theory for context-awareness systems

QACDes: QoS-aware context-sensitive design of cyber-physical systems

Context query and association discovery for collaborative environment

A Context-Source Abstraction Layer for Context-aware Middleware

Partial Constraint Checking for Context Consistency in Pervasive Computing