階層化マトリクス型状態遷移図を用いた、組込型ソフトウェアの動的仕様記述方式の提案
スポンサーリンク
概要
- 論文の詳細を見る
近年、コンピュータシステムの利用の拡大に伴い、高信頼、無停止システムへの要求が強まっている。ハードウェアの信頼性は2重化等で実現されるが、難しいのはシステム組込型の制御ソフトウェアにおいて、複雑なシステム状態の制御を正しく設計することである。これに対して、階層化マトリクス型状態遷移図を用いた、システム状態遷移制御仕様記述方法を提案した。本論文では、階層化マトリクス型状態遷移図を用いた仕様記述方法とその作成手順について述べる。
- 一般社団法人情報処理学会の論文
- 1994-09-20
著者
-
村田 智洋
早稲田大学大学院 情報生産システム研究科
-
村田 智洋
(株)日立製作所システム開発研究所
-
小野 綾子
(株)日立製作所 システム開発研究所
-
村田 智洋
(株)日立製作所 システム開発研究所
関連論文
- ウェブサービスを用いた動的ビジネスプロセスアウトソーシングのためのアプリケーションアーキテクチャの提案
- 色付きペトリネットに基づくりリアルタイム情報処理用ソフトウェア
- ネット指向形シ-ケンスコントロ-ラの動向 (シ-ケンス制御)
- ペトリネットによる制御ル-ルの検証
- 容量ペトリネットの活性解析のためのネット縮約の一方法
- 離散型FAシステムのトラッキング監視制御向きソフトウェアSCT
- ファクトリ-オ-トメ-ション向き事象駆動形プロセスの制御基本ソフトウェア (ファクトリ-オ-トメ-ションシステム)
- ペトリネットのFA制御への応用 (制御の理論と技術特集号)
- ペトリネットに基づく高フレキシブルFA制御システム
- ペトリネット拡張の高フレキシブルFA用言語C-net (シ-ケンス制御システムの新しい表現法)
- 次世代の産業社会におけるコンカレント技術
- ニューラルネット学習を用いた動的生産環境における多目的ディスパッチング制御の研究
- 不連続生産における多目的ディスパッチング制御の研究
- マルチプロダクトを考慮したデマンドドリブン生産システムのスループット管理制御方式の提案
- キャッシュ付き磁気ディスク制御装置の機能縮退・復旧制御方式
- 動的セル生産システムにおける最適生産計画と感度解析
- 相互メーターゴールプログラミングを用いた協力製造のための決定サポートシステムに関しての研究
- シナリオベースシミュレーションにおけるシナリオ設定支援機能の提案
- 条件変化に伴う再計画を考慮した鉄道車両基地構内入換スケジューリング方式
- GA・ヒューリスティック融合スケジューリング方式 : 車両転線計画の作成
- GA応用車両基地トータル運用支援システム : 配車計画機能
- GA応用車両基地トータル運用支援システム : 車両運用計画機能
- 遺伝的アルゴリズムによる車両運用スケジューリング方式
- GAにもとづく制約駆動型リソース割り当てスケジューリング方法
- 階層化マトリクス型状態遷移図を用いた、組込型ソフトウェアの動的仕様記述方式の提案
- マルチレイヤ状態機械モデルによる並行システムの制御