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 (though code is a model too)

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

Software? Model Everything! Compl. Causes Dealing with Compl. MPM beware of leaky abstractions

Software? Model Everything! Compl. Causes Dealing with Compl. MPM “All non-trivial abstractions, to some degree, are leaky.” (Joel Spolsky) https://www.joelonsoftware.com/articles/LeakyAbstractions.html

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 Mercedes S Class: >100 ECUs, >20 million LOC

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

Software? Model Everything! Compl. Causes Dealing with Compl. MPM VW Phaeton: wiring harness length > 2km, copper weight > 30kg

Software? Model Everything! Compl. Causes Dealing with Compl. MPM http://blog.nxp.com/the-wiring-harness-the-smart-communication-network-in-every-car/

Software? Model Everything! Compl. Causes Dealing with Compl. MPM http://blog.nxp.com/the-wiring-harness-the-smart-communication-network-in-every-car/

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, Communication

Software? Model Everything! Compl. Causes Dealing with Compl. MPM Modelling and Simulation for . . . The spectrum of uses of models Documentation, Communication 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, Communication 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, Communication 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, Communication 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, Communication 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 (software, FPGA, 3D printing, production line control, . . . )

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 . . . Requirements (“What?”): Feature Model of a Product Family

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” “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?