model-based development for vehicular embedded systems
TRANSCRIPT
![Page 1: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/1.jpg)
Model-based Development for Vehicular Embedded SystemsAlessio Bucaioni
13-10-2016
STEW 2016
Arcticus Systems
![Page 2: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/2.jpg)
2
OUTLINE
• MESS RESEARCH GROUP• BACKGROUND• PROBLEM FORMULATION• PROPOSED SOLUTION• UNIQUENESS• RUNNIN EXAMPLE• ACCADEMIA-INDUSTRY TRANSFER
![Page 3: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/3.jpg)
3
MODEL-BASED ENGINEERING OF EMBEDDED SYSTEMS RESEARCH GROUP
16 research projects
15 members
Born in 2011 as a spin-off from the ”Real-Time System Design” group
2 main research areas
![Page 4: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/4.jpg)
4
0
5
10
15
20
25
30
35
2011 2012 2013 2014 2015 2016
Nu
mbe
r of
pu
blic
atio
ns
Years
Conference Paper
Doctoral Thesis
Licentiate Thesis
Book Chapter
Journal Article
MODEL-BASED ENGINEERING OF EMBEDDED SYSTEMS RESEARCH GROUP
![Page 5: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/5.jpg)
5
Arcticus Systems
MODEL-BASED ENGINEERING OF EMBEDDED SYSTEMS RESEARCH GROUP
![Page 6: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/6.jpg)
6
BACKGROUND – VEHICULAR EMBEDDED SYSTEMS
PARENTALCONTROL
WINDSHIELDWIPER
CONTROL
ENGINECONTROL
AIRBAGDEPLOYMENT
ADAPTIVE FRONTLIGHTING
ADAPTIVE CRUISECONTROL
AUTOMATICBRAKING
ELECTRIC POWER STEERING
ELECTRONICTHROTTLECONTROL
ELECTRONIC VALVE TIMING
IDLE STOP/START
CYLINDERDE-ACTIVATION
ACTIVEVIBRATIONCONTROL
OBDII
REMOTE KEYLESSENTRY
BLINDSPOTDETECTION
LANEDEPARTUREWARNING
TRANSMISSION CONTROL
SEAT POSITIONCONTROL
ACTIVE YAWCONTROL
PARKINGSYSTEM
ELECTRONICSTABILITY
CONTROL
ANTILOCKBREAKING
TIRE PRESSUREMONITORING
NIGHTVISION
HEAD-UPDISPLAY
DRIVER ALERTNESSMONITORING
INSTRUMENTCLUSTER
ACCIDENTRECORDER
EVENT DATARECORDER
AUTO-DIMMINGMIRROR
INTERIORLIGHTING
ACTIVE CABIN NOISESUPPRESSION
VOICE/DATACOMMUNICATION
CABIN ENVIRONMENTCONTROLS
DSRC
ENTERTAINMENT SYSTEMS
BATTERY MANAGEMENT
LANE CORRECTION
ELECTRONICTOLL CORRECTION
DIGITAL TURNSIGNALS
NAVIGATION SYSTEM
SECURITY SYSTEM
ACTIVE EXHAUSTNOISE SUPPRESION
RIGENERATIVEBREAKING
ACTIVE SUSPENSION
HILL HOLDCONTROL
Courtesy of www.volvo.com
![Page 7: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/7.jpg)
7
BACKGROUND - VEHICULAR EMBEDDED SYSTEMS
“More than 80 percent ofvehicle innovation comes from embedded systems”
- MANFRED BROYProfessor of informatics at Technical University, Munich
![Page 8: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/8.jpg)
8
0
50000000
100000000
150000000
200000000
250000000
300000000
350000000
Late 1970s Nowadays
Lin
es o
f co
des
Years
Size of vehicular embedded software
BACKGROUND - VEHICULAR EMBEDDED SYSTEMS
![Page 9: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/9.jpg)
9
BACKGROUND - VEHICULAR EMBEDDED SYSTEMS
Courtesy of www.bmw.com
![Page 10: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/10.jpg)
4,5 times more expensive
Multi-core platforms
25% longer schedules
3 times as many software engineers
6
* S. Balacco, C.Rommel. Next Generation Embedded Hardware Architectures:Driving Onset of ProjectDelays, Costs Overruns and Software Development Challenges. Klockwork Inc. 2010.
BACKGROUND - VEHICULAR EMBEDDED SYSTEMS ON MULTICORE
![Page 11: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/11.jpg)
BACKGROUND - MODEL-DRIVEN ENGINEERING
11
- BRAN SELICFather of Real-Time UML
“As our systems grow in complexity traditional code-
centric development methods are becoming intractable”
![Page 12: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/12.jpg)
BACKGROUND - MODEL-DRIVEN ENGINEERING
12
Abstraction Automation
+ =
Model-driven Engineering
![Page 13: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/13.jpg)
BACKGROUND – EAST-ADL
13
![Page 14: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/14.jpg)
14
Vehicle Level
Analysis Level
Design Level
Implementation Level
Activities Abstraction levels Format
Capture requirements onE2E vehicle functionality
Consistency analysis of requirements. Functional verification
Prototyping, system properties,timing and resource analysis.
Complete SW architecture
Modelling of features.SW architecture, HW architecture, SW
to HW allocation,
Often informal. Textual. Solution-independent
Formal, model-based.Allocation independent
Formal, model-based.Implementation-independent.
Formal, model-based. Implementation details.
BACKGROUND – EAST-ADL
![Page 15: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/15.jpg)
15
PROBLEM FPRMULATION
- PONTUS DE LAVALCTO at Saab AB
“It is so much cheaper to find defects at design time”
![Page 16: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/16.jpg)
16
PROPOSED SOLUTION - MY RESEARCH IN A NUTSHELL
Model-based software development
methodology which supports early timing analysis for vehicular embedded systems.
Design Level
Implementation Level
Timing analysis
![Page 17: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/17.jpg)
17
PROPOSED SOLUTION -METHODOLOGY
Analysis results
M2M transformation
Timing analysis & filter
Analysis results
M2M in-place transformation
Des
ign
lev
elIm
ple
men
tati
on
lev
el
EAST-ADLdesign model
u-Rubusmodel
u-Rubus modelwith
analysis results
Negativefeedback
![Page 18: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/18.jpg)
18
UNIQUENESSES – WHAT DO YOU GAIN ?
• Reduce accidental complexity• Early timing verification• Support uncertainty• Support for multi-core
![Page 19: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/19.jpg)
RUNNING EXAMPLE: INTELLIGENT PARKING ASSIST
19
Proximity_Sensor_DFP Input_Process_DFP Path_Calculator_DFP CAN_Send_DFP CAN_Receive_DFP Control_DFP Brake_Actuator_DFP
IPAssistant_DFP Actuator_DFP
15 ms
20 ms
![Page 20: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/20.jpg)
20
(1)
(2)
(3)
(4)
Software Circuit Clock
Connector data
Connector trigger
Data ports
Trigger ports
Timing constraintsTiming constraints
RUNNING EXAMPLE: INTELLIGENT PARKING ASSIST
Reduce complexitySupport uncertainty
![Page 21: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/21.jpg)
21
Timing analysis has filtered the solution space.However there are still 14 RCM models to inspect.
(1)
(2)
(3)
(4)
Software Circuit Clock
Connector data
Connector trigger
Data ports
Trigger ports
Timing constraintsTiming constraints
RUNNING EXAMPLE: INTELLIGENT PARKING ASSIST
Early timing verification
![Page 22: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/22.jpg)
22
Support uncertainty
RUNNING EXAMPLE: INTELLIGENT PARKING ASSIST
![Page 23: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/23.jpg)
23
METHODOLOGY FOR MULTICORESTART
Functional ModelRubusMM_SW
Platform ModelRubusMM_HW
M2M TransformationJTL
Execution Modelsμ-RubusMM_SW + Timing
Model-based TimingAnalysis
Modify theAllocation Models
Modify theFunctional Model
Code Generation
END
Are the TimingRequirements Met?
Is It a Single-corePlatform?
Are all the AllocationsModel checked?
YES
NO
NO
YES
YES
NO
![Page 24: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/24.jpg)
24
MEES CONTRIBUTIONS
Vehicle Level
Analysis Level
Design Level
Implementation Level
Abstraction levels Contribution of the MEES research groupfinished contribution ongoing contribution
Rubus Component Model (RCM)RCM metamodel definition (RubusMM)Exact RTARTA for CAN and high level protocol, e.g., HCAN, CANopenE2E response timeE2E delays, e.g., age and delayShared stack analysisSwitched ethernetSWEET benchmarkExtensions for multi-core platforms
RubusMM extensions for multi-core platformsModel-based methodology for early predictabilityPredictability enabled on design assumptions
Predictability enabled for legacy nodes
Ru
busE
AST
and
tran
slat
ion
of
TAD
L2 c
onst
rain
ts
![Page 25: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/25.jpg)
25
ACADEMIA-INDUSTRY TRANSFERMDH
BASEMENT
SaveComp
ProSave
EMDEF
FEMMVA
SynthSoft
RCM 1&2
RCM 3
RCM 4Extension of timing analysis, modelling
support
Multicore
Arcticus
19941996
20022005
2005
20122009
20122014
20142018
RCM 4 +
![Page 26: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/26.jpg)
26
ACADEMIA-INDUSTRY TRANSFER
Arcticus Systems
Requirements,Existing tools,Certified RTOS
Methods, Technbiques,Prototypes
![Page 27: Model-based Development for Vehicular Embedded Systems](https://reader031.vdocuments.net/reader031/viewer/2022022001/588442f81a28aba8438b56b3/html5/thumbnails/27.jpg)
Thank you for the attention!Questions?