Model Based Software Design

Massimo Violante
Politecnico di Torino
Dip. Automatica e Informatica
Torino, Italy
 Purpose
n To illustrate a new approach to software
development: Model Based Software Design

n To illustrate relevant standards that leverage this

approach, taking automotive as example:
n AUTOSAR
n ISO 26262

2
 Why?
n Increased design complexity, diminishing time-to-
market

3
 Why?
n Software complexity is becoming one of the
dominant cost items in automotive, avionic,
industrial markets
n Complexity can be mastered using:
n A structured process ISO26262
n A more effective way of developing/validating code
model-driven design
n A more effective way of reusing the code AUTOSAR

4
 Why?
n What is waiting outside Politecnico?
n System architect
n Function developer/tester
n Software architect
n Integrator

n Knowledge of processes, methods and tools is

mandatory

5
 Why?
n Different roles/common knowledge

Designed by Domain Expert (e.g.,

mechatronic eng.) with knowledge
of the basic sw

Application
Software
Basic
Software
Hardware

6
 Why?
n Different roles/common knowledge

Designed by Software Expert (e.g.,

computer eng.) with knowledge of
the application sw & hardware

Application
Software
Basic
Software
Hardware

7
 Why?
n Different roles/common knowledge

Designed by Hardware Expert (e.g.,

electronic eng.) with knowledge of
the application sw & basic sw

Application
Software
Basic
Software
Hardware

8
Reference development model

9
Reference development model
Analyze the problem and specify a
possible solution.
We use ISO26262 as guideline to
approach this task.

10
Reference development model

Design a possible solution in terms of

software architecture.
We use AUTOSAR to approach this task.

11
Reference development model

Design a possible solution in terms of

behavior the software shall exhibit.
We use Simulink and model-in the-loop-
testing to approach this task.

12
Reference development model

Implement the software architecture/behavior.

We use Embedded Coder to approach this task.

13
Reference development model

Validate the generated sw.

We use Polyspace to approach this task.

14
 Reference development model

Deploy the software on an embedded computer.

We use an evaluation board and hardware-in-the-
loop-resting to approach this task.
We use NI myRIO for hardware-in-the-loop testing

15
 Reference development model
n The course aims at giving you a new knowledge to
spend in your CV
n It is not just intended for instructing you about how pass
the exam
n To achieve this goal you need to experiment on
your own
n for this you need:
n A notebook computer
n Matlab/Simulink/Stateflow/Embedded Coder/Polyspace
n An embedded hw
n NI myRIO board
16
 About the embedded hw
Two possible textbooks covering 75% of the course

397 pages 464 pages

~80 EURO on Amazon ~100 EURO on Amazon 17
 About the embedded hw
n If you buy them: ~180 EURO
n If copy them (illegal):
n (397 pages + 464 pages)x0,03 EURO = 25,83 EURO
n If you download/print it from Internet (illegal):
n About 500 A4 pages = ~5 EURO
n The investment in the textbooks for the exam could
be between 5 EURO and 180 EURO
n In this course the investment is required for
procuring embedded hw not for textbooks

18
About having your own hardware
FRDM K64F: ~30

STM32F746G ~45

Arduino 1: ~30
BBBlack: ~65

5 180
FRDM KL25Z: ~10 Arduino 2: ~47

Raspberry Pi 2: ~50

19
About having your own hardware
n How many of you have a smartphone?

20
About having your own hardware
n How many of you do hang out on Saturday?

~40 for
one Saturday
night of fun

~40 for The same board will

one semester be used in Model-
of fun based sw design

21
 About the sw
n Matlab/Simulink/Stateflow/Embedded Coder
(provided by the Campus license)
n MBED on-line compiler

22
 Course layout
n Combination of lecture from teachers and seminars
from companies
n Massimo Violante
n ISO26262
n Model Based Software Design
n AUTOSAR
n Seminars
n Mathworks, National Instruments,

23
 Teaching materials
n Hands-out of lecture notes

n Audio/Video recording of lectures

24
 Class/lab hours
n Class hours:
n Wed 8.30-10.00, 3i
n Fri 8.30-11.00, 3i
n Tools:
n Your laptop
n MATLAB/Simulink/Stateflow/Embedded
Coder/Polyspace/Fixed Point Designer 2014b (Polito
Compus License)
n Freedom FRDM-K64F (31.64 EURO on Mouser)
n HC-SR04 (9.99 EURO on Amazon, bundle of 2 pcs)
n Wiring+micro USB

25
 Exam
n Written exam about ISO26262+AUTOSAR (0-33)
n Typically it consists in the functional safety analysis of an
item, and in proposing the sw archietcture of the item

n Assignment about Model-based sw design (0-33)

n It consists in developing and testing the software for
implementing a given functionality using the tools used in
class

n Final grade: 0.8*WE+0.2*A

26
 Contacts
n If you need to interact with teacher, please e-mail
me to schedule an appointment

massimo.violante@polito.it

27