Hans Vangheluwe Software? Model Everything! Compl. Causes Dealing - PowerPoint PPT Presentation

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Software Intensive Systems: Dealing with Complexity Hans Vangheluwe

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Model, don’t code

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Dealing with Complexity

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Dealing with Complexity Model Everything . . . Explicitly

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Dealing with Complexity Model Everything . . . Explicitly for design (Engineering) and analysis (Science)

Software? Model Everything! Compl. Causes Dealing with Compl. MPM

Software? Model Everything! Compl. Causes Dealing with Compl. MPM 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 Bernard P . Zeigler. Multi-faceted Modelling and Discrete-Event Simulation . Academic Press, 1984.

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . Simulation . . . when too costly/dangerous analysis ↔ design

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . Simulation . . . real experiment not ethical “physical” simulation, training

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . Simulation . . . evaluate alternatives

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . Simulation . . . “Do it Right the First Time”

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . essence: “shooting” problems

Software? Model Everything! Compl. Causes Dealing with Compl. MPM 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)

Software? Model Everything! Compl. Causes Dealing with Compl. MPM 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

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . optimal solution. . . s

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . Modelling/Simulation . . . and code/app Synthesis

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . The spectrum of uses of models Documentation

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . The spectrum of uses of models Documentation Formal Verification of Properties (all models, all behaviours)

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . The spectrum of uses of models Documentation Formal Verification of Properties (all models, all behaviours) Model Checking of Properties (one model, all behaviours)

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . The spectrum of uses of models Documentation Formal Verification of Properties (all models, all behaviours) Model Checking of Properties (one model, all behaviours) Test Generation

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . The spectrum of uses of models Documentation Formal Verification of Properties (all models, all behaviours) Model Checking of Properties (one model, all behaviours) Test Generation Simulation (one model, one behaviour) . . . for calibration, optimization, . . .

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . The spectrum of uses of models Documentation Formal Verification of Properties (all models, all behaviours) Model Checking of Properties (one model, all behaviours) Test Generation Simulation (one model, one behaviour) . . . for calibration, optimization, . . . Application Synthesis (mostly for models of software)

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Requirements (“What?”) Detached or Semi-detached Style (classical, modern, . . . ) Number of Floors Number of rooms of different types (bedrooms, bathrooms, . . . ) Garage, Storage, . . . Cellar . . .

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Design (“How?”) Requirements (“What?”) Detached or Semi-detached Style (classical, modern, . . . ) Number of Floors Number of rooms of different types (bedrooms, bathrooms, . . . ) Garage, Storage, . . . Cellar . . .

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Design (“How?”) Requirements (“What?”) Detached or Semi-detached Style (classical, modern, . . . ) Number of Floors Number of rooms of different types (bedrooms, bathrooms, . . . ) Garage, Storage, . . . Cellar . . .

Software? Model Everything! Compl. Causes Dealing with Compl. MPM System Boundaries System to be built/studied Environment with which the system interacts

Software? Model Everything! Compl. Causes Dealing with Compl. MPM System vs. “Plant”

Software? Model Everything! Compl. Causes Dealing with Compl. MPM System vs. “Plant” www.mathworks.com/products/demos/simulink/PowerWindow/html/PowerWindow1.html

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Number of Components

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Crowds: diversity, interaction www.3dm3.com

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Diversity of Components: Power Window

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Non-compositional/Emergent Behaviour

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Emergent Behaviour

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Engineered Emergent Behaviour

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Uncertainty Often related to level of abstraction: for example continuous vs. discrete www.engr.utexas.edu/trafficSims/

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Question: is the deviation from the trend periodic?

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Answer: transform to make the solution obvious

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Guiding principle ( ∼ physics: principle of minimal action) 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

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Dealing with Complexity: some approaches

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Dealing with Complexity: some approaches multiple abstraction levels

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Dealing with Complexity: some approaches multiple abstraction levels optimal formalism

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Dealing with Complexity: some approaches multiple abstraction levels optimal formalism multiple formalisms

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Dealing with Complexity: some approaches multiple abstraction levels optimal formalism multiple formalisms multiple views