分散制御システムのデバッグ手法 : 要求仕様を用いたイベントヒストリの検査
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,システム稼働時に収集したイベントヒストリをシステムの要求仕様を用いて検査することにより,タスクの実行順序などの分散制御ソフトウェアの誤りを検出する手法について述べる.従来のようにイベント検査のために煩雑なテスト用イベントパターンを準備する必要はない.抽象度が大きく異なる要求仕様とイベントとの対応をつけるため,タスクのインタフェースを仲介にしてマッピングテーブルを生成する方法を考案した.また,検査モデルの生成や,デバッグ作業を支援するためのビジュアルモニタの表示にも工夫を行った.鉄鋼プラント制御システムを簡単化した例を用いて,本手法の有効性を示す.
- 一般社団法人情報処理学会の論文
- 1992-04-15
著者
関連論文
- IEC61499準拠のFFエンジニアリングツール
- Web Mediator: WWWにおける社会的インタラクション : JavaインタフェースによるプライベートWeb空間共有機能の実現
- 11)建築CADにおけるMD木を用いた3次元表示 : 座標変換による陰線消去の高速化(〔放送方式研究会 画像通信システム研究会 視聴覚技術研究会 画像処理・コンピュータビジョン研究会 画像応用研究会 映像表現研究会〕合同)
- MD木を用いた建築CADのための3次元表示
- プラント監視制御システムにおけるフレームワーク型統合エンジニアリングモデル
- 産業システムのソフトウェア技術-V : マンマシンミドルウェア
- プラントパラメータの3次元可視化の効果
- ミドルウェア化を指向した知的エージェントシステムの開発
- 3次元CGにおけるZ座標を利用した値表示の有効性評価
- 生成・カスタマイズ手法を用いた3次元GUIの構築とその評価 (知的教育システム研究会(第23回)テ-マ:「情報の可視化/一般」)
- 知的インタフェ-スエ-ジェントによるアプリケ-ションユ-ザの支援 (テ-マ:特集「知識の相互伝達」)
- 生成・カスタマイズ方式を用いた3欠元監視制御画面の構築
- 3次元モデルを用いた監視制御システムの-構築手法 : 監視制御システム構築用クラスライブラリと3次元描画用クラスライブラリの融合
- グループウェアにおけるボトムアップな情報共有 : 社会的インタラクションとインフォーマルコミュニケーションの支援
- 生成・カスタマイズ方式による監視制御システム向け3次元GUI構築手法の提案
- 設備を管理する図面から監視画面を自動生成するプラント監視システムの構築手法
- オブジェクト指向方式を用いた設備データ管理システムの実現(II) : データ管理方式
- オブジェクト指向方式を用いた設備データ管理システムの実現(I) : 概要とユーザインターフェース
- 対話型システム視覚的構築用クラスライブラ : GhostHouse(II) : 監視制御システムへの適用
- 対話型システム視覚的構築用クラスライブラ : GhostHouse(I) : 設計方針と概要
- PMR quadtreeを用いた線分・領域・画像データの統合管理 : 領域管理とスクロール性能の評価
- PMR quadtreeによる領域データの管理
- 学習ネットワークGRBFの変形する3次元物体の認識能力
- 企業情報統合ミドルウェアを実現する多段購読コンポーネントモデル
- 分散型監視制御システム構築環境(4) : アクションオブジェクトの視覚的定義
- 分散型監視制御システム構築環境(1) : システム概要
- フレームワークライブラリをベースとした視覚的プログラミングの一方式
- ソフトウェア生産を統合的に支援する列車運行監視システムビルダの実現
- 生成・カスタマイズ方式によるGUI構築手法の提案とクラスライブラリGhostHouseによる実現
- クラスツリー間の接続に基づく視覚的プログラミング手法
- クラスツリー間の接続に基づく視覚的プログラミング手法(II) : 3次元可視化方式と操作手法
- クラスツリー間の接続に基づく視覚的プログラミング手法(I) : ソフトウェアモデル
- 並列オブジェクト指向言語 LGO の故障回復機構
- 生成・カスタマイズ手法によるソフトウエア開発方式
- Lindaモデルへの結合的なプロセス関係の導入
- GhostHouseにおける部品間の属性値共有機能
- ペトリネットによるLindaプログラムの解析
- 対話型システム視覚的構築用クラスライブラ : GhostHouse(IV) : 外部データアクセスの仮想化
- 対話型システム視覚的構築用クラスライブラリ : GhostHouse : オンライン帳票ビルダヘの適用
- プリズムを用いた自動ドアの光学式センサ (第20回センシングフォーラム 資料--センシング技術の新たな展開と融合) -- (セッション1B2 位置・長さ・形状計測(1))
- エレベータの歴史と今後の課題
- 建築図面読み取りシステム : GXAuto-vectorizer : (2)ベクトル化手法と性能評価
- 建築図面読み取りシステム:GXAuto-vectorizer : (1)システム概要
- エネルギー最小化による変形可能仮想ろくろモデラ
- C++言語のシステム向き拡張ツール : OPTEC
- 分散制御システムのデバッグ手法 : 要求仕様を用いたイベントヒストリの検査
- オブジェクト間結合にデータ伝播機構を用いた視覚的オブジェクト指向言語
- 電力設備の計画・設計・監視に適した大規模グラフィックデ-タ管理方式 (システム計画・設計の支援技術-特集号)
- 分散制御システムのデバッグ手法 : 動作仕様を用いたイベントヒストリの検査
- C言語の問題向き拡張システムOPTECの高速化
- LindaモデルにおけるTuple Spaceの構造化
- 実行モデルを用いた実時間制御システムの動作監視
- ハードウェアシミュレーションシステムALHARDビジュアルインタフェースの拡張
- C言語拡張システム : OPTEC : 構文ツリーの書換え
- 空間的広がりを持つ図形データのMD木による管理 : R(region)-MD木
- オブジェクト指向方式によるC言語拡張システム : OPTEC(2)実現手法とXツールキット対応拡張例
- ハードウェア動作記述言語 : ALHARD(3) : シミュレーションインタフェース
- ハードウェア動作記述言語 : ALHARD(2) : 言語仕様とCへの変換処理
- ハードウェア動作記述言語 : ALHARD(1) : 概要とマイクロプログラムシミュレータへの応用
- プラント監視制御ミドルウエアの開発 : マンマシン管理機能の検証手法
- プラント監視制御ミドルウエアの開発 : マンマシン管理機能の概要と構成
- 機能コンポーネントを用いた監視制御用マンマシンシステムの構築手法
- 実用ソフトウェアとソフトウェア工学 : 監視制御用マンマシンシステムの開発例を中心にして
- エレベータ群管理制御におけるAI技術の応用(「実用システムに見るAI技術」〔第1回〕)
- 三菱電機 先端技術総合研究所 システム構築技術部 ユーザインタフェース構築技術の研究開発
- オブジェクト指向方式によるC言語拡張システム : OPTEC(1)概要
- ラスター演算による設備図面のシンボル認識
- 監視制御マンマシンシステムの視覚的オブジェクト指向構築方式
- ウィジェット操作のためのC++クラスライブラリの試作
- GUI生成・編集機能を持つクラスライブラリGhostHouse(その2) : ビュー部品とAP実行時の修正機能
- GUI生成・編集機能を持つクラスライブラリGhostHouse(その1) : モデル部品とGUI自動生成方式
- 3. フォームウェア工学 3.2 マイクロプログラムの作成支援ツール (<特集>マイクロプログラム技術)
- オブジェクト指向方式によるルール記述について : メッセージ駆動プロダクションシステム
- オブジェクト指向言語VEGAMSによる構造レベルハードウェアのモデル化
- 論理装置 CAD におけるユーザ・インタフェースの新動向