This work is licensed under Creative Commons Attribution- this work is licensed under Creative Commons Attribution

Restricting the reality is not a model defect; this allows :

• to remove useless details for comprehension
• to focus on main points

Several models of the same system are necessary for its understanding.

• Several models of the same system are necessary for its understanding.

• Different model kind:

• Semantic model (static aspect, data structure, …)
• Functional model (transformation, processing of inputs)
• Dynamic model (functions control and linking, state/transition, events)
• Temporal model (function execution and decision making within time)
• Physical model (components and physical connexions)
• Complementary models :
• Performances (mock-up)
• Human-System interfaces
• Dependability ...
•