Multidisciplinary Modelling: Current status and expectations in the Dutch TWINS consortium

{F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers }@tue.nlICSSEA’08Ecole Nationale Supérieure des Télécommunications Paris, France, December 9, 2008

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 2

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

9 Dec. 2008

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 3

ITEA TWINS Project Goals

• TWINS: Optimizing HW-SW Co-Design Flow for Software Intensive System Development

9 Dec. 2008

multidisciplinary modelling

• Communication • Consistency• MDA/MBD/MDTE• Understand physics• Control synthesis• Verify models• …

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 4

Partners

9 Dec. 2008

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 5

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

9 Dec. 2008

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 6

Current industrial practices

• Design phase• Product Development• System Design• Decomposition

• Integration phase• System verification

phase• Observation• Simulation• Formal verification

9 Dec. 2008

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 7

Design Phase – Product Development

9 Dec. 2008

V-model

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 8

Design Phase – Product Development

9 Dec. 2008

CAFCR

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 9

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

9 Dec. 2008

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 10

Design Phase –System Design

Purpose:• Communication for

stakeholders/engineers• Project management• Risk reduction• System correctness

Requirement types:• Functional• Non-Functional

9 Dec. 2008

Design Phase – System Design Decomposition

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

SystemRequirements

MechanicalBehaviour

Design

StaticPhysicalDesign

ElectrotechnicalDesign

SoftwareDesign

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 12

Design Phase – System Design Decomposition – System Requirements

9 Dec. 2008

Problem Frames

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 13

Design Phase – System Design Decomposition – Mechanical Behaviour Designs

9 Dec. 2008

CHICB/DE

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 14

Design Phase – System Design Decomposition – Software Designs

9 Dec. 2008

UML

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 15

Design Phase – System Design Decomposition – Static Physical Designs

9 Dec. 2008

CAD

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 16

Design Phase – System Design Decomposition – Electrotechnical Designs

9 Dec. 2008

PCBTools

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 17

Integration phase –Problems

9 Dec. 2008

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 18

Integration phase –Current approaches

9 Dec. 2008

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 19

System verification phase

• System design level• Integration level• Realisation level

9 Dec. 2008

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 20

Technical Contribution

9 Dec. 2008

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 21

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

9 Dec. 2008

 Partner 1   Partner 2   Partner 3   Partner 4   Partner 5   Partner 6 

Test Environment ✓ ✓

Verification ✓

Visualisation ✓ ✓ ✓ ✓

HILS/SILS ✓ ✓ ✓ ✓

MDD ✓ ✓

MDDL ✓

ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 22

Questions

9 Dec. 2008