Introduction More and more complex electronics and software: To - - PowerPoint PPT Presentation

▶

Jul 14, 2023 211 likes •391 views

Introduction More and more complex electronics and software: To enable innovation To decrease costs To fulfill legal needs (e.g. CO2 emission) etc. How to ensure consistency among different views? / Department of Mathematics and

SLIDE 1

Introduction

More and more complex electronics and software:

To enable innovation
To decrease costs
To fulfill legal needs (e.g.

CO2 emission) etc.

/ Department of Mathematics and Computer Science

PAGE 1 03/10/14

How to ensure consistency among different views?

SLIDE 2

ISO/IEC/IEEE 42010 Conceptual Model of an Architecture Description

Architecture description language (ADL) Architecture framework

SLIDE 3

Architecture Framework for Automotive Systems (AFAS)

PAGE 3

SLIDE 4

Architectural correspondence

PAGE 4

SLIDE 5

Correspondence Rules

/ Department of Mathematics and Computer Science

PAGE 5 03/10/14

SLIDE 6

Consistency Semantics

PAGE 6 03/10/14

Semantic differences between dependency and composition refinements

SLIDE 7

Consistency Semantics

/ Department of Mathematics and Computer Science

PAGE 7 03/10/14

SLIDE 8

Evaluation

Adaptive Cruise Control

/ Department of Mathematics and Computer Science

PAGE 8 03/10/14

SLIDE 9

A consistency-checking for automotive architectural models:

PAGE 9

Consistency checking tool

SLIDE 10

Evaluation on Adaptive Cruise Control

PAGE 10 03/10/14

SLIDE 11

ACC system model

ACC is split into:
ACC_UI (SW)
ACC_Controller

(HW)

SW-model is made

in IBM Rhapsody

HW-model is made

in Matlab Simulink

PAGE 11 03/10/14

SLIDE 12

ACC hardware models

3 Hardware models
Radar model
Powertrain model
ACC model
Hardware models are

unit tested in Matlab

PAGE 12 03/10/14

SLIDE 13

System integration

Software
Hardware

PAGE 13 03/10/14

SLIDE 14

Evaluation

PAGE 14 03/10/14

SLIDE 15

Conclusion and Future work

Automotive Architectural Views defined
Automotive architecture consistency rules defined

IBM Rhapsody tool plugin developed

Need to formalize other correspondence rules
Need to support consistency between automotive

ADLs (e.g. between SysML and MATLAB/Simulink, Stateflow)

PAGE 15

SLIDE 16

SysML/Simulink Model Sync

Input/Output ports of a SimulinkBlock is updated after importing both

updated Simulink model and the newly generated code (only updated Simulink MDL file is not enough).

Old generated code snippet New generated code snippet

SLIDE 17

Thank you!

Contact for comments and collaboration: Tel: +31(0)402475052 Email: y.dajsuren@tue.nl Address: Eindhoven University of Technology 5612 AZ Eindhoven, The Netherlands