Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation to tackle Complexity Hans Vangheluwe
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation 1 Modelling and Simulation for . . . The Modelling Relationship Causes of Complexity 2 Large Number of Components Components in Different Formalisms Non-compositional/Emergent Behaviour Uncertainty Dealing with Complexity 3 Multiple Abstraction Levels Optimal Formalism Multi-Formalism Multiple Views/Aspects Multi-Paradigm Modelling 4
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation for . . . Simulation . . . when too costly/dangerous analysis ↔ design
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation for . . . Simulation . . . real experiment not ethical training, physical simulation
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation for . . . Simulation . . . evaluate alternatives
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation for . . . Simulation . . . “Do it Right the First Time”
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation for . . . “shooting” problems
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation for . . . defining a “hit” 20 15 Height (m) 10 5 θ origin (0, 2) target (30, 1) 0 0 5 10 15 20 25 30 Distance (m)
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation for . . . optimizing a “performance metric” 30 25 20 15 10 5 0 0 10 20 30 40 50 60 70 80 90
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation for . . . optimal solution. . . s
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation for . . . Modelling/Simulation . . . and code/app Synthesis
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Modelling and Simulation for . . . The spectrum of uses of models Documentation Formal Verification (all models, all behaviours) Model Checking (one model, all behaviours) Simulation (one model, one behaviour) Synthesis
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling The Modelling Relationship REALITY MODEL GOALS Real-World Base entity Model only study behaviour in experimental context within context Model Base System S Model M a-priori knowledge experiment simulate within context = virtual experiment validation Experiment Simulation Results Modelling and Simulation Observed Data Process
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling The Modelling Relationship System Frame Output Frame Input (real or model) Variables Variables Experimental Frame generator acceptor transducer set of all “contexts” in which model is valid includes experiment descriptions: parameters, initial conditions ∼ re-use, testing
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling The Modelling Relationship thanks to Pieter Mosterman
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling The Modelling Relationship
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Dealing with Complexity
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Large Number of Components Crowds www.3dm3.com
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Large Number of Components Number of Components – hierarchical (de-)composition
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Components in Different Formalisms Diversity of Components: Paper Mill www.gov.karelia.ru
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Components in Different Formalisms Paper Mill Model PaperPulp mill Waste Water Treatment Plant System of WWTP and Stormwater tanks (DEVS) M,S M,S M,S WWTP (DESS) M,S Aeration Sedimentation Switch Mixing Q Effluent Influent Activated sludge unit M,S (DESS) Clarifier (DESS) Q Recycle (return) flow Output function M,S M,S M,S M,S Input function Stormwater tank 1 Input/Output function Stormwater tank 2 overflow fish EDRF + GE X X CFF GF CFA X + RRA algae Fish Farm
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Components in Different Formalisms Multiple Formalisms: Power Window
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Non-compositional/Emergent Behaviour Non-compositional/Emergent Behaviour
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Non-compositional/Emergent Behaviour Engineered Emergent Behaviour
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Uncertainty Often related to level of abstraction: for example continuous vs. discrete www.engr.utexas.edu/trafficSims/ uncertainty � = imprecise � = not rigorous
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Guiding principle minimize accidental complexity , only essential complexity remains Fred P . Brooks. No Silver Bullet – Essence and Accident in Software Engineering. Proceedings of the IFIP Tenth World Computing Conference, pp. 1069–1076, 1986. http://www.lips.utexas.edu/ee382c-15005/Readings/Readings1/05-Broo87.pdf
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling No Free Lunch! Solutions often introduce their own accidental complexity multiple abstraction levels (need morphism ) optimal formalism (need precise meaning ) multiple formalisms (need relationship ) multiple views (need consistency )
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Multiple Abstraction Levels Different Abstraction Levels – properties preserved
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Multiple Abstraction Levels Levels of Abstraction/Views: Morphism model M_t M_d abstraction simulation trajectory traj_t traj_d detailed abstract (technical) level (decision) level
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Multiple Abstraction Levels Abstraction Relationship foundation : the information contained in a model M . Different questions (properties) P = I ( M ) which can be asked concerning the model. These questions either result in true or false. Abstraction and its opposite, refinement are relative to a non-empty set of questions (properties) P . If M 1 is an abstraction of M 2 with respect to P , for all p ∈ P : M 1 | = p ⇒ M 2 | = p . This is written M 1 ⊒ P M 2 . M 1 is said to be a refinement of M 2 iff M 1 is an abstraction of M 2 . This is written M 1 ⊑ P M 2 .
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Optimal Formalism Most Appropriate Formalism
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Multi-Formalism Components in Different Formalisms www.mathworks.com/products/demos/simulink/PowerWindow/html/PowerWindow1.html
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Multi-Formalism Controller, using Statechart(StateFlow) formalism
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Multi-Formalism Mechanics subsystem
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Multiple Views/Aspects Multiple (consistent !) Views (in � = Formalisms) (work by Esther Guerra and Juan de Lara)
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Multiple Views/Aspects View: Runtime Diagram
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Multiple Views/Aspects View: Events Diagram
Modelling and Simulation Causes of Complexity Dealing with Complexity Multi-Paradigm Modelling Multiple Views/Aspects View: Protocol Statechart
Recommend
More recommend
