Making your products more Reliable, Safe and Secure

Moving towards Context Aware Verification (CAV)

Verifying adaptive behaviour is a critical challenge in the development of context-aware systems due to their complexity and uncertainty. This article from Any Silicon describes the model-based approach that provides a modelling framework to specify the structural and behavioural aspects of a context-aware system.

Read More

2nd March, 2017|Blog, Thought Leadership|