著者

岩橋 正実 満田 成紀 鰺坂 恒夫 中島 毅

雑誌

研究報告コンピュータセキュリティ(CSEC)

巻号頁・発行日

vol.2009-CSEC-45, no.11, pp.1-8, 2009-05-21

---

機器組込みソフトウェア開発の生産性と品質を向上させるためのオブジェクト指向の開発方手法の提案とその有効性について述べる。組込みシステムにオブジェクト指向を適用する際には、要求からクラスの抽出方法、状態の抽出方法が開発者によりバラツキがある。要求から設計/実装の双方向のトレーサビリティの確保と動的分析、時間制約などのリアルタイム制御システム特有の問題を解決することで生産性と品質の確保を可能にした。本稿で提案する手法論は、1998年に発表した自律オブジェクト指向技術を更に研究を進めたものである。その中で特に本稿では分析手法と設計手法を中心に述べる。

著者

岩橋 正実 満田 成紀 鰺坂 恒夫 中島 毅

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2009-SE-164, no.11, pp.1-8, 2009-05-21

---

機器組込みソフトウェア開発の生産性と品質を向上させるためのオブジェクト指向の開発方手法の提案とその有効性について述べる。組込みシステムにオブジェクト指向を適用する際には、要求からクラスの抽出方法、状態の抽出方法が開発者によりバラツキがある。要求から設計/実装の双方向のトレーサビリティの確保と動的分析、時間制約などのリアルタイム制御システム特有の問題を解決することで生産性と品質の確保を可能にした。本稿で提案する手法論は、1998年に発表した自律オブジェクト指向技術を更に研究を進めたものである。その中で特に本稿では分析手法と設計手法を中心に述べる。

著者

岩橋 正実 満田 成紀 鰺坂 恒夫 中島 毅

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2009-EMB-13, no.11, pp.1-8, 2009-05-21

---

機器組込みソフトウェア開発の生産性と品質を向上させるためのオブジェクト指向の開発方手法の提案とその有効性について述べる。組込みシステムにオブジェクト指向を適用する際には、要求からクラスの抽出方法、状態の抽出方法が開発者によりバラツキがある。要求から設計/実装の双方向のトレーサビリティの確保と動的分析、時間制約などのリアルタイム制御システム特有の問題を解決することで生産性と品質の確保を可能にした。本稿で提案する手法論は、1998年に発表した自律オブジェクト指向技術を更に研究を進めたものである。その中で特に本稿では分析手法と設計手法を中心に述べる。

著者

松本 吉弘 大森 匡 鰺坂 恒夫

出版者

京都大学

雑誌

重点領域研究

巻号頁・発行日

1992

---

本研究は、ソフトウェアシステムの中でも、その要求の論理が多元的であり、その意味領域が複雑であるものを対象としている。この場合、要求分析過程で観点の異なる複数のモデルが形成されることになり、これを統合してソフトウェアシステムへ変換する必要が生じる。これに対して本研究では、今年度つぎのように研究をすすめた。1.多元的要求を満たす意味モデルの記述法を研究し、さらに、多元的要求を統合した結果として形成されるべき統合モデル(メンタルモデル)にふさわしい検証可能モデルの記述方法や適合性について研究を行った。その結果,(1)並行エージェントモデル,(2)時次元を含むメンタルモデルを高レベル・ペトリネットで表し、その仕様を代数的に記述,検証する方法,(3)メンタルモデルを状態機械として表し、その振る舞いを含む代数的仕様の記述法,などを得た。2.上記のメンタルモデルを代数的仕様で表したものに関して,パラメタライゼーション,輸入,輸出による仕様代数間の関連づけを行い、関連を関手によって表現し、関手を橋L(言語)によって記述した。関手と仕様代数から構成される網をPCTE(ECMA標準に準じたソフトウェア開発支援環境)のスキーマとして定義することによって,相互のナビゲーションを可能とした。これらの研究はさらに、PCTE上で関手の実行を可能とし、代数的仕様におけるプロトタイピングをPCTEの実行制御機構の上で実現する研究に今後展開される。3.前年度から行っている,ソフトウェアエンジニアリング・デーテベースKyotoDBの研究,開発を続行し、自己反映的なヒューマンプロセス(ソフトウェア生産物表現に対する値付け操作に対するメタ)の実働,生産物表現が束縛されている値との間に存在する制約関係の維持管理,PCTEとの結合,などの研究をすすめた。