|
HOKUGA >
北海学園大学 >
工学部・工学研究科 >
研究紀要 >
北海学園大学工学部研究報告 >
第31号 >
このアイテムの引用には次の識別子を使用してください:
http://hokuga.hgu.jp/dspace/handle/123456789/778
|
| タイトル: | 組込みシステムの試作における挙動の代数的記述と動作検証 |
| その他のタイトル: | Algebraic Behavior Description and Validation in Early Design Phase for Embedded System |
| 著者: | 菊地, 慶仁
KIKUCHI, Yoshihito |
| 発行日: | 20-Feb-2004 |
| 出版者: | 北海学園大学工学部 |
| 抄録: | 本研究では,設計初期段階におけるシステムの入出力関係や状態遷移規則を形式的に記述し,挙動の安定性や操作性などを分析することを目的とする。このために,代数的な仕様の記述と公理系に基づいた検証方式の提案を行う。また有効性の確認として,提案した方法に基づいて,状態遷移機械を対象とした状態遷移則の基本的な性質の検証を行う。さらに状態遷移が階層化されている場合について,記述方法と検証項目の提案及び仕様の検証を行う。 |
| URI: | http://hokuga.hgu.jp/dspace/handle/123456789/778 |
| 出現コレクション: | 第31号
|
このリポジトリに保管されているアイテムは、他に指定されている場合を除き、著作権により保護されています。
|
