Feature #3022: Analysis Collection issue
[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.
1) Conceptualisation: This will impact simulation and code generation. Figure out a way how to model this.
3) integration in FV flow