PowerPoint プレゼンテーション

Size: px

Start display at page:

Download "PowerPoint プレゼンテーション"

きみえうえや
7 years ago
Views:

1 課題解決型アーキテクチャ事例とアーキテクト育成の取り組み 1. 課題解決型アーキテクチャ 2. アーキテクチャ事例紹介 3. アーキテクト育成の取り組み 4. まとめ三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 Iwahashi.Masami@wak.msw.co.jp 1

2 1. 課題解決型アーキテクチャ 2

3 モデルアーキテクチャアーキテクトモデルソフトウェアで実現したい機能を定義して機能を実現するソフトウェアの構造と振る舞いの定義アーキテクチャ特定の目的を達成する指針に基づく要素の構造と振る舞いアーキテクト組織ゴールを達成する為のアーキテクチャを開発できる人 3

4 アーキテクチャの種類アーキテクチャは特定の要求を達成する為の要素の構造と振る舞い要素の粒度でビジネスシステムソフトウェアのアーキテクチャがある顧客ニーズ事業目標事業目標顧客営業 SE 設計 S/W 開発ビジネスアーキテクチャシステムアーキテクチャ S/W アーキテクチャビジネスアーキテクチャ顧客ニーズに基づき事業目標を達成する為にキャッシュフローを含むアーキテクチャを構築システムアーキテクチャ顧客ニーズに基づき事業目標を達成する為に社会インフラ含め複数のサブシステム間のアーキテクチャを構築ソフトウェアアーキテクチャ顧客ニーズに基づき事業目標を達成する為のアーキテクチャの構築顧客ニーズ及び事業目標をビジネス / システム / ソフトウェアのアーキテクチャで実現ビジネスを成功させる為の要求を高信頼性と高生産性で実現するアーキテクチャが大切 4

5 課題と課題解決方法課題を抑制するアーキテクチャを用いることでソフトウェアの高品質 / 高生産性を実現する課題課題解決方法開発のバラツキ要求定義のバラツキ要求分析定義手法工程間の変換バラツキシーケンスパターン重複記述クラス分析設計手法要求 S/Wの発散 SPL( ソフトウェアプロダクトライン ) 文書精度 ( 曖昧表現 ) 日本語による形式記法の推進 DSL 要求精度目的指向開発競合及び制約機能競合競合分析設計出力競合例外競合時間制約絶対時間分析設計安定しない要求段階的仕様詳細化仕様安定度に基づくプロセス最適化 ( イテレーティフ開発 ) 段階的仕様追加変更粒度によるプロセス最適化 ( インクリメンタル開発 ) 見積り精度見積り手法 5

6 アーキテクチャとプロセスアーキテクチャ特定の課題を解決するための構造と振る舞いアーキテクチャは要素と要素間の関連で表現される課題解決の為のアーキテクチャを構築することが大切分析設計試験のアーキテクチャは様式 ( 文書フレーム ) で確立する実装のアーキテクチャはフレームワークで確立する開発プロセスアーキテクチャを指針に基づき正しく使用する作業手順分析 : 要求を分析アーキテクチャへ落し込む手順設計 : 分析を設計アーキテクチャへ落し込む手順実装 : 設計を実装アーキテクチャへ落し込む手順試験 : 分析設計を試験アーキテクチャへ落し込む手順課題解決のアーキテクチャの使い方を開発プロセスで定義する事で組織的な適用効果が得られる更にアーキテクチャの発散の抑制にも繋がる 6

7 課題解決型アーキテクチャ開発不具合の発生源と作り込み要因を分析して再発させないアーキテクチャ定義と開発プロセスの定義が重要不具合課題本質要因アーキテクチャ開発プロセス定義定型化システム化ソフトウェア要求分析分析アーキテクチャソフトウェアアーキテクチャ設計ソフトウェア詳細設計設計アーキテクチャ要求定義の精度要求の大規模複雑化製品バリエーションの増加状態遷移のバラツキ機能競合の課題仕様変更の多発単体テスト S/W 構造とI/Fのバラツキ時間制約の保証試験アーキテクチャ実装試験アーキテクチャソフトウェア結合及び結合テストソフトウェア総合テスト実装アーキテクチャ 7

8 アーキテクチャ開発プロセスアーキテクチャで解決する目的 / 課題を定義目的 / 課題解決を達成する指針を定義した上でアーキテクチャ定義とタスクの定義を行う事により組織全体の品質を改善するアーキテクチャ定義 : 目的 / 課題 + 指針 + モデル 1. 目的指向アーキテクチャ開発プロセス 2. 課題解決アーキテクチャ開発プロセス 8

9 目的指向アーキテクチャ開発プロセス顧客要求及び組織目標を定義現状とのギャップ分析を実施して目的 ( 実行目標 ) を定義する目的達成の指針とアーキテクチャ定義と目的達成のタスク定義により組織全体の品質を改善するアーキテクチャ定義 : 目的 + 指針 + モデル 1 顧客ニーズを定義 2 対象組織の目標を定義 3 顧客ニーズ及び組織目標と現状とのギャップを分析して目的を定義 4 目的を達成する為の指針とアーキテクチャを定義 5 アーキテクチャの使用プロセスを定義 9

10 課題解決アーキテクチャ開発プロセス課題の発生源を特定して作り込み要因を分析して課題を定義課題を作り込まない技術開発を行い課題解決の指針とアーキテクチャ定義と課題解決のタスクの形式化により組織全体の品質を改善するアーキテクチャ定義 : 課題 + 指針 + モデル 1 課題の発生源の特定 2 作り込み本質要因を特定 3 課題を定義 4 課題抑制の指針とアーキテクチャを定義 5アーキテクチャの使用プロセスを定義 6プロセスの形式化による安定化 7 形式化したプロセスのシステム化 10

11 2. アーキテクチャ事例紹介 11

12 アーキテクチャ事例 :A 開発手法紹介自律オブジェクト指向 (AOO:Autonomic architecture base Object-Oriented development technique) が 1998 年に組込みソフトウェア開発向けオブジェクト指向の開発手法として発表その後 AOO はプロセス (AOO_PRS) プロダクトライン (AOO_SPL) 見積り (AOO_EST) 形式手法 (AOO_DSL) を拡張組込みソフトウェアの最強のオープンな開発手法として総称を A エース (Autonomic architecture base embedded software development technique) と呼んでいる Autonomic は自律という意味と自律神経という意味も含まれる自律は他からの支配制約などを受けずに自分自身で立てた規範に従って行動するアーキテクチャを基準に開発手法を定義要求を 1 機能 1 目的で階層的にカテゴリで分類整理して機能間に依存関係を持たせず自分自身の機能目的達成のための要求を定義する更に共通機能機能ブロック ( 操作 ) 名詞 ( 属性 ) バリエーション ( ポイント + バリアント ) を定義して要求モデルの洗練化して日本語による DSL 化を進める要求から変換されるオブジェクトも目的単位で自律して振る舞いオブジェクト間の関連は静的結合で自分自身の 1 つの目的達成の為に振る舞う要求を人の認知方式に基づきモデル化され自律神経モデルに基づきフレームワークに変換することで要求設計実装試験への双方向の紐付けを可能にして高品質を確保した上で派生機種開発 SPL 開発を可能にする 12

13 アーキテクチャ事例 :A 開発手法の概要要求を 1 機能 1 目的として階層的に機能ブロック ( 操作 ) 属性時間制約変換パターン etc のプロパティを定義して要求定義での洗練化を進めて想定可能な競合例外事象を定義製品内製品間でのバリエーションを定義することで高品質高生産性を確保する目的指向開発要求機能のモデル化形式記法による DSL 化 SPL 分析設計絶対時間分析設計状態分析設計機能項目 / 物理項目を共通目的で項目のカテゴリ化による要求定義機能ブロック名詞の定義と条件及び操作の形式記述化と検証共通機能ブロックの再利用製品間の仕様のバリエーションポイント ( 仕様の可変ポイント ) とバリアント ( 可変仕様 ) の分析定義物理機能の時間制約の定義と解決機能目的に基づく状態定義の形式化と状態に基づく操作の形式記述化機能競合分析設計要求機能競合の解決例外競合の解決クラス分析設計カテゴリでの機能の整理共通機能ブロック名詞の定義とクラスへの変換分析設計変換パターン機能項目からオブジェクトへの変換パターンにより双方向のトレーサビリティを確立フレームワーク実装基盤 Input Kernel ControlJuge Output ConrolManger Object Manager 制御対象物及び外部環境開発プロセス 13

14 課題に基づくアーキテクチャ開発事業戦略事業特性開発上の課題に基づくアーキテクチャ課題 1 事業特性に基づくアーキテクチャ開発 2 開発上の課題に基づくアーキテクチャ開発 3 事業戦略に基づくアーキテクチャ 1 仕様変更の多発 2S/W 構造と I/F のバラツキ 2 機能競合の課題 2 状態遷移定義のバラツキ 2 時間制約の保証 3 要求の大規模複雑化 3 製品バリエーションの増加 3 リードタイムの短縮課題解決方法仕様変更影響範囲の局所化のためのアーキテクチャ分析設計変換バラツキ抑制のためのアーキテクチャ機能競合解決のアーキテクチャ状態定義のアーキテクチャと状態抽出方法の定義時間制約解決のアーキテクチャ要求の分解整理のアーキテクチャと形式記述化バリエーションポイント及びバリアント定義の枠組み目的指向開発の推進ソフトウェアの構造振る舞いの決定の明確な理由がある事業戦略特性課題の組織的な解決を推進するのがアーキテクトである 14

15 AOO_PRS:1~3 プロセスによるアーキテクチャの安定化ソフトウェア要求分析 3 要求の大規模複雑化の抑制機能項目変換パ目的属性操作状態優先度ターン時間例外 F111 xxx aaa E01 F11 F1 F112 F12 F121 F2 F21 F211 物理項目変換パ目的属性操作状態優先度ターン時間制約例外 P111 E02 P1 P11 P112 P2 P21 P211 E032 F111 条件記述操作記述 <aaa> 機能ブロック記述 XXX タイマー 2 状態遷移定義のバラツキの抑制 1 仕様変更の多発の抑制ソフトウェアアーキテクチャ設計 3 リードタイムの短縮 2 時間制約の保証 2 S/W 構造と I/F のバラツキの抑制 2 機能競合の課題の解決 F1 F2 機能マトリクス F11 F12 F21 F111 F112 F121 F211 F111 F11 F11 F112 F12 F121 F21 F21 F211 ソフトウェア詳細設計例外マトリクス E01 E02 E03 F111 F11 F11 F112 F12 F121 F21 F21 F211 Kernel Object Manager Input Output ControlJuge ControlManger オブジェクト属性操作状態優先度時間 F111 xxx aaa F11 F1 F112 F12 F121 F2 F21 F211 P1 P11 P111 P112 P2 P21 P211 ControlManager ObjectManager Kernel O111 入力処理条件記述操作記述 <aaa> 機能ブロック記述 XXX タイマー 2 S/W 構造と I/F のバラツキの抑制 15 出力

16 AOO_DSL:3 要求の大規模複雑化の解決表形式と日本語による形式記法による複雑化の抑制 1) 要求のカテゴリ化と機能ブロック / 属性の形式化 2) 形式記法を用いた機能仕様の日本語による形式化 3) 機能ブロック / 属性の再利用による DSL 化の推進要求要求機能項目リスト機能項目 1.xxx 2.xxx 1.1.xxx 1.2.xxx 2.1.xxx 2.2.xxx 制御マネージャ物理項目リスト物理項目 xxx xxx 目的操作目的属性目的操作目的属性機能ブロック機能ブロック機能仕様で扱う名詞の定義して形式記法で仕様定義更に 1 機能項目内を目的で分解して機能ブロックを定義機能ブロックの再利用による要求分析定義の生産性向上文書コード生成検証の実現 DSL 要求 1.xxx 2.xxx デバイス 1.1.xxx 1.2.xxx 1.3.xxx 2.1.xxx xxx xxx 1and2 1 外気温度 >10 2 運転モード = 冷房 XXX 制御状態制御中 XXX 制御状態 = 制御中ドメイン形式記述 1 機能項目 1 目的として階層的にカテゴリ化を進める形式記述言語 16

AOO_SPL:3 製品バリエーションの増加の解決製品 A 要求製品 B 要求製品 C 要求 1 機能項目 1 目的でカテゴリで分類整理オブジェクトに変換 ( 可変性の継承 ) 製品間の可変性を分析して可変ポイント ( バリエーションポイント ) と可変部分 ( バリアント ) を定義する 1 要求の物理と目的 ( 機能 ) で分解整理してソフトウェアと双方向に紐付することで SPL

17 AOO_SPL:3 製品バリエーションの増加の解決製品 A 要求製品 B 要求製品 C 要求 1 機能項目 1 目的でカテゴリで分類整理オブジェクトに変換 ( 可変性の継承 ) 製品間の可変性を分析して可変ポイント ( バリエーションポイント ) と可変部分 ( バリアント ) を定義する 1 要求の物理と目的 ( 機能 ) で分解整理してソフトウェアと双方向に紐付することで SPL 開発を可能にする 2 フレームワークをドメイン依存として構築すると中長期開発で破綻するリスクがある状態遷移状態に基づく操作競合解決バリエーション解決は多くの組込み制御システムに共通であり共通フレームワーク上で実現することで SPL 開発を成功させる機能項目名称 1.1.xxxx 機能目的 XXXXXXXXXXXXXXXXXXX バリエーションポイントバリアント機種 A,B 機種 C 機種 D 開始条件標準北米欧州条件記述 << 開始条件 >> XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 操作記述 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX < 標準 > XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX < 北米 > XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 17 < 欧州 > XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

18 AOO:1~3 フレームワークによるアーキテクチャの安定化静的分析設計手法 ( カテゴリ化クラス分析設計 DSL SPL) ハードウェアカーネル入力制御判定 i1 i2 出力動的分析設計手法 ( 状態分析設計 ) 制御状態 s1~3 制御状態 s1 s2 s3 制御マネーシャ動的分析設計手法 ( 競合分析設計 ) 動的分析設計手法 ( 絶対時間分析設計 ) オブジェクトマネージャ 18

19 AOO_PRS:1~3 プロセスによるアーキテクチャの安定化ソフトウェア要求分析ソフトウェア総合テスト F111 条件記述操作記述 <aaa> 機能ブロック記述 XXX タイマー機能項目目的属性操作時間 F11 F111 xxx aaa F1 F112 F12 F121 F2 F21 F211 物理項目目的属性操作時間 P1 P11 P111 F1 P112 F2 例外マトリクス E01 E02 E03 P2 P21 P211 機能マトリクス F11 F12 F21 F111 F111 F112 F121 F211 F11 F11 F112 F11 F11 F111 F12 F121 F112 F21 F21 F211 F12 F121 ソフトウェアアーキテクチャ設計 F21 F21 F211 F1 要求定義の精度要求の大規模複雑化 F2 製品バリエーションの増加 P1 S/W 構造とI/Fのバラツキ P2 状態遷移のバラツキ機能競合の解決時間制約の保証機能項目目的属性操作時間 F11 F111 xxx aaa F112 F12 F121 F21 F211 物理項目目的属性操作時間 P11 P111 P112 F1 F2 P21 P211 機能マトリクス F11 F12 F21 F11 F11 F111 F112 F121 F211 F111 F112 F12 F121 F111 試験手順条件記述期待値操作記述例外マトリクス E01 E02 E03 F11 F11 F111 F112 F12 F121 F21 F21 F211 F21 F21 F211 ソフトウェア結合および結合テスト O111 入力処理条件記述操作記述 <aaa> 機能ブロック記述 XXX タイマーソフトウェア詳細設計オブジェクト属性操作時間出力 F111 xxx aaa F11 F1 F112 F12 F121 F2 F21 F211 P1 P11 P111 P112 Kernel P2 P21 Input P211 ControlJuge ControlManager ObjectManager Kernel Output ControlManger Object Manager O111( ソースコード ) if(xxxx) if(xxx) aaa_st=xxxx*2; aaa(); 実装 Aaa(){ Xxxxxxxx; Xxxxxxxxxxx; Xxx_ti=START; } O111 入力処理条件記述操作記述 <aaa> 機能ブロック記述 XXX タイマー単体テストオブジェクト属性操作時間出力結果 F111 xxx aaa F11 F1 F112 F12 F121 F2 F21 F211 P1 P11 P111 P112 Kernel P2 Input P21 P211 ControlJuge ControlManager ObjectManager Kernel Output ControlManger Object Manager 19

20 3. アーキテクト育成の取り組み 20

21 アーキテクトに求められるスキルアーキテクトには以下のスキルが必要である 1 アーキテクチャ使用スキル ( モデル化とプロセスがポイント ) 2 アーキテクチャ構築スキル ( 本質の定義がポイント ) 抽象化スキル対象の本質を定義するスキル汎用化スキル複数の対象から共通的な本質を定義するスキル構築スキルアーキテクチャを構築できるスキル 21

22 アーキテクト育成の取り組み ( 使用スキル ) 1 フレームワーク定義分析設計試験及び実装の汎用アーキテクチャ定義分析設計試験の様式フレーム定義と実装のフレームワーク定義目的 : 優れたアーキテクチャの形式知化と共有アーキテクチャ発散の抑制と改善スキルの向上教育 : 課題解決型フレームワーク教育 2 プロセス定義分析 / 設計 / 試験 / 実装のアーキテクチャの使用方法の定義目的 : アーキテクチャの正しい使用法の徹底と発散の抑制育成 : 課題解決型プロセス教育 3 システム化アーキテクチャとプロセスの安定化の支援目的 : アーキテクチャの正しい使用の徹底と発散の抑制の効率化ガイダンスによる OJT 負荷の低減 22

23 アーキテクト育成の取り組み ( 構築スキル ) 1 抽象化スキル : 対象の本質を定義するスキル既存コードのアーキテクチャのモデル化による抽象化スキルを育成目的 : アーキテクチャ発散防止抽象化能力の向上とコード解析精度スピード向上 2 汎用化スキル : 複数の対象から共通的な本質を定義するスキル既存アーキテクチャ間の共通性を分析して汎用化スキルを育成目的 : アーキテクチャの再利用と発散防止汎用化能力向上による組織全体の設計品質向上 3 構築スキル : 小さな課題解決のアーキテクチャとプロセス定義目的 : 開発上の小さい課題を解決する為のアーキテクチャとプロセス定義により組織全体の開発力向上とアーキテクトを育成一般化と抽象化既存ソースコード抽象化標準プロセスアクティビティタスクサブタスクサブタスク項名称項名称項番名称項番名称制約条件の確認ソフトウェア機能要求事項の明確化機能要求を1 機能 1 目的で階層的に分類整理する機能項目の実行優先レベルを定義する機能項目マトリクスを定義して機能競合の動作仕様を定義す並行動作うする機能項目で且つ同じ出力を操作する機能項 4 目で出力マトリクスを定義して出力競合の仕様を定義する物理項目を階層的に分類整理する 1.1 ソフトウェア要求仕様書の作成 1. ソフトウェア要求分析物理項目に対して発生する例外事象を定義した上で例外リス 6 トを定義する例外が定義している物理項目をアクセスする機能項目と例外 7 リストから例外マトリクスを作成して例外動作仕様を定義するソフトウェア非機能要求事項の明確化機能項目及び物理項目に時間制約を定義する要求の優先順位付けソフトウェア要求仕様書の作成 1.2 ソフトウェア要求仕様の確認ソフトウェア要求仕様書の内部確認設計条件の確認機能項目及び物理項目をソフトウェアユニットへ事案制約を含ソフトウェア構成の設計 1 めて変換する同じ時間制約のソフトウェアユニットを同タスクに定義するソフトウェアアーキテ 2.1 ソフトウェアアーキテクチャ設計書の作成ソフトウェア全体の振る舞いの設計クチャ設計インターフェースの設計性能 / メモリ使用量の見積もりソフトウェアアーキテクチャ設計書の作成 2.2 ソフトウェアアーキテクチャ設計の確認ソフトウェアアーキテクチャ設計書の内部確認 2.3 ソフトウェアアーキテクチャ設計の共同レビューソフトウェアアーキテクチャ設計書の共同レ 23

24 4. まとめ 24

25 アーキテクチャ開発ポイントまとめ 1) 解決する目標 / 課題を定義する顧客ニーズ / 事業目標と現状のギャップを分析して定義バリエーション増加, リードタイム短縮低コスト開発品質特性要求や課題を分類整理する事でアーキテクチャを発掘 2) 時間軸を考慮する製品の長いライフサイクルの中での変動に対応できるアーキテクチャを設計する 3) 対象範囲の拡大対象ドメインの範囲を可能な限り広げる制御機器の組込みシステム及び IT 系システムまで対象領域を拡大する事で安定したアーキテクチャを設計する対象範囲の拡大現時点での対象時間軸 25

26 アーキテクト育成の取り組みまとめ 1. 優秀なアーキテクトが開発したアーキテクチャの形式知化優秀なアーキテクトは事業戦略製品特性開発上の課題解決を継続的に対応可能なアーキテクチャを開発している優秀なアーキテクトのスキルを形式知化して育成 1 アーキテクチャの定義とフレームワーク化 ( 課題 / 目的定義 + 方針定義 + モデル定義 ) 2 アーキテクチャを使用する為のプロセス定義 2. 実務中心アーキテクト育成の取り組み継続的なアーキテクチャとプロセスの改善と教育 1 定期教育 (QP-Meeting): アーキテクチャとプロセスを開発関連要員全員に継続実施 2 プロジェクト開始時の導入教育 3 プロジェクトレビューでの個人に合わせた育成 3. ボトムアップ的アーキテクト育成の取り組み本質を見極める抽象化能力を育成する事によるアーキテクトの育成 1 既存資産のモデル化 ( アーキテクチャ定義 : 課題 + 方針 +モデル ) 2 複数モデルからの共通モデル化 ( アーキテクチャ定義 : 課題 / 目的 + 方針 +モデル ) 3 発生した課題に対するアーキテクチャ開発 26

27 ご清聴ありがとうございました詳細お問い合わせ先三菱電機メカトロニクスソフトウエア株式会社岩橋正実

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 iwahashi@est.hi-ho.ne.jp Iwahashi.Masami@wak.msw.co.jp 1 改善効果品質 : フロントローディングが進み流出不具合 0 継続生産性 : 平均 130% 改善工数割合分析