実践的なムヅラプヺシ開発技術者の育成...ET2013 C-4 シヘサメラスチサュヱ...
Transcript of 実践的なムヅラプヺシ開発技術者の育成...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.
©AISIN AW CO., LTD. All Rights Reserved.
1
Input
Output
out
Modeling
Gear
1. Plant model
- Transmission
- Motor
- Engine
-
2. Control model
H� Control
Self learning Control
Adaptive Control �
P
©AISIN AW CO., LTD. All Rights Reserved.
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
©AISIN AW CO., LTD. All Rights Reserved.
3
MBD
•
•
©AISIN AW CO., LTD. All Rights Reserved.
4
MBD
Model-Based
VerificationModel-Based
Design
MBDMBD=Model-Based Design+ Model-Based Verification
Model-Based Design
Model-Based Verification
©AISIN AW CO., LTD. All Rights Reserved.
5
2
©AISIN AW CO., LTD. All Rights Reserved.
6
•
–
Simulink/Stateflow
©AISIN AW CO., LTD. All Rights Reserved.
7
G MBD
• MBD G
MBD
©AISIN AW CO., LTD. All Rights Reserved.
8
©AISIN AW CO., LTD. All Rights Reserved.
9
Simulink
OJT
MBD
©AISIN AW CO., LTD. All Rights Reserved.
10
MBDOJT
�
MBD
•
•
Simulink/Stateflow
©AISIN AW CO., LTD. All Rights Reserved.
11
Simulink
•
•
•
•
©AISIN AW CO., LTD. All Rights Reserved.
12
•
• 3
•
•
•
•
•
©AISIN AW CO., LTD. All Rights Reserved.
13
• C
• C
C C
C Simulink
©AISIN AW CO., LTD. All Rights Reserved.
14
• C Simulink
Simulink C
C Simulink
Simulink
©AISIN AW CO., LTD. All Rights Reserved.
15
©AISIN AW CO., LTD. All Rights Reserved.
16
• C
•
2
1 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
2 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
�
�
�
�
3 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
4 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
�
�
�
�
5 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
6 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
7 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
�
�
�
�
8 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
9 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
QG
QG
QG
MBC
10 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
11 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
602
Ne
RT
Pm
η=�
12 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
13 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
�
�
�
�
14 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
15 /20
Honda R&D confidential information
� ��� �� � � � �
� � � � � � �
� ��� �� � � � �
� � � � � � �
This information is the exclusive property of DENSO CORPORATION. Without their consent, it may not be reproduced or given to third parties.
2013 11 21
This information is the exclusive property of DENSO CORPORATION. Without their consent, it may not be reproduced or given to third parties.
Why does Automotive systems become complex?
Driving Context
Physical Phenomena
Human Operation
Development often goes “BottomBottom--upup” style.
•
•
1
This information is the exclusive property of DENSO CORPORATION. Without their consent, it may not be reproduced or given to third parties.
•
••
• •
This information is the exclusive property of DENSO CORPORATION. Without their consent, it may not be reproduced or given to third parties.
manual C-code
development
model based
development
architectural
development
models for
software architecture,
functional network,
hardware topology
implementation model
functional behavior
model
dSPACE
This information is the exclusive property of DENSO CORPORATION. Without their consent, it may not be reproduced or given to third parties.
VS
( )
QCD
This information is the exclusive property of DENSO CORPORATION. Without their consent, it may not be reproduced or given to third parties.
/
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
This information is the exclusive property of DENSO CORPORATION. Without their consent, it may not be reproduced or given to third parties.
•
•
•
•
•
•
This information is the exclusive property of DENSO CORPORATION. Without their consent, it may not be reproduced or given to third parties.
C MBD
©SEIKO EPSON CORPORATION 2013. All rights reserved.
ET2013 2013 11 21C-4
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 2
�
�
�
�
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 3
MBD
C MBD
1. MBD
2. MBD
3.
4. UML
5.
6.
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 4
1. MBD
�
MBD
IBM Rational Rhapsody
(MDD)MDD : Model Driven Development
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 5
2. MBD
�
!?
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 6
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
( )
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 7
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 )
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 8
4. UML
�
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 9
5.
�
LED
+ ()
LED
-
+ ()
LED
<http://www.umtp-japan.org/modules/activity2/index.php?id=200>
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 10
5.1
�
�
�
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 11
5.2
�
�
�
�
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 12
5.3
Key
-
-
�
2013/11/21 ©SEIKO EPSON CORP. 2013 C MBD 13
6.
©SEIKO EPSON CORPORATION 2009. All rights reserved.Copyright 2013 Toshiba Solutions Corporation
����������
Copyright 2013 Toshiba Solutions Corporation2
[0] [1] [2] [3]
Copyright 2013 Toshiba Solutions Corporation3
Copyright 2013 Toshiba Solutions Corporation4
Toshiba e-University®
Copyright 2013 Toshiba Solutions Corporation5
ISO/IEC JISOMG
M
D
A
UML
UML
Copyright 2013 Toshiba Solutions Corporation6
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
Copyright 2013 Toshiba Solutions Corporation7
Martin Fowler, UML Modehttp://martinfowler.com/bliki/UmlMode.html
Copyright 2013 Toshiba Solutions Corporation8
[1]
��
[2]
[3]
Copyright 2013 Toshiba Solutions Corporation9
Copyright 2013 Toshiba Solutions Corporation10
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
Copyright 2013 Toshiba Solutions Corporation11
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
:
Copyright 2013 Toshiba Solutions Corporation12
: ServiceRequest
handler
: Entity
: Data set
: Utility
: View
:
Copyright 2013 Toshiba Solutions Corporation13
��� 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
Copyright 2013 Toshiba Solutions Corporation15
Principle of Least Astonishment
Copyright 2013 Toshiba Solutions Corporation16
/
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. ]