| Project/Area Number |
21650006
|
|---|
| Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Wakayama University |
|---|
Principal Investigator |
鰺坂 恒夫 (鯵坂 恒夫) 和歌山大学, システム工学部, 教授 (30175864)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
満田 成紀 和歌山大学, システム工学部, 准教授 (10283954)
福安 直樹 和歌山大学, システム工学部, 助教 (60324993)
|
|---|
| Project Period (FY) |
2009 – 2010
|
| Project Status |
Completed (Fiscal Year 2010)
|
| Budget Amount *help |
¥2,900,000 (Direct Cost: ¥2,900,000)
Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 2009: ¥1,600,000 (Direct Cost: ¥1,600,000)
|
|---|
| Keywords | 要求分析 / 仕様記述 / 意味モデル / 情報システム / 組込みシステム / ソフトウェア設計 |
|---|
| Research Abstract |
精密分析/設計(PA/PD)方法論に基づき,ソフトウェアを構成する機能とデータのパラダイム(語彙分類)を整備した.サービス需給スキーマに基づく情報システムでは,サービス資源についての品目と実体という概念がアプリケーションを性格づける基礎となる.ある品目に含まれる対応可能な実体の数量(Q値)と特定の実体の対応可能性(B値)を考え,資源のライフサイクルにおいてどのような原因でQ値が変化しどのようにB値が用いられるかをみることによって,資源の種類認識の妥当性を説明した.
組込みシステムでは自律反射スキーマが問題記述の枠組みを与える.バリエーションの大きい主要概念は環境条件(センサ入力と入手操作)およびそれを受けた制御値の設定規則である.PA/PDでは,状態遷移モデルより詳細・精密な制御値決定の論理と計算のパターン化をはかる.制御値の決定規則は積極(B的制御)と消極(安全性確保)の競合下で適用されるので,その対象データを独占するユースケースとして独立に状態決定的に処理できるのではなく,生体における交感神経・副交感神経のアナロジーをスキーマとして規定する.パラダイム分析による対立項は次のとおりである:パルス(エッジ)データとレベルデータをトップレベルとして,同期(周期,タイマ)と非同期,二値と多値,前提条件と動作中発生条件,人手とセンサ,機器と媒体,稼動(運転)と整備(較正)など.
また,組込みシステムでは,デバイスの「世界観(準拠する物理量)とアプリケーションのそれが違うことを原因として問題定義構造とプログラム構造の差異が起こるので,それらの変換パターンを用意することができる.情報システムではデバイスを環境ソフトウェア(OSやDB,webサーバなど)に置き換えれば同じことがいえると予想され、今後の研究課題とした.
|
Report
(2 results)
Research Products
(11 results)
