Definition: Evaluation
Definition: Validation
Validation is the process of checking wether or not a certain (possibly partial) design is appropriate for its purpose, meet all constraints and will perform as expected (yes/no decision)
Give criteria for evaluation
What is the solution space and what is the objective space?
Pareto points: when does a solution dominate?
A vector u dominates a vector v if u is “better” than v with respect to one objective and not worse than v with respect to all other objectives
Pareto points: When is a solution indifferent?
A vector u is indifferent in respect to v if neither u dominates v nor v dominates u.
Pareto-optimal?
If x is a solution and there is no other solution that dominates x, then x is a Pareto-point and the solution pareto-optimal.
x is also pareto-optimal if it is non-dominated with respect to all solutions
Pareto-Set, Pareto-Front?
- Pareto-sets define a Pareto-Front (boundry of dominated sub-space)
What is Design Space Evaluation?
(DSE) based on Pareto-points is the process of finding and returning a set of Pareto-optimal designs to the user, enabling the user to select the most appropriate design
Execution time, what objectives must be checked?
In generals WCETest are unable to determine for sure, especially for modern complex systems. What tools exist to get WCETest?
Realtime calculus / MPA (modular performance analysis): Arrival Curves opposed to Service curves
(V.5 p. 28ff)
Realtime calculus / MPA: work load characterization?
Realtime calculus (RTC) in Modular Performance Analysis: Remarks?
Pros of Modular Performance Analysis for timing analysis?
Average vs. Worst-Case Energy Consumption
Energy-consumption predictability?
Instruction-dependent costs in the CPU?
What is the hamming distance?
Terms: failure, error, fault?
Define the Reliability R(t) and Failure F(t)
F(t) + R(t) = 1
Define Failure rate
The failure rate is the probability of the system failing between time t and t+dt
(probability at a certain time interval)
What is FIT?
What can make a system more reliable than its components?
Redundancy