_____________________________________________________________________
SUMMARY
Control system paradigms, based on Internet of Things technology, are an essential part of modern software systems. In the FReSCo project, a model will be developed for future resilient control systems capable of measuring a wide set of observables, including inexact ones derived from the environment. Because of the differences in the resources, protocols, and devices, inexact observables are incomparable with rigorous control system data. Hence, it is not easy to build systems which can incorporate such data. It is therefore necessary to derive a method for identifying and representing relevant context, as well as proposing a method which will describe the relation between the raw observables and the data.
_____________________________________________________________________
SOLUTIONS
- Investigating the use of formal methods to solve the problem
- Providing reusable solutions improving the development of industrial processes for future resilient control systems.
_____________________________________________________________________
LINK:http://monet.uef.fi/wiki/FResCo
_____________________________________________________________________
