WEKO3
アイテム
LTSAとSPINを連携させたタスク設計の提案
https://ipsj.ixsq.nii.ac.jp/records/61087
https://ipsj.ixsq.nii.ac.jp/records/61087c7d1a959-4a30-45a5-8d0a-0f311bbf9060
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-EMB09011008 (708.6 kB)
|
Copyright (c) 2009 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2009-01-06 | |||||||
| タイトル | ||||||||
| タイトル | LTSAとSPINを連携させたタスク設計の提案 | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| イーソル株式会社 | ||||||||
| 著者所属 | ||||||||
| タオベアーズ合同会社 | ||||||||
| 著者所属 | ||||||||
| イーソル株式会社 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| eSOL Co.,Ltd. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| TAOBEARS LLC. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| eSOL Co.,Ltd. | ||||||||
| 著者名 |
藤倉, 俊幸
× 藤倉, 俊幸
|
|||||||
| 著者名(英) |
Fujikura, Toshiyuki
× Fujikura, Toshiyuki
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | タスク分割および基本的な同期構造の設計および検証を LTSA でおこない．次に，検証済みの LTSA モデルをpromelaに変換し SPIN を使用してタスク詳細設計をおこなう手法を提案する． LTSA モデルは要求分析の結果作られる，シーケンス図や状態図から生成する．変数等を使用しない抽象度の高いタスク動作の検証を LTSA で実行する． SPIN ではグローバル変数や非同期通信を利用した詳細設計レベルの検証をおこなう． LTSA と SPIN の特徴を活かしたタスク設計法を提案する． | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA12149313 | |||||||
| 書誌情報 |
研究報告組込みシステム（EMB） 巻 2009, 号 1(2009-EMB-11), p. 39-44, 発行日 2009-01-06 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
