Project

General

Profile

Feature #3017

Feature #3022: Analysis Collection issue

[Analysis] Observers - design and implementation

Added by Anonymous about 3 years ago. Updated over 1 year ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Target version:
Start date:
08/04/2017
Due date:
% Done:

0%

Estimated time:

Description

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:
1) Conceptualisation: This will impact simulation and code generation. Figure out a way how to model this.
2) UI
3) integration in FV flow

History

#1 Updated by Anonymous about 3 years ago

  • Parent task set to #3022

#2 Updated by Anonymous over 2 years ago

  • Target version set to AF3 2.14 RC1 (Feature Freeze)

#3 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to Backlog

#4 Updated by Anonymous over 1 year ago

  • Assignee changed from Anonymous to Johannes Eder

It was a feature we thought of implemented about 2 years back. I do not think that there is plan to implement it. Please reject.

#5 Updated by Johannes Eder over 1 year ago

  • Status changed from New to Rejected
  • Assignee deleted (Johannes Eder)

Also available in: Atom PDF