[Analysis] Observers - design and implementation
Observer observes a component: it takes input and output ports of the observed component and outputs a boolean value. This value should always be false.
Use observers to specify the properties for a component. These observers are supposed to act as a contract and then used for compositional verification.
Tasks:
- Conceptualisation: This will impact simulation and code generation. Figure out a way how to model this.
- UI
- integration in FV flow
(from redmine: issue id 3017, created on 2017-08-04, closed on 2019-05-29)
- Relations:
- parent #3022 (closed)