CHAM, FSP,UML
WRIGHT,...
Dynamic descriptions,
FSM,MSCs,...
Favorite model
QNM,SPN,SPA...
SA
Description
Behavioral Model
Algorithm
Performance Model
Performance Evaluation
Results and
interpretation
feedback
Solution method:
symbolic, approximation,
simulation...
| Previous slide | Next slide | Back to first slide | View graphic version |