マルチレイヤ状態機械モデルによる並行システムの制御
スポンサーリンク
概要
- 論文の詳細を見る
近年、オンラインシステムの利用はさらに拡大しており、24時間無停止運転に代表される高信頼システムへのニーズが増大している。ハードウエアの高信頼化は2重化等で実現可能だが、より難しいのは、システムの論理的な機能を適切に縮退復旧させるためのシステムソフトウエアの設計であり、この方法が十分確立していないために、システムの信頼性低下や開発工数の増大の一因ともなっている。このようなシステムソフトウエアにおいては、多重並行的に発生するイベントや障害に対し、システムの動作モード切り替えや構成変更を適切に制御する必要があり、そのためには、独立に動作可能な(並行性を有する)複数のコンポーネントの論理的状態の組合せを考慮し、それらのコンポーネントから構成されるシステムシステム状態遷移を適切に設計することが必要である本論文では、上記目的のために考案したマルチレイヤ状態遷移モデルにもとづく、多重並行システムの制御ソフトウアの構成的設計方法について述べる。まず、非同期並行状態遷移にもとづく並行システム合成について述べ、続いて、マルチレイヤ状態遷移モデルによる合成状態遷移仕様の階層的ビジュアル表記の方法について述べる。さらに、非決定性を含む合成状態遷移を実行制御する方法について述べる。
- 社団法人電子情報通信学会の論文
- 1994-07-18
著者
関連論文
- ウェブサービスを用いた動的ビジネスプロセスアウトソーシングのためのアプリケーションアーキテクチャの提案
- 色付きペトリネットに基づくりリアルタイム情報処理用ソフトウェア
- ネット指向形シ-ケンスコントロ-ラの動向 (シ-ケンス制御)
- ペトリネットによる制御ル-ルの検証
- 容量ペトリネットの活性解析のためのネット縮約の一方法
- 離散型FAシステムのトラッキング監視制御向きソフトウェアSCT
- ファクトリ-オ-トメ-ション向き事象駆動形プロセスの制御基本ソフトウェア (ファクトリ-オ-トメ-ションシステム)
- ペトリネットのFA制御への応用 (制御の理論と技術特集号)
- ペトリネットに基づく高フレキシブルFA制御システム
- ペトリネット拡張の高フレキシブルFA用言語C-net (シ-ケンス制御システムの新しい表現法)
- 次世代の産業社会におけるコンカレント技術
- ニューラルネット学習を用いた動的生産環境における多目的ディスパッチング制御の研究
- 不連続生産における多目的ディスパッチング制御の研究
- マルチプロダクトを考慮したデマンドドリブン生産システムのスループット管理制御方式の提案
- キャッシュ付き磁気ディスク制御装置の機能縮退・復旧制御方式
- 動的セル生産システムにおける最適生産計画と感度解析
- 相互メーターゴールプログラミングを用いた協力製造のための決定サポートシステムに関しての研究
- シナリオベースシミュレーションにおけるシナリオ設定支援機能の提案
- 条件変化に伴う再計画を考慮した鉄道車両基地構内入換スケジューリング方式
- GA・ヒューリスティック融合スケジューリング方式 : 車両転線計画の作成
- GA応用車両基地トータル運用支援システム : 配車計画機能
- GA応用車両基地トータル運用支援システム : 車両運用計画機能
- 遺伝的アルゴリズムによる車両運用スケジューリング方式
- GAにもとづく制約駆動型リソース割り当てスケジューリング方法
- 階層化マトリクス型状態遷移図を用いた、組込型ソフトウェアの動的仕様記述方式の提案
- マルチレイヤ状態機械モデルによる並行システムの制御
- 貿易書類の電子化と企業間ワークフロー
- 工程設計とスケジューリングの統合化における交渉遺伝的アルゴリズムに関する研究
- 数理計画モデルを用いた混合組立ラインにおける製品投入順序最適化に関する研究
- 多変量時系列モデルを用いた自動車改装部品の需要予測についての研究
- シミュレーションと応答曲面法による無人搬送車システムのモデリングと運用条件最適化
- 生産機械のメンテナンスタイプ戦略の選択と評価