General

Profile

Simon Barner

Issues

Projects

Activity

07/27/2020

09:17 AM AF3 Phoenix Feature #4047: Reconfiguration synthesis related parameters for platform architecture
RUL is already part of #4050

07/24/2020

06:37 PM AF3 Phoenix Feature #4050 (New): Reconfiguration: Prediction metamodel
Failure probabilities: pred: ExT -> [0;1]
* T = {1, ...n} is a finite discrete set of time steps
* Used to compute ...
06:22 PM AF3 Phoenix Feature #4049 (New): Model for feature degradation
Model element(s) to express degradations: F -> F \cup {}
Implementation alternatives
* allocation Functional Arch...
06:17 PM AF3 Phoenix Feature #4045 (In Progress): Function Architecture
Plugin has been setup and pushed to "rise" repository
TODO: Testing

07/23/2020

03:02 PM AutoFOCUS 3 Wiki edit: Adding_a_new_plugin (#33)

07/22/2020

01:31 PM AF3 Phoenix Feature #4040: CPU load constraint.
Underlying _load_ annotation to be implemented in #4047.
Semantics for constraint formalization:
* _load_ = Maxim...
01:29 PM AF3 Phoenix Feature #4047 (New): Reconfiguration synthesis related parameters for platform architecture
To be implemented as annotation in org.fortiss.af3.platform
* load: ExecutionUnit -> [0;1] (represents the _timeBu...
12:40 PM AF3 Phoenix Feature #4046 (New): Reconfiguration synthesis related parameters for functional architecture
Parameters to implemented in @org.fortiss.af3.reconfiguration@ (rationale: the parameters are not needed for all FAs,...
12:33 PM AF3 Phoenix Feature #4045 (In Progress): Function Architecture
Goal: Create minimal _Functional Architecture_ as dedicated viewpoint
* Definitions of functions
-* Decomposition...

07/01/2020

01:29 PM AF3 Phoenix Change Request #4041 (New): Hardware optimization pattern: only list meaningful attributes
The current list of HW optimization attributes is shown below.
I have crossed out those that are not meaning full ...

Also available in: Atom