リアクティブシステム動作仕様の段階的充足可能性の判定手続き(<特集>システム検証の科学技術)
スポンサーリンク
概要
- 論文の詳細を見る
リアクティブシステムとは,システム利用者などのシステムの外界とシステムがインタラクションを行いながら,システムが利用者ヘサービスを提供するシステムである.時相論理は,リアクティブシステムの仕様を形式的に記述するための方法の1つである.リアクティブシステムの仕様が実現可能であるとは,システム利用者がどのような動作を行っても,仕様を満たすように動作を行うことが可能であるシステムが存在することをいう.リアクティブシステムの仕様が実現可能では無い場合,リアクティブシステムをいくつかのクラスに分けることができる.本論文では,実現可能ではないリアクティブシステム仕様の性質の1つである段階的充足可能性の判定手続きを示す.
- 一般社団法人日本ソフトウェア科学会の論文
- 2005-01-26
著者
-
吉浦 紀晃
埼玉大学大学院理工学研究科数理電子情報部門情報領域
-
吉浦 紀晃
群馬大学総合情報処理センター
-
吉浦 紀晃
埼玉大学大学院工学研究科
-
吉浦 紀晃
埼玉大学大学院理工研究科数理電子情報部門情報領域
関連論文
- 利他主義と情報技術による地域社会の安全化 : e自警ネットワーク実現に向けたシステムの導入と展望(第4部 学術論文,ユビキタス社会と建築・都市のフロンティア)
- 移動体通信システムにおける移動体の動きと通信性能評価に関する研究
- 証明力が拡張された適切さの論理体系ER
- 移動体の移動を考慮した二次元セルラーネットワークの性能評価
- 一次元セルラーネットワークにおける保留時間を考慮したチャネル制御について(通信と制御)
- 二次元セルラーシステムにおける移動特性と通信性能に関するシミュレーション評価
- 分散自律設置カメラシステムによる地域社会の安全化--e自警ネットワーク構想の概要と学校への導入事例紹介 (第22回センシングフォーラム 資料--センシング技術の新たな展開と融合) -- (セッション1B2 ネットワークセンシングシステム)
- 一次元セルラーネットワークの通信性能に関する移動体の速度分布の影響について(プロトコルと開発ツール)(新時代の分散処理とネットワーク(WebサービスとP2P))
- 生体情報による認証への一方向関数の応用
- 移動体の速度分布を考慮した一次元セルラーネットワークのシミュレーションによる通信性能評価
- ハッシュ関数を用いた生体情報による認証の実験
- ハッシュ関数を用いた生体情報による認証の実験
- ハッシュ関数を用いた生体情報による認証の実験
- 多地点参加の遠隔講義の運用実験
- 多地点参加の遠隔講義の運用実験
- 適切さの論理ERの自動定理証明器の実装 (特集 「知識発見の生命科学への応用」および一般)
- BitTorrentにより配信される音楽や映像ファイルの自動検出 (インターネットアーキテクチャ)
- BitTorrentにより配信される音楽や映像ファイルの自動検出 (技術と社会・倫理)
- DNSサーバの分散管理から集中管理への移行 (第4回ネットワークシンポジウム講演論文集)
- 時相論理によるリアクティブシステム動作仕様からの効率的なプログラムの合成法 (第3回ネットワークシンポジウム講演論文集)
- リアクティブシステムの段階的充足可能性とSafety Propertyの関係
- 証明力を拡張した適切さの論理$ER$ (プログラム変換と記号・数式処理)
- 適切さと論理RとERの証明力の比較
- 適切さの論理ERの決定可能性
- 証明力を拡張した適切さの論理ER
- 結合子の適切さによる人間の演繹的な推論の形式化 (&特集>「記号論理とAI」)
- BitTorrentにより配信される音楽や映像ファイルの自動検出
- プライベートネットワークアドレスを利用する際の経路制御について
- リアクティブシステム動作仕様の段階的充足可能性の判定手続き(システム検証の科学技術)
- DNSサーバの分散管理から集中管理への移行
- リアクティブシステムの利用に伴う進化
- Access Control Listの等価性判定のためのテストケース生成 (技術と社会・倫理)
- ICMPパケットの遮断によるIPv6通信における問題への対策 (情報通信マネジメント)
- Access Control Listの等価性判定のためのテストケース生成 (インターネットアーキテクチャ)
- 災害対策におけるコミュニケーション基盤フレームワークの一提案(省エネルギーと超高速ネットワーク,インターネットと環境・エコロジー,一般)
- 災害対策におけるコミュニケーション基盤フレームワークの一提案
- 首都圏近郊の大学における計画停電の影響と対策
- Access Control Listの等価性判定のためのテストケース生成(NW情報調査・可視化技術,インターネットと情報倫理教育,一般)
- Access Control Listの等価性判定のためのテストケース生成(NW情報調査・可視化技術,インターネットと情報倫理教育,一般)
- ICMPパケットの遮断によるIPv6通信における問題への対策(サービス管理,運用管理技術,セキュリティ管理,及び一般)
- 検索されたWebページにおける検索語に基づく重要箇所の表示(ネットワークサービス,インターネットと情報倫理教育,一般)
- 位置情報に基づく災害時の重要情報を優先転送するネットワーク管理手法〜実用化に向けた実地検証報告〜