Model-Based Design of complex embedded systems using ......ARP4754A Software DO-178C Hardware...

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