事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査
スポンサーリンク
概要
著者
関連論文
-
確率時間ゲーム理論による組込みシステムのモデル化,仕様記述及び検証(ディペンダブルコンピューティング)
-
コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)
-
確率時間REGARによるPTCTLのサブクラスのモデル検査
-
組込みシステムのUML分析設計からタスク設計までの設計検証方法論(UML/開発方法論)
-
並列動作する確率時間システムに対する拡張CEGAR(モデル化・仕様記述)
-
階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
-
事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査
-
確率ゾーングラフを用いた確率時間強模倣関係による検証(ディペンダブルコンピューティング)
-
確率時間インターフェース理論による組込み型システムの設計手法(グラフ, ペトリ, ニューラルネット及び一般)
-
事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査(ディペンダブルコンピューティング)
-
コンポーネントウェアによる確率リアルタイムシステムの設計検証手法
-
動的リアルタイムCEGAR(一般セッション)
-
確率時間REGARによるPTCTLのサブクラスのモデル検査
-
階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
-
空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション)
-
空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション,一般,フレッシャーズセッション)
-
動的リアルタイムCEGAR(一般セッション,一般,フレッシャーズセッション)
-
動的再構成可能組込みシステムのモデル化と仕様記述(モデル化・仕様記述)
-
確率時間強模倣検証アルゴリズムの実現
-
時間弱模倣検証に基づくリアルタイムソフトウェアの詳細化設計手法(ディペンダブルコンピューティング)
-
非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法(グラフ,ペトリ,ニューラルネット及び一般)
-
非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法(グラフ,ペトリ,ニューラルネット及び一般)
-
述語抽象化洗練を用いたリアルタイムプログラムの自動検証手法(計算機科学の理論とその応用)
-
述語抽象化とその精錬による確率線形ハイブリッドオートマトンの到達可能解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
-
確率線形ハイブリッドオートマトンの記号的到達可能性解析手法(グラフ,ペトリ,ニューラルネット及び一般)
-
確率線形ハイブリッドオートマトンの記号的到達可能性解析手法(グラフ,ペトリ,ニューラルネット及び一般)
-
確率時間オートマトンの確率時間強模倣検証器の開発(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
-
AS-4-3 制限付きストップウォッチオートマトンと時間オートマトンを用いた,プリエンプティブスケジューリングシステムのUML分析設計からタスク設計までの設計検証方法論(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)
もっと見る
閉じる
スポンサーリンク