実践的なムヅラプヺシ開発技術者の育成...et2013 c-4 シヘサメラスチサュヱ...

ET2013 C-4 スペシャルセッション

実践的なモデルベース開発技術者の育成実践的なモデルベース開発技術者の育成実践的なモデルベース開発技術者の育成実践的なモデルベース開発技術者の育成

2013年11月21日アネックスホール F206

社団法人スキルマネージメント協会

パネリスト一覧

モデレータ独立行政法人情報処理推進機構技術本部ソフトウエア高信頼化センター（SEC）田丸喜一郎氏・アイシン・エィ･ダブリュ株式会社久保孝行氏・株式会社本田技術研究所福迫誉顕氏・株式会社デンソー福田淳一氏・セイコーエプソン株式会社萩原豊隆氏・東芝ソリューション株式会社山城明宏氏・株式会社スマートエナジー研究所中村創一郎氏

（発表順）

注意各発表資料の著作権は、各発表者企業・組織に帰属します。発表者企業・組織の許可なく、発表資料の一部または全部を複製または転載することを禁止します。

スキルマネージメント協会活動紹介

スキルマネージメント協会（SMA）副幹事長モデルベース設計検証技術部会主査 dSPACE Japan株式会社代表取締役社長有馬仁志氏

2013/11/11 page 1© 2013/11/11 page 2©

�

�

�

�

�

�

�

�

�

�

2013/11/11 page 3©

�

�

�

�

�

�

�

�

2013/11/11 page 4©

�

�

�

�

�

2013/11/11 page 5© 2013/11/11 page 6©

2013/11/11 page 7©

�

�

�

�

�

�

�

�

2013/11/11 page 8©

�

2013/11/13 page 9 ©

n

2013/11/13 page 10 ©

n

p

p

n

n

p

p

n

n

2013/11/13 page 11 ©

n

p

p

p

p

n

n

n

n

n

n

2013/11/13 page 12 ©

n

n

©AISIN AW CO., LTD. All Rights Reserved.

MBD

1.

2. MBD

3. MBD

4.

1.

2.


1

Input

Output

out

Modeling

Gear

1. Plant model

- Transmission

- Motor

- Engine

-

2. Control model

H� Control

Self learning Control

Adaptive Control �

P


2

JMAA V

HILS

Controlmodel

AutomaticC-code generation

MILS

RCP

Evaluationon Vehicle

Evaluation on Vehicle

MILS

HILS RCP

Codeverification

Virtual World

Real World

Plantmodel

Plant

ControlPlant

AT

Control

Automatic C code Generation


3

MBD

•

•


4

MBD

Model-Based

VerificationModel-Based

Design

MBDMBD=Model-Based Design+ Model-Based Verification

Model-Based Design

Model-Based Verification


5

2


6

•

–

Simulink/Stateflow


7

G MBD

• MBD G

MBD


8


9

Simulink

OJT

MBD


10

MBDOJT

�

MBD

•

•

Simulink/Stateflow


11

Simulink

•

•

•

•


12

•

• 3

•

•

•

•

•


13

• C

• C

C C

C Simulink


14

• C Simulink

Simulink C

C Simulink

Simulink


15


16

• C

•

2

1 /20

Honda R&D confidential information

� ��

� � � � � � �

2 /20


� ��

� � � � � � �

�

�

�

�

3 /20


� ��

� � � � � � �

4 /20


� ��

� � � � � � �

�

�

�

�

5 /20


� ��

� � � � � � �

6 /20


� ��

� � � � � � �

7 /20


� ��

� � � � � � �

�

�

�

�

8 /20


� ��

� � � � � � �

9 /20


� ��

� � � � � � �

QG

QG

QG

MBC

10 /20


� ��

� � � � � � �

11 /20


� ��

� � � � � � �

602

Ne

RT

Pm

η=�

12 /20


� ��

� � � � � � �

13 /20


� ��

� � � � � � �

�

�

�

�

14 /20


� ��

� � � � � � �

15 /20


� ��

� � � � � � �

� ��

� � � � � � �

This information is the exclusive property of DENSO CORPORATION. Without their consent, it may not be reproduced or given to third parties.

[email protected]

2013 11 21


Why does Automotive systems become complex?

Driving Context

Physical Phenomena

Human Operation

Development often goes “BottomBottom--upup” style.

•

•

1


•

••

• •


manual C-code

development

model based

development

architectural

development

models for

software architecture,

functional network,

hardware topology

implementation model

functional behavior

model

dSPACE


VS

( )

QCD


/

g(EGR)

(Pm/Pe)

Te

EGRV

Pm

Pe

*

*

*

/

NePm

To R To/Vc

vol

Pm120/Ne

/Po

(Pm/Pe)

To*

*

*

/Po

Ne

mc_target

mc_target

mth

me+- mth

f (Thr) Thr_target

me = g (EGR) oTePe

z-1

Thr_comF/B

1 + a1 z-1 + a2 z-2b0 + b1 z-1 + b2 z-2+ +

--

+-

ThrSmith F/B

1 + a1 z-1 + a2 z-2b0 + b1 z-1 + b2 z-2

V88AT

ACCIPA

VDIMPCS

/

g(EGR)

(Pm/Pe)

Te

EGRV

Pm

Pe

*

*

*

/

NePm

To

R To/Vc

vol

Pm

120/Ne

/Po

(Pm/Pe)

To*

*

*

/Po

Ne

*

*

/

/

mc_target

mc_target

mth

me+- mth

f (Thr)

me = g (EGR) oTePe

z-1


•

•

•

•

•

•


C MBD

©SEIKO EPSON CORPORATION 2013. All rights reserved.

ET2013 2013 11 21C-4

2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 2

�

�

�

�


MBD

C MBD

1. MBD

2. MBD

3.

4. UML

5.

6.


1. MBD

�

MBD

IBM Rational Rhapsody

(MDD)MDD : Model Driven Development


2. MBD

�

!?


3.

�

+ ()

+ ()

- static ()

- static

A

+ ()

- static ()

- static ()

- static

- static

B

UMLC

I/F

staticstatic

C

1971 D.L.Parnas

A

B

A.h

A.c B.h

B.c

( )


3.1 MBD

�

void ssd_ClearState(void) {

{

/*#[ operation ssd_ClearState() */

UINT32 i;

for( i=0; i<SENSOR_MAX; i++ )

{

m_Ssd_dat[ i ].CurrentState = SSD_DISABLE;

/*## operation ssd_ClearState() */

void ssd_ClearState(void);

/*## operation ssd_GetState(SSD_structSensorData*,UINT32) */

void ssd_GetState(SSD_structSensorData* dat, UINT32 mode);

/*## operation ssd_SetState(SSD_structSensorData*,UINT32) */

void ssd_SetState(SSD_structSensorData* dat, UINT32 mode);

SSD_SensorState.c

SSD_SensorState.h

<<File>>

Rhapsody in C MBD (C )


4. UML

�


5.

�

LED

+ ()

LED

-

+ ()

LED

<http://www.umtp-japan.org/modules/activity2/index.php?id=200>


5.1

�

�

�


5.2

�

�

�

�


5.3

Key

-

-

�


6.


Toshiba e-University®


ISO/IEC JISOMG

M

D

A

UML

UML


Facility

PlantFacility Environment

+

h Heater

c Cooler

s SystemLog

EnvironmentController

subsystem

TradingSystem

1

1

1

1

1

0..*

0..*

0..*

0..1

0..1

aborted

WaitAccess

WaitCard

Idle

User

Code

CardOut

OK

ref

sd

sd

ref

EstablishAccess(“Illegal PIN”)

CardOut

User ACSystem

Msg(“enter”)

User ACSystem

[PIN OK]

OpenDoor

device

Greenhouse1

device

Greenhouse2

execution environment

GardenerWorkstation

artifact

Gardener.ear

artifact

Heater.jar

deployment spec

envSummer.xml

artifact

Cooler.jar

Ctype

Heater

Cooler

focus

Controller

Environment

component

Gardener

Actuate

Item2

Actuate

Item1

Actuated

ItemA

Actuated

ItemB


Martin Fowler, UML Modehttp://martinfowler.com/bliki/UmlMode.html


[1]

��

[2]

[3]



xxxx

(m_auth)

xxxx

(m_emp)

xxxx

(m_dept)

login sokxxxzexxx youxxx

fm

xxxComposer

xxxx

(m_haifusakiyaku)

xxxx

(m_haifusakihin)

xxxx

(m_haifusakigr)

m_haifusaki

xxxx

(m_seihin)

jixx

jp.co.toshiba_sol.qxxxx.

xxx(m_authrule)

xxxx

(m_addresscho)

fm.

service

fm.

entity

dataSet

aspect

exception

filter

util

m_emp.

requestHandler

m_emp.

service

m_emp.

entity

m_emp.

facade

m_dept.

requestHandler

m_dept.

service

m_dept.

entity

m_dept.

facade

login.

requestHandler

login.

service

login.

entity

m_auth.

requestHandler

m_auth.

service

m_auth.

entity

jixx.

service

jixx.

entity

haifxxx.

requestHandler

haifxxx.

service

haifxxx.

entity

m_haifxxxhin.

requestHandler

haifxxxhin.

service

haifxxxhin.

entity

m_haifxxxgr.

requestHandler

m_haifxxxgr.

service

m_haifxxxgr.

entity

sokxxx.

requestHandler

sokxxx.

service

sokxxx.

entity

sokxxx.

facade

m_seixxx.

service

m_seixxx.

entity

m_seixxx.

facadem_authrule.

requestHandler

m_authrule.

service

m_authrule.

entity

m_authrule.

facade


Request handler Service

Entity

DB

( )

View

GUI

Data set

Request handlerRequest handler

Data set

Request handler Service Service data set

Service Entity

Entity DB

Service

Data setRequest handler

View

View

View

Web

2003-SE-143(7)

: Service

Request

handler

: Entity

: Data set

: View

:


: ServiceRequest

handler

: Entity

: Data set

: Utility

: View

:


�� Single Responsibility Principle �

�� Interface Segregation Principle �

�� Open-Closed Principle

�� Liskov Substitution Principle ( )

� Dependency Inversion Principle1) ( )

2) ( )

�� Reuse-Release Equivalency

Principle

�� Common Reuse Principle(

)

�� Common Closure Principle

� � Acyclic Dependencies Principle

� � Stable Dependencies Principle

�� Stable Abstractions Principle )

2008.7

Copyright 2013 Toshiba Solutions Corporation142008.7


Principle of Least Astonishment


/

ex.

�

2013/11/21

SMA

•

• IT

•

•

•

•

•

•

YOKOHAMA SMART COMMUNITY

YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYSM

2013/04/26

5

TM

Smart Energy

Manager

6

7

PCS

RCP

ACG

HILS MIL/SIL

MIL: Model In the Loop

SIL: Software In the Loop

RCP: Rapid Control Prototyping

ACG: Auto Code Generation

HILS: Hardware In the Loop Simulation

•

•

•

SCALE+

SCALE

Simulink

Simulink

Simulink Window

SCALE Window

SCALE+

dSPACE AutomationDesk

SCALE+

dSPACE Automation Desk

DS1103

TargetLink

12

Simulink model

Target Link

C2000

Simulink TargetLink

TargetLink

C

IT

SysML

SysML

Simulink dSPACE SCALE+

[ex. ]

[ex. ]

実践的なムヅラプヺシ開発技術者の育成...et2013 c-4 シヘサメラスチサュヱ...

Documents