System Engineering techniques used to formally assess some properties of Context Aware systems

What is it about?

The emergence of Context-aware systems in the domains of autonomic, monitoring, and safety-critical applications asks for the definition of methods to formally assess their correctness and dependability properties. Many of these properties are common to Automatic Control systems, a field that developed well established analysis and design techniques to formalize and investigate them. In this paper, we use Boolean Control Networks, to discuss some properties of a feedback Context-aware system in a case study based on a healthcare management example.

Featured Image

Why is it important?

Usage of Feedback Context Aware systems in the domain of safety-criticaL applications require a very high confidence in the assessment of their dependability properties. Such level of confidence cannot be assured by standard debugging methods, but it must be assured by means of formal definition/verification techniques.