機器組込み用ソフトウェアの設計・検証支援に関する研究

この論文をさがす

著者

    • 手嶋, 茂晴 テシマ, シゲハル

書誌事項

タイトル

機器組込み用ソフトウェアの設計・検証支援に関する研究

著者名

手嶋, 茂晴

著者別名

テシマ, シゲハル

学位授与大学

名古屋大学

取得学位

博士(工学)

学位授与番号

甲第4333号

学位授与年月日

1999-03-25

注記・抄録

博士論文

目次

  1. 目次 / p3 (0004.jp2)
  2. 第1章 序論 / p1 (0006.jp2)
  3. 1.1 背景 / p1 (0006.jp2)
  4. 1.2 実時間処理の分類と本論文の研究対象 / p2 (0007.jp2)
  5. 1.3 関連研究 / p4 (0008.jp2)
  6. 1.4 組込み用ソフトウェア設計・検証支援システム:組込み工房の概要と本論文との関係 / p8 (0010.jp2)
  7. 第2章 機器組込み用ソフトウェアのプログラムモデル / p13 (0012.jp2)
  8. 2.1 はじめに / p13 (0012.jp2)
  9. 2.2 イベント駆動有限状態機械プログラムモデル:EFSプログラムモデル / p14 (0013.jp2)
  10. 2.3 EFSプログラムモデルの形式的定義 / p17 (0014.jp2)
  11. 2.4 プログラミング言語でのEFSプログラムモデル実時間機能の実現 / p18 (0015.jp2)
  12. 第3章 プロトタイプシステム設計 / p19 (0015.jp2)
  13. 3.1 はじめに / p19 (0015.jp2)
  14. 3.2 プロトタイプ用設計言語Schetch/Mの実現 / p21 (0016.jp2)
  15. 3.3 Schetch/Mの車両制御への適用評価 / p32 (0022.jp2)
  16. 3.4 まとめ / p38 (0025.jp2)
  17. 第4章 プロトタイプシステム記述からのソースコード合成 / p40 (0026.jp2)
  18. 4.1 はじめに / p40 (0026.jp2)
  19. 4.2 合成対象のターゲットシステム / p41 (0026.jp2)
  20. 4.3 C言語用EFS-プログラムモデルの実時間機能ライブラリ / p42 (0027.jp2)
  21. 4.4 Schetch/MからのSchetch/C合成アルゴリズム / p44 (0028.jp2)
  22. 4.5 Schetch/Cから組込み用C言語ソースコードへの変換 / p46 (0029.jp2)
  23. 4.6 合成例とその評価 / p47 (0029.jp2)
  24. 4.7 まとめ / p48 (0030.jp2)
  25. 第5章 時間オートマトンによる形式的検証 / p50 (0031.jp2)
  26. 5.1 はじめに / p50 (0031.jp2)
  27. 5.2 準備 / p50 (0031.jp2)
  28. 5.3 時間オートマトンによる車両制御アルゴリズムのモデル化 / p53 (0032.jp2)
  29. 5.4 検証結果 / p60 (0036.jp2)
  30. 5.5 まとめ / p69 (0040.jp2)
  31. 第6章 ソフトウェア文書管理 / p71 (0041.jp2)
  32. 6.1 はじめに / p71 (0041.jp2)
  33. 6.2 構造化文書を内部表現とするソフトウェア文書管理 / p72 (0042.jp2)
  34. 6.3 ソフトウェア文書管理システムLiaison / p79 (0045.jp2)
  35. 6.4 適用事例および評価 / p83 (0047.jp2)
  36. 6.5 まとめ / p93 (0052.jp2)
  37. 第7章 結論 / p95 (0053.jp2)
  38. 謝辞 / p100 (0056.jp2)
  39. 参考文献 / p102 (0057.jp2)
  40. 発表文献 / p113 (0062.jp2)
1アクセス

各種コード

  • NII論文ID(NAID)
    500000173036
  • NII著者ID(NRID)
    • 8000000173312
  • DOI(NDL)
  • NDL書誌ID
    • 000000337350
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ