Multidisciplinary Modelling: Current status and expectations in the Dutch TWINS consortium { F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers ICSSEA’08 Ecole Nationale Supérieure des Télécommunications Paris, France, December 9, 2008

Motivation Growing number of SW-HW embedded machines Many disciplines, mono-disciplinary focus Shorter time to market, growing complexity, increasing product quality Problematic integration trajectory ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 29 Dec. 2008

ITEA TWINS Project Goals TWINStWi nSTWINS: Optimizing HW-SW Co-Design Flow for Software Intensive System Development ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 39 Dec Communication Communication Consistency Consistency MDA/MBD/MDTE MDA/MBD/MDTE Understand physics Understand physics Control synthesis Control synthesis Verify models Verify models … …

Partners ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 49 Dec. 2008

Approach for investigation topics Obtained by: Project requirement analysis Use case analysis Plenary meetings 5 topics: Testing Verification Simulation Model Driven development Multi-disciplinary development language ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 59 Dec. 2008

Current industrial practices Design phase Product Development System Design Decomposition Integration phase System verification phase Observation Simulation Formal verification ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 69 Dec. 2008

Design Phase – Product Development ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 79 Dec. 2008

Design Phase – Product Development ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 89 Dec. 2008

Design Phase – Product Development V-model extensions Contribution to harmonization between disciplines Accessible, understandable, readable Manage track-and-trace development Hard to remove inconsistency Difficult to trace the precise progress ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 99 Dec. 2008

Design Phase – System Design Purpose: Communication for stakeholders/engineers Project management Risk reduction System correctness Requirement types: Functional Non-Functional ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 109 Dec. 2008

Design Phase – System Design Decomposition ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers11 9 Dec SystemRequirements MechanicalBehaviourDesign StaticPhysicalDesignElectrotechnicalDesign SoftwareDesign

Design Phase – System Design Decomposition – System Requirements ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 129 Dec. 2008

Design Phase – System Design Decomposition – Mechanical Behaviour Designs ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 139 Dec. 2008

Design Phase – System Design Decomposition – Software Designs ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 149 Dec. 2008

Design Phase – System Design Decomposition – Static Physical Designs ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 159 Dec. 2008

Design Phase – System Design Decomposition – Electrotechnical Designs ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 169 Dec. 2008

Integration phase – Problems ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 179 Dec. 2008

Integration phase – Current approaches ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 189 Dec. 2008

System verification phase System design level Integration level Realisation level ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 199 Dec. 2008

Technical Contribution ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 209 Dec. 2008

Results Tools depend on industrial field Tools have mono-disciplinary focus Tools are vendor locked Models used are non-formal Multi-disciplinary model can reduce test time Cohesion between partners methods ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 219 Dec. 2008

Questions ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 229 Dec. 2008