TM 2008 IBM Corporation
CONTENTS Model-driven systems engineering (MDSE) SysML TM MARTE TM Eclipse TM 2
CONTENTS Model-driven systems engineering (MDSE) SysML TM MARTE TM Eclipse TM 3
Software Electronics Mechanics SW ECU LS460 ECU http://www-03.ibm.com/solutions/plm/doc/content/bin/g510_3987_embedded_systems_overhaul.pdf?g_type=rhc 4 2007 IBM Corporation
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 70 90 105+ mid-range 18 26 45 low-end 6 10 14 1998 2001 2005 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 1990 2000 2010 New System Architectures Required New Competencies & Approaches Required Doing Nothing is Not Affordable 5 2007 IBM Corporation
Global Automotive Industry ( ) OEM (AUTOSAR etc.) 6 2007 IBM Corporation
CONTENTS Model-driven systems engineering (MDSE) SysML TM MARTE TM Eclipse TM 7
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 MDSE MDSE 1 2 3 4 5 SW HW MDSE eslm
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 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 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 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
CONTENTS Model-driven systems engineering (MDSE) SysML TM Marte TM Eclipse TM 14
SysML TM SysML TM Block definition diagram State machine diagram Requirement diagram Parametric diagram 15
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
CONTENTS Model-driven systems engineering (MDSE) SysML TM Marte TM Eclipse TM 17
ECU SysML TM /UML TM Simulation 18
SysML TM ECU SysML TM UML TM 19
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 INPUT OUTPUT HW INPUT OUTPUT ACT1 ACT2 SENS1 SENS2 21 Copyright 2007 IBM Corporation
CONTENTS Model-driven systems engineering (MDSE) SysML TM Marte TM Eclipse TM 22 Copyright 2007 IBM Corporation
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
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
CONTENTS Model-driven systems engineering (MDSE) SysML TM Marte TM Eclipse TM 25
IBM Research SysML TM SysML TM Simulink TM ) 26
CONTENTS Model-driven systems engineering (MDSE) SysML TM Marte TM Eclipse TM 27
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
CONTENTS Model-driven systems engineering (MDSE) SysML TM Marte TM Eclipse TM 29
Model-Driven Systems Engineering (MDSE) SysML TM MARTE TM 30