講演抄録/キーワード |
講演名 |
2009-01-14 09:00
LTSAとSPINを連携させたタスク設計の提案 ○藤倉俊幸(イーソル)・野中 哲(タオベアーズ)・宇佐美雅紀(イーソル) エレソ技報アーカイブへのリンク:ICD2008-136 |
抄録 |
(和) |
タスク分割および基本的な同期構造の設計および検証をLTSAでおこない.次に,検証済みのLTSAモデルをpromelaに変換しSPINを使用してタスク詳細設計をおこなう手法を提案する.LTSAモデルは要求分析の結果作られる,シーケンス図や状態図から生成する.変数等を使用しない抽象度の高いタスク動作の検証をLTSAで実行する.SPINではグローバル変数や非同期通信を利用した詳細設計レベルの検証をおこなう.LTSAとSPINの特徴を活かしたタスク設計法を提案する. |
(英) |
(Not available yet) |
キーワード |
(和) |
LTSA / SPIN / タスク設計 / / / / / |
(英) |
/ / / / / / / |
文献情報 |
信学技報, vol. 108, pp. 39-44, 2009年1月. |
資料番号 |
|
発行日 |
2009-01-06 (ICD) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
エレソ技報アーカイブへのリンク:ICD2008-136 |