状態遷移表の型の定義 : 基本概念

スポンサーリンク

概要

• 論文の詳細を見る

• マイコン組み込みソフトウェアの設計に状態遷移表(STM)を適用するケースが増えてきている。これは, 有限状態マシンにおける設計のモレ・ヌケを防止するためにSTMが有効に機能するからである。しかし, 従来のSTMでは, 並列性, 状態階層化, 割込み事象, デバイスドライバ, ステートドリブンプログラム構造に対応できない。そこで, STMに8つの型を定義することで, 従来の問題点を解決した。

• 一般社団法人情報処理学会の論文
• 1997-09-24

著者

• 渡辺 政彦

  テスコ(株)

• 渡辺 政彦

  テスコ

関連論文

• 状態遷移表を中心としたマイコン組み込みシステム用開発環境ZIPC : 具体的応用例
• 状態遷移表の型の定義 : 開発への応用
• 状態遷移表の型の定義 : 基本概念
• 状態遷移表を中心としたマイコン組み込みシステム用開発環境 ZIPC : 基本的概念
• 開発環境探訪--リアルタイム・システム開発用CASE"ZIPC"--シミュレ-ション・モデルとエミュレ-タの機能

スポンサーリンク