組込みソフトウェアの系統的な設計と検証―状態遷移設計とSPINの適用―

• Item type: SIG Technical Reports(1)
• 公開日: 2012-05-14
• タイトル: 組込みソフトウェアの系統的な設計と検証―状態遷移設計とSPINの適用―
• タイトル / 言語: en
• タイトル: Systematic Design and Verification of an Embedded Software ―Application of State Transition Design and SPIN―
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 形式手法
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 神奈川大学／現在，日立情報通信エンジニアリング(株)
• 著者所属: 神奈川大学
• 著者所属(英): en
• 著者所属(英): Kanagawa University / Presently with Hitachi Information & Communication Engineering, Ltd.
• 著者所属(英): en
• 著者所属(英): Kanagawa University
• 著者名: 望月, 祐希; 野口, 健一郎
• 著者名(英): Yuuki, Mochizuki; Kenichiro, Noguchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本研究では、セパレーション・カーネル方式のOS上に、交通管理システムの信号制御機を行う組込みソフトウェアを状態遷移設計とSPINを用いた系統的な設計と検証を通して試作した．これにより、信頼性の高い組込みソフトウェアを容易に作成できた．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We developed an embedded software, i. e. traffic signal control software, through systematic design and verification, applying state transition design and model check tool SPIN. We could obtain a reliable embedded software without trouble during implementation.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12149313
• 書誌情報: 研究報告組込みシステム（EMB）; 巻 2012-EMB-25, 号 8, p. 1-6, 発行日 2012-05-14
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会