Upload
others
View
11
Download
3
Embed Size (px)
Citation preview
1 © 2015 The MathWorks, Inc.
Model-Based Design of complex embedded systems using industry standards
Tom Erkkinen, Coder and Certification Product Manager, MathWorks
2
Agenda
� Model-Based Design Introduction – Key components
– Users
– Standards
� Model-Based Design Technologies – Systems
– Software and Hardware
– Verification and Validation (V&V)
� Q&A
3
Problematic Development Process With Paper/Static Specs, Hand Code, and Late V&V
Systems
Hardware
Software
V&V
4
Model-Based Design Executable Specs, Automatic Code Generation, and Early V&V
Systems
Hardware
Software
V&V
Systems
5 www.mathworks.com/company/newsletters/articles/accelerating-sensor-development-with-rapid-prototyping-and-model-based-design.html
Systems
Software Hardware
Automotive Example of Model-Based Design
C & HDL Code Generation
Early V&V (SIL, PIL)
6
Aerospace Example of Model-Based Design
Systems
Software Hardware
http://www.mathworks.com/tagteam/75977_Concepts_to_Chips_SELEX_ES.pdf
C & HDL
PIL, FIL, HIL
Motor
Controls
Doppler Radar
7
Model-Based Design – Certification Examples
GM Global Hybrid Powertrain
Honeywell Aerospace USA Flight Control Systems
7
Weinmann Medical Germany Transport ventilator
Alstom France Propulsion Control Systems
Academia and Schools Project Based Learning
Alstom Grid UK HDVC Power Systems
DO-178 (Level A) EN 50128 ISO 26262
IEC 62304 IEC 61508 ???????
8
Automotive Standard (ISO 26262)
Systems ISO 26262-4
Hardware ISO 26262-5
Software ISO 26262-6
9
Model-Based Design is deeply rooted in ISO 26262
The seamless utilisation of models facilitates a hi ghly consistent and efficient development.
10
Aerospace Standard (ARP4754A)
Systems ARP4754A
Software DO-178C
Hardware DO-254
11
Help uncover missing requirements
provide a high degree of function coverage
Model-Based Design is highly recommended in ARP4754
12
Model-Based Design has a dedicated
supplement* in DO-178C
*DO-331: Model-Based Supplement to DO-178C and DO-278A
13
First Task: Figure out what model represents
14
Agenda
� Model-Based Design Introduction – Key components
– Users
– Standards
� Model-Based Design Technologies – Systems
– Software and Hardware
– Verification and Validation (V&V)
� Q&A
15
Model-Based Design Executable Specs, Automatic Code Generation, and Early V&V
Hardware Software
Systems
V&V
16
Systems simulation
17
Software and hardware generation
18
Early verification and validation
19
Integral and backbone process
Or maybe you have …. AUTOSAR
RM
CM
RMI
SL PRJ
DM
SL RPT
DM
SL DD
TM
F
mk
VM
SL V
ar
Cal ASAP2
ARXML
AAT
20
AUTOSAR Target Workflow (Top-Down) AUTOSAR Authoring Tool
Import SWC Description
Export SWC Description
Model Based Design
Export SWC Description/ Generate SWC C code
Merge SWC Description
21
AUTOSAR Target Workflow (Bottom-Up) AUTOSAR Authoring Tool
Export SWC Description/ Generate SWC C code
Import SWC Description
22
AUTOSAR Target Workflow (Round-Trip) AUTOSAR Authoring Tool
Merge SWC Description
Export SWC Description
Export SWC Description/ Generate SWC C code
Merge SWC Description
23
Thank You!
� Questions?
24
Model-Based Design
Design with
Simulation
Executable Specifications
Continuous Test and
Verification
Production Code Generation
Models
Detailed Design
Executable Specifications
Continuous Test and
Verification
Code
Generation
Models
Test Reuse - detect errors earlier
Hardware & Software - convert float- to fixed point
Production code -Eliminate hand code errors
System Truth - rapid iterations/prototypes
25
Model-Based Design Executable Specs, Automatic Code Generation, and Early V&V