SESeynote Aoyama 2012 08 28

(1)

1 青山幹雄

山大学情報理工学部ソ工学科

[email protected]

www.nise.org

2012 8 28 ^日

青山幹雄

山大学情報理工学部ソ工学科

[email protected]

www.nise.org

2012 8 28 ^日

SES2012 ^基調講演

2 ) ^Web ^変革

) ^ソ ^開発 ^ン

) ^私 ^大規模 ^開発

) ^越え ^: ^上 ^{新開発形態}

) ^, ^前 ^?

) ^PROMIS: ^管理 ^変革

) ^ソ ^工学 ^新 ^挑戦

) ^Web ^変革

) ^ソ ^開発 ^ン

) ^私 ^大規模 ^開発

) ^越え ^: ^上 ^{新開発形態}

) ^, ^前 ^?

) ^PROMIS: ^管理 ^変革

) ^ソ ^工学 ^新 ^挑戦

(2)

3 So you have to trust that the dots will

somehow connect in your future.

- Steve Jobs

2005 Stanford Commencement Address,

June 12, 2005

4 Web ^変革

変革推進力

Web ^変革

変革推進力

) ^Web ^変革 ^: ^{点⇒線⇒面}

) ^Metcalfe ^法則 ^: ^通信 ^ワ ^価値 ^い

数 _(N) ₂ 乗 _(N ² ₎ 比例

) ^価値 ^増大 ^数 ^{爆発的増大} ^加速

) ^Web ^変革 ^: ^{点⇒線⇒面}

) ^Metcalfe ^法則 ^: ^通信 ^ワ ^価値 ^い

数 _(N) ₂ 乗 _(N ² ₎ 比例

) ^価値 ^増大 ^数 ^{爆発的増大} ^加速

Web

ソン時代 ₍ 大衆化 _:80-90 代 _)[1~4 億 _/ _]

/Web ^時代

(2000 ^代 )

[ ^／．．億 / ]

第 ₁ 世代 _: 汎用ン時代

(60-70 ^代 )[1 ^万 / ]

(3)

5 Web ^変革

技術共進化 _: ソ工学変革

Web ^変革

技術共進化 _: ソ工学変革

世代ン _PC/ _Web( ン _)/

構造集中処理 ₍ 垂直 ₎ 分散処理非集中 ₍ 水分散 ₎

基盤

技術

汎用

OS

個人 ₍ 一人一 ₎

GUI

Web/ ^ワ ,

Web , ^＊ SNS

ソ ^構造化

構造化分析設計

指向 _,

ンン指向

指向 _(SOA),

言語 COBOL,FORTRAN C, C++ Java, C#, Ruby, XML, ^言語

開放性 ( )

ン

ンソ _,

独立

受託開発

(1 ^{品受注生産} ) ( ^標準品大 ^生産 )

[SaaS/PaaS/IaaS]

( ^ン ^利用 )

[ ^創業 ]

IBM[’24], Oracle[’77],

SAP[’72]

Intel[’68],

Microsoft[’75],

Apple[’77]

CISCO[’84], Sun[’82], Yahoo[’95],

eBay[’95], Amazon[‘95],

Google[’98] , Facebook[‘04]

6 Web ^変革

始一人

Web ^変革

始一人

Marc Andreessen ^開発 ^最初

Web Mosaic ^ン

大学 _NCSA HP Apollo 9000/735

(’95 5 ^撮影 )

Tim Berners-Lee,

ICSOC 2004 ^基調講演

(2004 12 ^撮影 )

(4)

7 Web ^変革

ンン情報

Web ^変革

ンン情報

) ^Web ^技術 ^提案 [IBM, Microsoft ^ほ , 2000 9 ]

Technology Tends and Drivers

and a Vision of the Future of

e-Business

Stuart Feldman,

Director IBM Institute of

Advanced Commerce,

EDOC 2000 ^基調講演

(2000 9 25 ^日 , ^幕張 )

鍵ンンン握

Lou Gerstner, IBM CEO( ^当時 ),

e-business Conference Expo., 2000 12 ^Web

参考文献 : W. Emmerich, M. Aoyama, and J. Sventek,

The Impact of Research on Middleware Technology,

ACM Trans. on Software Eng. and Method.,

Vol. 17, No. 4, Article 19, Aug. 2008, 48pages.

8 Web ^変革

Web ^変革 :

Web ^変革

Web ^変革 :

) ^ン ^ン

* ^構成

* ^: ^機能 ^標準 ^ン ^介 ^遠隔提供

) ^ン ^ン ^基盤 ^情報

* ^動的ソ ^: ^実行時 ^{発見＊構成} ^/ ^再構成 ^能

* ^開発 ^利用 ^/ ^運用 ^融合 ^: ^必要 ^応 ^{構成＊使い} ^変更

* ^非集中 ^開い ⁽ ^境界 ^い ⁾

) ^ン ^ン

* ^構成

* ^: ^機能 ^標準 ^ン ^介 ^遠隔提供

) ^ン ^ン ^基盤 ^情報

* ^動的ソ ^: ^実行時 ^{発見＊構成} ^/ ^再構成 ^能

* ^開発 ^利用 ^/ ^運用 ^融合 ^: ^必要 ^応 ^{構成＊使い} ^変更

* ^非集中 ^開い ⁽ ^境界 ^い ⁾

ンン基盤 _=Web

物品検索

B ^決

A ^決

物品購入

物品検索

価格交

代金決

価格交 ₍ ン ₎

物品購入

(SOAP/

REST)

ン

変化現代社会

適合性

(5)

9 Web ^変革

SOC(Web ) ^上 ^開発技術 ^体系化

Web ^変革

SOC(Web ) ^上 ^開発技術 ^体系化

) ^指向 ^ン ^ン (SOC: Service-Oriented Computing)

* ^Web ^中心 ^提供 ^利用 ^基盤

) ^指向 (SOA: Service-Oriented Architecture)

ソ指向 (ROA: Resource-Oriented Architecture)

) ^管理 (BPM: Business Process Management)

* ^＊ ^ソ ^利用 ^遂行

) ^指向 ^ン ^ン (SOC: Service-Oriented Computing)

* ^Web ^中心 ^提供 ^利用 ^基盤

) ^指向 (SOA: Service-Oriented Architecture)

ソ指向 (ROA: Resource-Oriented Architecture)

) ^管理 (BPM: Business Process Management)

* ^＊ ^ソ ^利用 ^遂行

ンン

実装実体

, ^ソ

そ組合

参考文献 _: 青山幹雄 _, ソ技術いい _, 情報処理 , Vol.42, No. 9, Sep. 2001,pp. 857-862.

BPM

SOA,

ROA

SOC

ンン空間

既存 ₎

ンン空間

(Web, P2P, Grid,

, ^既存 )

検索

認証

ン

空間

ン

遂行

10 Web ^変革

ソ工学挑戦 _: 動的研究

Web ^変革

ソ工学挑戦 _: 動的研究

) ^分散処理 ^動的ソ ^提案 ^[Kramer85]

* ^定義 ^: ^実行時 ^構成 ^変更 ^能

) ^動的 ^化 ^設計 ^研究

* ADL(Architecture Description Language)

, ^Darwin ^： ^言型言語 ^ン ^ン ^動的 ^ン ^ン ^生成 ^結合

[Magee 95]

* ^文法

, ^構成定義 ^＋ ^{書換え規則} ^再構成

[Le Métayer 98]

* , ^構成定義 ^構成 ^変更 [Dowling 01]

) ^研究 ^発展

* ^SOC ^動的 **, Self-*(Adaptive, Healing)**

) ^分散処理 ^動的ソ ^提案 ^[Kramer85]

* ^定義 ^: ^実行時 ^構成 ^変更 ^能

) ^動的 ^化 ^設計 ^研究

* ADL(Architecture Description Language)

, ^Darwin ^： ^言型言語 ^ン ^ン ^動的 ^ン ^ン ^生成 ^結合

[Magee 95]

* ^文法

, ^構成定義 ^＋ ^{書換え規則} ^再構成

[Le Métayer 98]

* , ^構成定義 ^構成 ^変更 [Dowling 01]

) ^研究 ^発展

* ^SOC ^動的 **, Self-*(Adaptive, Healing)**

参考文献 : J. Kramer and J. Magee, Dynamic Configuration for Distributed Systems,

IEEE Trans. Software Engineering, Vol. 11, No. 4, Apr. 1985, pp. 424-436.

(6)

11 ソ開発ン

Web

ソ開発ン

Web

) ^Web

* ^Web ^上 ^処理能力 ^非 ^称性 ^解消 ^: ^ン ^Web ^全体

,

* ^支援 : Facebook, YouTube, Twitter

) ^Web

* ^Web ^上 ^処理能力 ^非 ^称性 ^解消 ^: ^ン ^Web ^全体

,

* ^支援 : Facebook, YouTube, Twitter

10

09

08

07

06

05

04

03

02

01 00 WSDL 1.0 UDDI 1.0

Google Gmail, Apps

Amazon S3

Amazon EC2

Google AppEngine

SOA

WS-BPEL 1.0

Windows Azure

Windows Live

Windows Vista

Force.com

Microsoft Biz Talk Service

SaaS

DLNA1.0

DPWS 1.0

Web ^拡張

/SaaS

Windows(Software+Service)

Ajax

Amazon Web Service Google Web Service

Amazon(’95) ^Web Google(’98) Salesforce.com(’99)

Facebook

Second Life

Web 2.0

YouTube

SNS

USTREAM

iTunes

Salesforce Chatter

Twitter

12 ソ開発ン

新特性

) ^ン ^: ^ン

* SPI: SaaS (Software), PaaS (Platform), IaaS (Infrastructure)

) ^{直接結合性} ^/ ^即時性 ^: ^ン ^/ ^直結

* ^ン ^ン ^提供

) ⁽ ^伸縮性 ^: ^/ ^ン ⁾

* ^ン

) ^ン ^ン ^ン ^ン ^: ^駆動

* ^一 ^: ^ソ ^一 (Salesforce.com, Google Gmail)

*

PssS: SaaS

( ^例 : Salesforce Force.com)

ン _{: A} 社ン _{: B} 社

A1

A2

B1

B2

B3

) ^新 ^ン ^ン処理

* ^非 ^ACID ^ン ^ン ^(BASE:

Basically Available, Soft state,

Eventually consistent)

(7)

13 ソ開発ン

進化

ソ開発ン

進化

) ^進化

分散

( ^分散処理 , ^集中制御 )

非集中

( ^分散処理 , ^分散制御 )

構造的

(RDB)

半構造的 _,

非構造的

( )

ン _/

( ^状態 ^持 )

: MVC

UI: Web/GUI

ACID ^ン ^ン ,

SQL DB

ンン

: ^分散

駆動

UI: Web,

非 _ACID/ 長命ンン

NoSQL DB

SOA, ROA

( ^状態 ^持 ^い )

: /

UI: Web

ACID ^ン ^ン ,

SQL DB

動的ン

動的発見

動的負荷

14 ソ開発ン

ソ工学挑戦 : for the Cloud (, by the Cloud)

ソ開発ン

ソ工学挑戦 : for the Cloud (, by the Cloud)

) ^化 ^: ^既存 ^移行

) ^統合 ^: ^既存 ^/ ^統合

) ^開発 ^: ^上 ^ソ ^/ ^開発 ^統合

) ^化 ^: ^既存 ^移行

) ^統合 ^: ^既存 ^/ ^統合

) ^開発 ^: ^上 ^ソ ^/ ^開発 ^統合

( )

化 ₍ 化 ₎

( ) ^統合 & ^提供

化 _: 既存移行

適部分特定期待効果

化 ₍ 化 ₎ 技術

( ) ^統合

統合

統合技術

提供

QoS/SLA,

提供技術 ₍ ン _, ₎

既存

( ^ン )

( ) ^開発技術

新い情報処理

( ^ン ^ン処理＊ etc)

(8)

15 私大規模開発

開発期間半減

私大規模開発

開発期間半減

) ^開発期間 ^半減 ^{! (“85} ⁾

* ^製品競 ^力 ^確保 ^決定

) ^短縮

* ^従来 ^開発 ^/ ^{: 1}

* ^開発 ^:

, ^開発 ^{: 6}

, ^{: 3}

) ^開発 ^適用

* ^大規模 ^{: 500} ^以上＊ ^1MLOC ^以上

* ^生産方式 ^独自 ^工

* ^称 ^{: 1990} ^頃 ^生産

(Agile Manufacturing)

) ^開発期間 ^半減 ^{! (“85} ⁾

* ^製品競 ^力 ^確保 ^決定

) ^短縮

* ^従来 ^開発 ^/ ^{: 1}

* ^開発 ^:

, ^開発 ^{: 6}

, ^{: 3}

) ^開発 ^適用

* ^大規模 ^{: 500} ^以上＊ ^1MLOC ^以上

* ^生産方式 ^独自 ^工

* ^称 ^{: 1990} ^頃 ^生産

(Agile Manufacturing)

参考文献：

M. Aoyama, Concurrent-Development Process Model, IEEE Software, Vol. 10, No. 4, Jul. 1993, pp. 46-55.

青山幹雄＊ソンン _, 情報処理 , Vol. 36, No. 5, May 1995, pp. 442-447.

M. Aoyama ^： Agile Software Process and Its Experience, Proc. 20

^th

ICSE, Apr. 1998, pp. 3-12.

従来開発－

3

1 The name "agile software process",

first originated in Japan [Aoyama

1998].

R. Miller, The Dynamics of Agile Software

Processes, http://bdn.borland.com/

article/0,1410,29726,00.html

大規模社会基盤

16 私大規模開発

1985 ^改革 : ^＊ ^ン＊時間 ^開発

私大規模開発

1985 ^改革 : ^＊ ^ン＊時間 ^開発

Ｗｅｂ

代 ₁₉₇₀ 代 ₁₉₈₀ 代 ₁₉₉₀ 代 _2K 代

形式化

改善

製造業

(’70)

ン

ンン

(’75)

多様化形式化

黎明標準化改善

RAD

ン _(‘87)

CMM(’87)

PSP

ンン

生産方式

IPD( ^{統合製品開発} )

分散開発

ンン

ンソ

軽

(XP/

/

ン ₎

CMMI

ンン _&

生産 _(‘92)

ン生産 _(‘90)

ンＰＣ

(9)

17 私大規模開発

原理

私大規模開発

原理

) ^開発 ^特性 ^{構造的特性} ^適合 ^必要

) ^ン ^ン ^, ^時間 ^優 ^性

* ^時間 ^: ^{開発完了時期} ^制御性 ^高 ^⇒ ^能力 ^高

) ^開発 ^特性 ^{構造的特性} ^適合 ^必要

) ^ン ^ン ^, ^時間 ^優 ^性

* ^時間 ^: ^{開発完了時期} ^制御性 ^高 ^⇒ ^能力 ^高

減 _:

時間ンン

開発期間短縮

:

規模

ンン

定日

完了

確率

分

完了定日

参考文献 : S. McConnell, Rapid Development, Microsoft Press, 1996

[ ^日立 ^ン ^ン ( ^訳 ), ^ン , ^出版局 , 1998]

18 私大規模開発

ンン開発

私大規模開発

ンン開発

) ^時間 ^ン ^ン ^開発 ⁺ ^{分散並行開発}

N+1

版

時間

分析 _- 設計 _- 体試験結合 _- 試験

分析-設計- 体試験結合- 試験

機能

ンン

N ^版

機能 _i

機能 _p

機能 _x

大阪

古屋

東京

N

機能ｊ

機能 _q

機能 _y

古屋

大阪

幌

N+1

統

合

統

合

結

合

試－

試

結

合

試－

試

(10)

19 私大規模開発

開発支援環境

私大規模開発

開発支援環境

) ^{大規模分散開発} ^支え ^開発環境 ^: ^中心 ^開発環境

Operation Layer: Distributed

Development Environment

Information Layer: Internet

PRIME: PRocess Information ManagEr

Singapore ^{Hong Kong}

Tokyo

San Jose

Osaka

Collaboration

Layer: PRIME

CASE

Test

Support Test

Compiler

Editor for

Tree-Structured

Chart

Configuration

Management

Configuration

Management

Checker

Generator Code ^Code

Generator

Daily Builder

Problem Report

Management

Problem Report

Management

20 私大規模開発

現在ン開発

私大規模開発

現在ン開発

) ^ン ^起源

* ^米国 ^生産方式 ^研究⇒ ^ン生産 ^[‘90] ^⇒ ^生産 ^[‘92]

* ^ソ ^開発＊ ^ン開発

) ^ン開発 [Popperndieck 2012]

* A synthesis of a system of practices, principles, and philosophy

* ⁷ ^原理

, ^全体最適 (Optimize the Whole)[ ^価値駆動 ]

, ^無駄 ^排除 (Eliminate Waste)

, ^品質 ^作 ^込 (Build Quality in)

, ^的学習 (Learn Constantly)

, ^迅速 (Deliver Fast)

, ^全員参画 (Engage Everybody)

, ^的改善 (Keep Getting Better)

) ^ン ^起源

* ^米国 ^生産方式 ^研究⇒ ^ン生産 ^[‘90] ^⇒ ^生産 ^[‘92]

* ^ソ ^開発＊ ^ン開発

) ^ン開発 [Popperndieck 2012]

* A synthesis of a system of practices, principles, and philosophy

* ⁷ ^原理

, ^全体最適 (Optimize the Whole)[ ^価値駆動 ]

, ^無駄 ^排除 (Eliminate Waste)

, ^品質 ^作 ^込 (Build Quality in)

, ^的学習 (Learn Constantly)

, ^迅速 (Deliver Fast)

, ^全員参画 (Engage Everybody)

, ^的改善 (Keep Getting Better)

参考文献 : M. Poppendieck and M. A. Cusumano, Lean Software Development: A Tutorial,

IEEE Software, Vol. 29, No. 5, Sep./Oct. 2012, pp. 26-32.

い＊日人＊

深い，

＊日

質 ₍ 原理 ₎

視点考えう

(11)

21 ン

例 _:[ ン管理 _(SCM)]

越え _: 上新開発形態

Web ^上 ^開発形態 ^日 ^{的多層型開発形態} ^見直

越え _: 上新開発形態

Web ^上 ^開発形態 ^日 ^{的多層型開発形態} ^見直

) ^{開発＊利用} ^通 ^ソ ^ワ ^形成

* ^側 ^: ^ソ ^ワ

* ^ン ^側 ^{: SCM, SNS} ^ワ ^通 ^協調 ^実現

) ^わ ^国 ^け ^ソ ^{多層型開発} ^再評価

* ^製造業 ^ン ^相似⇒ ^外 ^見 ^高度 ^開発形態

) ^{開発＊利用} ^通 ^ソ ^ワ ^形成

* ^側 ^: ^ソ ^ワ

* ^ン ^側 ^{: SCM, SNS} ^ワ ^通 ^協調 ^実現

) ^わ ^国 ^け ^ソ ^{多層型開発} ^再評価

* ^製造業 ^ン ^相似⇒ ^外 ^見 ^高度 ^開発形態

( ^開発 ^ワ )

ソ

ン

ソ

ン

S1

S2

P11

P12

Pn1

Pnm

SNS

販売組立

/Web

22 越え _: 上新開発形態

ン _/ 質 _?

越え _: 上新開発形態

ン _/ 質 _?

) ^価値駆動 ^開発

* ^短期繰 ^返 ^⇒要求 ^成果物 ^関係 ^直接的

, ^短期 ^[ ^制御理論 ^良い制御 ^]

* ^開発 ^見直

, ^計画駆動 (Plan Driven) ^⇒ ^価値駆動 (Value Driven)

, ^顧 ^最 ^必要 ^い ^価値 ^提供

) ^価値駆動 ^開発

* ^短期繰 ^返 ^⇒要求 ^成果物 ^関係 ^直接的

, ^短期 ^[ ^制御理論 ^良い制御 ^]

* ^開発 ^見直

, ^計画駆動 (Plan Driven) ^⇒ ^価値駆動 (Value Driven)

, ^顧 ^最 ^必要 ^い ^価値 ^提供

計画駆動

要求

資源期間

要求

価値駆動

参考文献 : D. Leffingwell, Agile Software Requirements, Addison Wesley, 2011

従来型開発

(

型 ₎

ン _/

開発

) ^実践 ^課題

* ^大規模

* ^開発 ^効

性 _: 米国開

発中心的 _?

* ^受託開発 ^困難 ^?:

契約問題

) ^実践 ^課題

* ^大規模

* ^開発 ^効

性 _: 米国開

発中心的 _?

* ^受託開発 ^困難 ^?:

契約問題

(12)

23 ン _/ 開発 _{, DevOps}

越え _: 上新開発形態

ソ工学挑戦 _: 新い開発出現

越え _: 上新開発形態

ソ工学挑戦 _: 新い開発出現

) ^上 ^技術 ^融合

* ^ン ^/ ^開発

* ^的 (CD: Continuous Delivery)[Humble ‘11]

* DevOps(Development and Operation)[2009~]

, ^{開発者＊品質保証者} ^(Dev) ^運用者 ^(Ops) ^協調

* ALM(Application Lifecycle Management): ^{統合開発支援}

) ^ソ ^開発形態 ^変革 ^迅速 ^価値提供 [Brown ‘12]

) ^上 ^技術 ^融合

* ^ン ^/ ^開発

* ^的 (CD: Continuous Delivery)[Humble ‘11]

* DevOps(Development and Operation)[2009~]

, ^{開発者＊品質保証者} ^(Dev) ^運用者 ^(Ops) ^協調

* ALM(Application Lifecycle Management): ^{統合開発支援}

) ^ソ ^開発形態 ^変革 ^迅速 ^価値提供 [Brown ‘12]

参考文献 : J. Humble and D. Farley, Continuous Delivery, Addison-Wesley, 2011.

M. Loukides, What is DevOps?, O’Reilly Media, 2012.

A. W. Brown, Enterprise Software Delivery: Bringing Agility and Efficiency to

the Global Software Supply Chain, Addison-Wesley, 2012.

開発 QA ^配置 ^利用

( ^連 ^的 )+ALM

CD ^CD ^CD

24 航空 _IT 技術

, ^前 ?

自動車運転ン操作

, ^前 ?

自動車運転ン操作

) ^{携帯電話化} ^自動車

* ^自動車 ^運転 ^ン ^操作

* ^航空機 ⁸⁰ ^代 FBW(Fly-By-Wire) ^導入 ^経験

) ^{自動車専用} ^汎用

* ^車載 ^ワ ^Ethernet ^導入 ^{: 2013} ^発売 ^定

) ^{携帯電話化} ^自動車

* ^自動車 ^運転 ^ン ^操作

* ^航空機 ⁸⁰ ^代 FBW(Fly-By-Wire) ^導入 ^経験

) ^{自動車専用} ^汎用

* ^車載 ^ワ ^Ethernet ^導入 ^{: 2013} ^発売 ^定

Airbus A320 : ^操縦桿

代わ

Tesla Model S(EV) ^ン

ンソ _{: 17} ン

(13)

25 , ^前 ?

交通ワ情報ワ

, ^前 ?

交通ワ情報ワ

) ^車 ⁼ ^人 ^/ ^物 ^運輸 ^ワ ⁺ ^情報 ^運輸 ^ワ

* ^車 ⁺ ^ン ⁺ ^通信 ⁼ ⁽ ^ソ ⁾ ^ン ^ワ

* ^移動 ^車 ^ワ ⁼ ^移動 ^関心 ^{自己組織化}

* ^{車車間通信} ^, ^/

) ^車 ⁼ ^人 ^/ ^物 ^運輸 ^ワ ⁺ ^情報 ^運輸 ^ワ

* ^車 ⁺ ^ン ⁺ ^通信 ⁼ ⁽ ^ソ ⁾ ^ン ^ワ

* ^移動 ^車 ^ワ ⁼ ^移動 ^関心 ^{自己組織化}

* ^{車車間通信} ^, ^/

Traffic Infrastructure

Mobile

Devices

Home Network

ITS(Intelligent

Transport System)/

Telematics Services

Malicious

Attack

Invalid

Access

Protection

Auto Update

Software

Cloud Services

Other

Vehicles

Auto

Update

Software

参考文献 : M. Aoyama, Computing for the Next-Generation Automobile, IEEE Computer,

Vol. 45, No. 6, Jun.2012, pp. 32-37.

26 , ^前 ?

物理空間け稠密情報

, ^前 ?

物理空間け稠密情報

) ^多数 ^ン ^＊ ^ン ^: ^高度 ^分散処理

ンン駆動系統

ACC (Adaptive Cruise Control)

ECT (Electronic Controlled Transmission)

EFI (Electronic Fuel Injection)

HVC (Hybrid Vehicle Control)

安全制御

AFS (Adaptive Front-lighting System)

ACS (Active Control Suspension)

ABS (Antilock Brake System)

ESC (Electronic Stability Control)

PCS (Pre-Crash Safety)

TRC (TRaction Control)

VDM (Vehicle Dynamics Management)

車環境ンン

Back Guide Monitor

Climate Control

Door Lock Control

Immobilizer

Night View

Power Seat, Power Window

Remote Engine Start (Keyless)

ンン

Digital Instrument Panel (LCD)

HUD (Head Up Display)

Car Navigation System

Speech Recognition System

Touch Panel, Haptic Interface

通信

DCM (Data Communication Module)

In-Vehicle Network: CAN, LIN,

MOST, FlexRay, (TT)Ethernet

Short Range Wireless: Bluetooth

Ｈ

(14)

27 走行状態変化

衝突安全 (Passive Safety)

, ^前 ?

ソ安全性向上 _: ₍ 衝突防 ₎

, ^前 ?

ソ安全性向上 _: ₍ 衝突防 ₎

) ^状況変化 ^{振舞い一貫性} ^?: 階層間＊階層内相互作用

) ^時間 ^: ⁽ μsec)~UI(sec)

) ^状況変化 ^{振舞い一貫性} ^?: 階層間＊階層内相互作用

) ^時間 ^: ⁽ μsec)~UI(sec)

通常運転領域

( ^負担軽減 , ^故 ^防 )

危険領域

( 故回避支援)

故不避

領域

衝突時故発生後

自動故

通報

ン

PCS

(Pre-Crash

Safety)

[衝突防]

ABS(Antilock

Brake System)

[ ^高制動 ]

VSC(Vehicle

Stability

Control)

[ ^{走行安定制御} ]

制御

衝突防

車線逸脱防

駐車支援

夜間運転支援

防安全 (Active Safety)

運転支援危機回避乗員歩行者保護

自動

解除

燃料

車両運動統合制御

(VDM) ^自動

自動衝突回避*

360° ン

28 , ^前 ?

安全性新ソ工学

, ^前 ?

安全性新ソ工学

) ^安全 ^機能安全

* ^安全 (System Safety): ^け ^ン ^故

, MIL-STD-882D, System Safety Program Requirements, 2000

* ^機能安全 (Functional Safety): ^故

) ^{機能安全規格}

* ^組込 : IEC61508-3 (Part 3), Software Requirements, 1998

* ^自動車 : ISO 26262 Road Vehicles - Functional Safety, 2011

) ^機能安全 ^ソ ^開発 ^ン

* ^開発 ^け ^安全性 ^設計 ^管理

* ^例 ^:

, ^安全性 ^分析 ^:

, ^要求

) ^ソ ^工学 ^必要性

) ^安全 ^機能安全

* ^安全 (System Safety): ^け ^ン ^故

, MIL-STD-882D, System Safety Program Requirements, 2000

* ^機能安全 (Functional Safety): ^故

) ^{機能安全規格}

* ^組込 : IEC61508-3 (Part 3), Software Requirements, 1998

* ^自動車 : ISO 26262 Road Vehicles - Functional Safety, 2011

) ^機能安全 ^ソ ^開発 ^ン

* ^開発 ^け ^安全性 ^設計 ^管理

* ^例 ^:

, ^安全性 ^分析 ^:

, ^要求

) ^ソ ^工学 ^必要性

(15)

29 包括的

研究

枠組

, ^前 ?

組込ソ研究

, ^前 ?

組込ソ研究

) ^組込 ^ソ ^多様 ^研究 ^包括 ^枠組

組込

制御

CPS(Cyber

Physical System)

ン

環境知能

AmI(Ambient

Intelligence)

ワ

ンワ

IoT(Internet

of Things ^WoT(Web _{of Things}

Cooperating

Object

Smart Things

ンン

M2M

30 PROMIS: ^管理 ^変革

PROMIS ^設立

PROMIS: ^管理 ^変革

PROMIS ^設立

) ^次世代 ^管理 ^交換 ^協議会 ^:

PROMIS (Project Management Information exchange

Services)

) ^設立 ^{: 2012} ⁵ ²¹ ^日 ⁽ ^金環日食 ^日 ⁾

) ^ン ^: ^青山幹雄 ⁽ ^山大学 ^: ^主査 ^), ^日 ^IBM, ^富士通 ^{, NEC,}

NTT , ^日立 , ^村総研

) ^目標

* ^管理 ^交換 ^共通

* ^交換 ^標準 WebAPI(REST )

* ^実証実験 ^検証 ^適用 ^開発

) ^連携

* OSLC(Open Services for Lifecycle Collaboration)

[http://open-services.net]

) ^次世代 ^管理 ^交換 ^協議会 ^:

PROMIS (Project Management Information exchange

Services)

) ^設立 ^{: 2012} ⁵ ²¹ ^日 ⁽ ^金環日食 ^日 ⁾

) ^ン ^: ^青山幹雄 ⁽ ^山大学 ^: ^主査 ^), ^日 ^IBM, ^富士通 ^{, NEC,}

NTT , ^日立 , ^村総研

) ^目標

* ^管理 ^交換 ^共通

* ^交換 ^標準 WebAPI(REST )

* ^実証実験 ^検証 ^適用 ^開発

) ^連携

* OSLC(Open Services for Lifecycle Collaboration)

[http://open-services.net]

(16)

31 PROMIS: ^管理 ^変革

管理交換ン規約実現

PROMIS: ^管理 ^変革

管理交換ン規約実現

(U ^社 )[ ^ン / ]

管理交換ン

( ^協議会 ^こ ^部分 ^規約 ^策定 )

ン _(X 社 _)[ _]

管理 ^(B社) (C ^社 )

B ^社固

管理環境

(A ^社 )

要求定義

試験

設計

実装

ン _(Y 社 ₎

[ ]

A ^社固

管理環境

管理

管理管理

C ^社固

管理環境

管理

Y社固

管理環境

U ^社固

管理環境

X ^社固

管理環境

32 PROMIS: ^管理 ^変革

ALM OSLC, PROMIS

PROMIS: ^管理 ^変革

ALM OSLC, PROMIS

) ALM(Application Lifecycle Management)[2000 ^代半 ]

* ^ソ ^通 ^{，活動や成果物} ^協調支援

) OSLC(Open Services for Lifecycle Collaboration)

* ^ALM ^推進 ^(IBM ⁾

) PROMIS: OSLC ^利用

) ALM(Application Lifecycle Management)[2000 ^代半 ]

* ^ソ ^通 ^{，活動や成果物} ^協調支援

) OSLC(Open Services for Lifecycle Collaboration)

* ^ALM ^推進 ^(IBM ⁾

) PROMIS: OSLC ^利用

参考文献 : C. Schwaber, The Changing Face Of Application Life-Cycle Management, Forrester,

Aug. 2006,http://www.serena.com/docs/repository/alm/changing-face-applic.pdf.

M. Hüttermann, Agile ALM, Manning, 2012.

OSLC

PROMIS

OSLC

Web ^標準 : RDF, REST

品質管理

要求管理

変更管理

OSLC

Web ^標準 : RDF, REST

参照

プロジェクト

管理

提供

国内

( ,

ン ₎

プロジェクト

管理

提供 ₍ 公開 ₎

標準化 : OASIS, W3C

開発環境 : Eclipse Lyo

(17)

33 PROMIS: ^管理 ^変革

PROMIS

PROMIS: ^管理 ^変革

PROMIS

) ROA(Resource-Oriented Architecture)[RESTful ]

) ^情報 ^各 ^内 ^管理 ^＊必要 ^情報 ^Link ^け (Linked Data)

) ROA(Resource-Oriented Architecture)[RESTful ]

) ^情報 ^各 ^内 ^管理 ^＊必要 ^情報 ^Link ^け (Linked Data)

Team A (Vendor Company A)

Team B (Vendor Company B)

Proprietary

PM DB

Team A

Linked

Data

Spread

Sheet

RESTful

Web

Service

RESTful

Web

Service

PM Dashboard

Team C

(Vendor Company C)

RESTful

Web

Service

Linked

Data

HTTP

PROMIS Meta-Model

PM

Linked

Data ^{Team A}

Linked

Data

RESTful

Web

Service

PM Virtual Repository by Linked Data

Spread

Sheet

Dash

Board

参考文献 : M. Aoyama, et al., PROMIS: A Next-Generation Project Management Data Exchange

Architecture, Proc. ProMAC 2012, Oct. 2012 [To Be Published].

34 PROMIS: ^管理 ^変革

PROMIS

PROMIS: ^管理 ^変革

PROMIS

) ^技術成果 ^公開方針

* ^無償 ^公開

) ^公開 ^定

* ^管理 ^交換 ^共通

, ²⁰¹² ¹²

* ^交換 ^標準 WebAPI(REST )

, ²⁰¹² ¹²

* ^実証実験

, ²⁰¹³ ^上期

) ^当面 ^ン ^発表 ^定

* ²⁰¹² ¹⁰ ^3-5 ^日 ProMAC(Int’l Conf. on Project Mgmt)[ ^論文 ]

* ²⁰¹² ¹⁰ ³⁰ ^日 Innovate 2012( ^東京 )[ ^活動紹介 ]

) ^技術成果 ^公開方針

* ^無償 ^公開

) ^公開 ^定

* ^管理 ^交換 ^共通

, ²⁰¹² ¹²

* ^交換 ^標準 WebAPI(REST )

, ²⁰¹² ¹²

* ^実証実験

, ²⁰¹³ ^上期

) ^当面 ^ン ^発表 ^定

* ²⁰¹² ¹⁰ ^3-5 ^日 ProMAC(Int’l Conf. on Project Mgmt)[ ^論文 ]

* ²⁰¹² ¹⁰ ³⁰ ^日 Innovate 2012( ^東京 )[ ^活動紹介 ]

(18)

35 ( )/

ソ

ン

ソ工学新挑戦

新挑戦時代 _: ＊多様性 _/ 複雑度＊動的 _/ 変化

ソ工学新挑戦

新挑戦時代 _: ＊多様性 _/ 複雑度＊動的 _/ 変化

) ^現在 ^ソ ^工学 ^高度 ^課題 ^直面 ^:

* ^非均質＊ ^＊多様 ^: ^多様 ^繋

Web ^全体

* ^多様 ^価値提供 ^: ^個人 ^企業 ^{経験や価値} ^提供

* ^稠密化 ^深化 ^: ^ン ^密度 ^透 ^深化

* ^動的 ^俊敏 ^進化 ^: ^使い ^{要求や環境変化} ^俊敏 ^応

* ^頑健性 ^: ^脅威 ^耐性 ^機構

) ^現在 ^ソ ^工学 ^高度 ^課題 ^直面 ^:

* ^非均質＊ ^＊多様 ^: ^多様 ^繋

Web ^全体

* ^多様 ^価値提供 ^: ^個人 ^企業 ^{経験や価値} ^提供

* ^稠密化 ^深化 ^: ^ン ^密度 ^透 ^深化

* ^動的 ^俊敏 ^進化 ^: ^使い ^{要求や環境変化} ^俊敏 ^応

* ^頑健性 ^: ^脅威 ^耐性 ^機構

ソ

稠密

深化

価値提供 _(Web ₎

変化

適応進化 _,

頑健性

36 ソ工学新挑戦

世界挑戦研究戦略

ソ工学新挑戦

世界挑戦研究戦略

) ^研究 ^目標設定

* ^研究 ^半分 ^目標設計

* ^: ^新 ^い分 ^＊根 ^的 ^課題 ^挑戦

) ^論文

* ^論文設計 ^必要性 ^: ^成果 ^そ ^意義 ^示

* ^英文執筆 ^品質向上

) ^投稿

* ^投稿先 ^選択 ^: ^国内＊ ^＊世界 ^級

* ^研究 ^参画 ^:

, ^参加 ^現状 ^知

) ^研究 ^目標設定

* ^研究 ^半分 ^目標設計

* ^: ^新 ^い分 ^＊根 ^的 ^課題 ^挑戦

) ^論文

* ^論文設計 ^必要性 ^: ^成果 ^そ ^意義 ^示

* ^英文執筆 ^品質向上

) ^投稿

* ^投稿先 ^選択 ^: ^国内＊ ^＊世界 ^級

* ^研究 ^参画 ^:

, ^参加 ^現状 ^知

参考文献 : M. Shaw, Writing Good Software Engineering

Research Papers: Minitutorial, Proc. of ICSE ‘03, ACM,

pp. 726-736 [Web ^上 ^入手 ^能 ].

打

け

点入い

＊勝い

(19)

37 ソ工学新挑戦

世界挑戦研究戦略 _: 国会議発表

ソ工学新挑戦

世界挑戦研究戦略 _: 国会議発表

) ^国内会議

* ^査読あ : SES, FOSE

) ^国 ^会議 ^: ^ソ ^工学

* ^APSEC( ^洋地域 ^ソ ^工学 ⁾

, ^研究論文 ^択率 ^: ^約 ^30%[2012 ^開催 ^投稿件数 ^=200]

* ^ICSE( ^ソ ^工学全般 ^{), RE(} ^要求工学 ^{), ASE(} ^自動化 ⁾

, ^ICSE ^研究論文 ^択率 ^: ^約 ¹⁵ ^％ ^[2013 ^開催 ^{投稿件数＝} ^457]

) ^国 ^会議 ^: ^＊ ^Web ^, ^ン ^ン

* IEEE CLOUD, IEEE ICWS(Web ), ICSOC

, ^択率 ^: ^約 ^15%

) ^国 ^会議 ^ワ

* ^萌芽的 ^＊増大 ^傾向＊ ^会議 ^択 ^や ^い

* ^例 : ICSE2012=26 ^ワ

) ^国内会議

* ^査読あ : SES, FOSE

) ^国 ^会議 ^: ^ソ ^工学

* ^APSEC( ^洋地域 ^ソ ^工学 ⁾

, ^研究論文 ^択率 ^: ^約 ^30%[2012 ^開催 ^投稿件数 ^=200]

* ^ICSE( ^ソ ^工学全般 ^{), RE(} ^要求工学 ^{), ASE(} ^自動化 ⁾

, ^ICSE ^研究論文 ^択率 ^: ^約 ¹⁵ ^％ ^[2013 ^開催 ^{投稿件数＝} ^457]

) ^国 ^会議 ^: ^＊ ^Web ^, ^ン ^ン

* IEEE CLOUD, IEEE ICWS(Web ), ICSOC

, ^択率 ^: ^約 ^15%

) ^国 ^会議 ^ワ

* ^萌芽的 ^＊増大 ^傾向＊ ^会議 ^択 ^や ^い

* ^例 : ICSE2012=26 ^ワ

38 ソ工学新挑戦

技術者働い儲い _? 変え

ソ工学新挑戦

技術者働い儲い _? 変え

) ^IT ^生 ^出 ^競 ^力

世界中友達

いい

！但＊

当館入

会

員様限定 _.

W o rd

Ex c e l

PPT ｱﾌﾟﾘ

Windows

W o rd

Ex c e l

PPT

Windows

ン

集積

文書交換便利

ワ外部性

集積 ₍ 寡占化 ₎

80~90 ^代

2000 ^代

2010 ^代

私任！

世界地図あ！

ソ

国ワ _:

2009 ^開始

(20)

39 ソ工学新挑戦

挑戦こそ進歩原動力

ソ工学新挑戦

挑戦こそ進歩原動力

自動車殿堂 (Automotive Hall of

Fame, ^米国 Detroit ^郊外 ) ^あ

田宗一郎氏 ₍ 上 ₎ 豊田英氏 ₍ 右 ₎

[2007 4 ^撮影 ]

) ^田宗一郎 ^豊田英

) ^革新 ^革新

) ^田宗一郎 ^豊田英

) ^革新 ^革新

40

If you can dream it,

you can do it.

- Walt Disney

SESeynote Aoyama 2012 08 28

1

青山 幹雄

山大学 情報理工学部 ソ 工学科

[email protected]

www.nise.org

2012 8 28 日

青山 幹雄

山大学 情報理工学部 ソ 工学科

[email protected]

www.nise.org

2012 8 28 日

SES2012 基調講演

SES2012 基調講演

2

) Web 変革

) ソ 開発 ン

) 私 大規模 開発

) 越え : 上 新開発形態

) , 前 ?

) PROMIS: 管理 変革

) ソ 工学 新 挑戦

) Web 変革

) ソ 開発 ン

) 私 大規模 開発

) 越え : 上 新開発形態

) , 前 ?

) PROMIS: 管理 変革

) ソ 工学 新 挑戦

3

So you have to trust that the dots will

somehow connect in your future.

- Steve Jobs

2005 Stanford Commencement Address,

June 12, 2005

4

Web 変革

変革 推進力

Web 変革

変革 推進力

) Web 変革 : 点⇒線⇒面

) Metcalfe 法則 : 通信 ワ 価値 い

数 (N) 2 乗 (N 2 ) 比例

) 価値 増大 数 爆発的増大 加速

) Web 変革 : 点⇒線⇒面

) Metcalfe 法則 : 通信 ワ 価値 い

数 (N) 2 乗 (N 2 ) 比例

) 価値 増大 数 爆発的増大 加速

Web

Web

ソ ン時代 ( 大衆化 :80-90 代 )[1~4 億 / ]

/Web 時代

(2000 代 )

[ ／．．億 / ]

第 1 世代 : 汎用 ン 時代

(60-70 代 )[1 万 / ]

5

Web 変革

技術 共進化 : ソ 工学 変革

Web 変革

技術 共進化 : ソ 工学 変革

世代 ン PC/ Web( ン )/

構造 集中処理 ( 垂直 ) 分散処理 非集中 ( 水 分散 )

基盤

技術

汎用

OS

個人 ( 一人一 )

GUI

Web/ ワ ,

Web , ＊ SNS

ソ 構造化

構造化分析 設計

指向 ,

ン ン 指向

指向 (SOA),

言語 COBOL,FORTRAN C, C++ Java, C#, Ruby, XML, 言語

開放性 ( )

ン

ン

青山幹雄

山大学情報理工学部ソ工学科

2012 8 28 ^日

青山幹雄

山大学情報理工学部ソ工学科

2012 8 28 ^日

SES2012 ^基調講演

SES2012 ^基調講演

) ^Web ^変革

) ^ソ ^開発 ^ン

) ^私 ^大規模 ^開発

) ^越え ^: ^上 ^{新開発形態}

) ^, ^前 ^?

) ^PROMIS: ^管理 ^変革

) ^ソ ^工学 ^新 ^挑戦

) ^Web ^変革

) ^ソ ^開発 ^ン

) ^私 ^大規模 ^開発

) ^越え ^: ^上 ^{新開発形態}

) ^, ^前 ^?

) ^PROMIS: ^管理 ^変革

) ^ソ ^工学 ^新 ^挑戦

Web ^変革

変革推進力

Web ^変革

変革推進力

) ^Web ^変革 ^: ^{点⇒線⇒面}

) ^Metcalfe ^法則 ^: ^通信 ^ワ ^価値 ^い

数 _(N) ₂ 乗 _(N ² ₎ 比例

) ^価値 ^増大 ^数 ^{爆発的増大} ^加速

) ^Web ^変革 ^: ^{点⇒線⇒面}

) ^Metcalfe ^法則 ^: ^通信 ^ワ ^価値 ^い

数 _(N) ₂ 乗 _(N ² ₎ 比例

) ^価値 ^増大 ^数 ^{爆発的増大} ^加速

ソン時代 ₍ 大衆化 _:80-90 代 _)[1~4 億 _/ _]

/Web ^時代

(2000 ^代 )

[ ^／．．億 / ]

第 ₁ 世代 _: 汎用ン時代

(60-70 ^代 )[1 ^万 / ]

Web ^変革

技術共進化 _: ソ工学変革

Web ^変革

技術共進化 _: ソ工学変革

世代ン _PC/ _Web( ン _)/

構造集中処理 ₍ 垂直 ₎ 分散処理非集中 ₍ 水分散 ₎

個人 ₍ 一人一 ₎

Web/ ^ワ ,

Web , ^＊ SNS

ソ ^構造化

構造化分析設計

指向 _,

ンン指向

指向 _(SOA),

言語 COBOL,FORTRAN C, C++ Java, C#, Ruby, XML, ^言語

ンソ _,

(1 ^{品受注生産} ) ( ^標準品大 ^生産 )

( ^ン ^利用 )

[ ^創業 ]

Web ^変革

始一人

Web ^変革

始一人

Marc Andreessen ^開発 ^最初

Web Mosaic ^ン

大学 _NCSA HP Apollo 9000/735

(’95 5 ^撮影 )

ICSOC 2004 ^基調講演

(2004 12 ^撮影 )

Web ^変革

ンン情報

Web ^変革

ンン情報

) ^Web ^技術 ^提案 [IBM, Microsoft ^ほ , 2000 9 ]

) ^Web ^技術 ^提案 [IBM, Microsoft ^ほ , 2000 9 ]

EDOC 2000 ^基調講演

(2000 9 25 ^日 , ^幕張 )

鍵ンンン握

Lou Gerstner, IBM CEO( ^当時 ),

e-business Conference Expo., 2000 12 ^Web