同期型言語を用いたソフトウェア検証 : クルーズコントロールシステムにおける事例紹介(フォーラム)
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 2006-07-26
著者
関連論文
- ハイブリッドオートマトンの双模倣関係とその近似計算
- 自動車用コンピュータにおける制御タイミング仕様記述方法の検討
- 制御系ECU調停器の検証における演繹的アプローチについて(組込みシステム技術)
- AS-4-6 I/Oオートマトンのモジュラ制御における調停問題について(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)
- 離散事象システムのモジュラ状態フィードバック制御に対する調停器設計(ペトリネット,離散事象システム,一般)
- LTLで記述されるマニュアルに対するオートメーションサプライズの検出
- 同期型言語を用いたソフトウェア検証 : クルーズコントロールシステムにおける事例紹介(フォーラム)
- 最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用(システムと制御)
- AS-5-3 時間付きオートマトンでモデル化された人間-機械系におけるオートメーションサプライズの一検証法(AS-5. コンカレントシステムとハイブリッドシステムのための形式モデルとその応用, 基礎・境界)
- 制御系ECU調停器の検証における演繹的アプローチについて(組込みシステム技術)
- 離散事象システムにおけるオートメーションサプライズに対する警報器の設計
- 回路変換における照合手法
- 2914 オブジェクト指向型シミュレータを用いた機械加工用設備モデルライブラリ
- 対称性を有する区分的アフィンシステムにおけるリミットサイクルの解析
- A-2-13 対称性を有する区分アファインシステムにおけるリミットサイクルの解析
- プロセスモデリングのための標準スキーマ"EPML"の提案と,シミュレーションプロセスへの応用
- 制御ソフトウェアの開発方法論 : 制御理論と計算機科学の横断的設計アプローチ
- 車載電子制御システムの障害診断手法 : WPMax-SATを利用したCANデータ特異関係の抽出(ディペンダブルシステム,組込み技術とネットワークに関するワークショップETNET2011)
- 車載電子制御システムの障害診断手法 : WPMax-SATを利用したCANデータ特異関係の抽出(ディペンダブルシステム,組込み技術とネットワークに関するワークショップETNET2011)