CONTENTS Model-driven systems engineering (MDSE) SysML TM MARTE TM Eclipse TM 2

Size: px

Start display at page:

Download "CONTENTS Model-driven systems engineering (MDSE) SysML TM MARTE TM Eclipse TM 2"

ゆきさほうねん
5 years ago
Views:

1 TM 2008 IBM Corporation

2 CONTENTS Model-driven systems engineering (MDSE) SysML TM MARTE TM Eclipse TM 2

3 CONTENTS Model-driven systems engineering (MDSE) SysML TM MARTE TM Eclipse TM 3

4 Software Electronics Mechanics SW ECU LS460 ECU IBM Corporation

5 Global Automotive Industry This industry is reaching a critical state in several areas which is driving the imperative for change Complexity of Product The number of electronics controls units continues to grow new functions are continuously added Number of Electronic Control Units luxury mid-range low-end Embedded Skills Needed Lines of code are growing in near triple digits while skilled resources are growing in single digits Quality/Warrant Costs Currently 30% of warranty issues are associated with Electronics and Software (around 10 B$ per year) Plus costs of: Recalls Liability Brand Damage Number of Functions Potential to grow exponentially with code growth New System Architectures Required New Competencies & Approaches Required Doing Nothing is Not Affordable IBM Corporation

6 Global Automotive Industry ( ) OEM (AUTOSAR etc.) IBM Corporation

7 CONTENTS Model-driven systems engineering (MDSE) SysML TM MARTE TM Eclipse TM 7

8 8 IBM Research Model-Driven Systems Engineering (MDSE) MDSE tools IBM SW (Whole vehicle simulation) mcad ecad SW IBM MDSE methods & tools MDSE methods mcad ecad SW BPM MDSE tools mcad ecad SW PDIF 2007 IBM Corporation

9 9 MDSE MDSE SW HW MDSE eslm

10 MDSE Stake holders marketing Suppliers Designers Manuf quality Req ts (original) Add text drawing table Req ts (sufficient) text drawing Table based req t analysis Structure / Context / Usecase Behavior / state transition Constraints SysML/ Marte / Simulink integrated systems modeling + model analysis and verification Block Decomposition (logical arch) Subsys#1 operations properties system operations properties Subsys#2 operations properties State / activity / Seq ce State 1 State 2 State 3 State 4 Internal blk / parametric a b subsys system subsys comp comp comp comp decomposition State 1 State 2 State 1 State 2 State 1 State 2 State 3 State 4 State 3 State 4 State 3 State 4 Decomposition / plant models table c d<a+b+c d Simulink Simulink Simulink 10 Feedback to fulfill requirements based on analysis

View Rational Modeling Tool (RSx) Table / Matrix based model edit / analysis / verification Enable to see preferable model properties and edit them with table view

Custom viewer and analyzer can be added through extension point.

11 View Rational Modeling Tool (RSx) Table / Matrix based model edit / analysis / verification Enable to see preferable model properties and edit them with table view according to query configuration model. Enable to check model statistics (e.g. the number of ports and interfaces and dependencies) according to analysis definition models. Custom viewer and analyzer can be added through extension point. Model Table Editor/Viewer Model Matrix Table Editor/Viewer Common I/F Common I/F Extension Point Analysis Definition model Model Analyzer Analysis model and control view. Query Configuration model EMF Query Processor Query model elements. EMF model (UML, SysML, AUTOSAR) 11

SysML TM Marte TM Simulink TM SysML TM Marte TM TPTP-based test driver Time-aware UML execution engine Simulink Timed test cases Timed discrete behavior Continuous behavior Execution Trace Analyzer

12 SysML TM Marte TM Simulink TM SysML TM Marte TM TPTP-based test driver Time-aware UML execution engine Simulink Timed test cases Timed discrete behavior Continuous behavior Execution Trace Analyzer Virtual time scheduler Block2 Integer b = 1 Eval > 80 eval Parametric constraints (OMG SysML) Integer eval eval eval = f(bb, cc) bb cc Block3 Integer c = 2 Parametric constraint evaluator Binary tree for fast eval. <x,y,z> Time constraints {a,b,c} {d,e,(f g}} {h,i} (OMG MARTE profile) p q p q {j,k} l m {n,o} Time constraint evaluator Test result with Performance metrics Test results: Expected parameter values Metrics: Throughput Response time Resource utilization 12

Autosar TM Autosar TM Atomic SW Component ECU Traceable Map to physical ECU / network configurations MDSE requirement modeling Autosar system / ECU configurations Stake holders marketing Suppliers

13 Autosar TM Autosar TM Atomic SW Component ECU Traceable Map to physical ECU / network configurations MDSE requirement modeling Autosar system / ECU configurations Stake holders marketing Suppliers Designers Manuf quality Req ts (original) text drawing table Add Req ts (sufficient) text drawing Table based req t analysis Structure / Usecase Behavior / state transition Constraints SysML/ Marte / Simulink integrated systems modeling + model analysis and verification Block Decomposition (logical arch) Subsys#1 operations properties system operations properties Subsys#2 operations properties State / activity / Seq ce State 1 State 2 State 3 State 4 Internal blk / parametric a b subsys system subsys comp comp comp comp decomposition State 1 State 2 State 1 State 2 State 1 State 2 State 3 State 4 State 3 State 4 State 3 State 4 Decomposition / plant models table c d<a+b+c d Simulink Simulink Simulink Feedback to fulfill requirements based on analysis Re-verify constraints after physical mapping 13

14 CONTENTS Model-driven systems engineering (MDSE) SysML TM Marte TM Eclipse TM 14

15 SysML TM SysML TM Block definition diagram State machine diagram Requirement diagram Parametric diagram 15

16 MARTE TM Timed MARTE TM {hostdemand=(1.0,s)} {hostdemand=(1.0,s)} {hostdemand=(4.0,s)} {hostdemand=(2.0,s)} {hostdemand =(1.0,s)} {periodic {period = (5,ms)} } 16

17 CONTENTS Model-driven systems engineering (MDSE) SysML TM Marte TM Eclipse TM 17

18 ECU SysML TM /UML TM Simulation 18

19 SysML TM ECU SysML TM UML TM 19

20 IBM Japan IBM IBM SW CATIA TM CADENCE TM Rational 20 Copyright IBM Corporation 2007

I/O ECU I/O Autosar TM I/O INPUT OUTPUT SW-C Middle / IO Srv I/O INPUT OUTPUT RTOS

23 Requirement1 Requirement2 <<satisfy>> Block Block2 Integer b = 1 Constraint Block1 Block3 aa < bb + cc Integer a = 10 Integer c = 2 Parametric Diagram Integer a = 10 Block2 Integer b = 1 bb aa aa < bb + cc cc Block3 Integer c = 2 23

24 Requirement1 <<satisfy>> Requirement2 View1 Constraint Block Block1 aa < bb + cc Integer a = 10 View2 Parametric Diagram Block2 Integer b = 1 Block3 Integer c = 2 Block2 Integer b = 1 Block2 Integer b = 1 bb bb > 0 Block1 Integer a = 10 Parametric Diagram Block2 Integer b = 1 bb Block3 Integer c = 2 Integer a = 10 aa aa < bb + cc cc Block3 Integer c = 2 24

25 CONTENTS Model-driven systems engineering (MDSE) SysML TM Marte TM Eclipse TM 25

26 IBM Research SysML TM SysML TM Simulink TM ) 26

27 CONTENTS Model-driven systems engineering (MDSE) SysML TM Marte TM Eclipse TM 27

28 Open Tool Framework (OTF) Eclipse TM Autosar TM RMC toolset ReqPro Doors MDSE toolset Plug-in IBM Rational platform Plug-in Simulators Jazz CQ OTF SW RPM MDSE server Model storage (CC / DB2 etc.) ebom mbom Supplier 28

29 CONTENTS Model-driven systems engineering (MDSE) SysML TM Marte TM Eclipse TM 29

30 Model-Driven Systems Engineering (MDSE) SysML TM MARTE TM 30

SysML SysML Requirement Diagram Block Definition Diagram Internal Block Diagram Parametric Diagram Activity Diagram Package Diagram Use Case Diagram S

SysML SysML SysML Requirement Diagram Block Definition Diagram Internal Block Diagram Parametric Diagram Activity Diagram Package Diagram Use Case Diagram Sequence Diagram State Machine Diagram SysML SysML