Multidisciplinary Modelling : Current status and expectations in the Dutch TWINS consortium
description
Transcript of Multidisciplinary Modelling : Current status and expectations in the Dutch TWINS consortium
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