ハイブリッドシステムのモジュール演繹的検証手法
スポンサーリンク
概要
- 論文の詳細を見る
ハイブリッドシステムはアナログ環境に組み込まれたデジタルな実時間システムであり, 信頼性保証が重要である. 信頼性保証を効率的に実現するために, 以下のように, 我々はハイブリッドシステムのモジュール単位の仕様記述と検証の手法を提案する: (1)ハイブリッドシステムのモジュール単位の仕様を表現するために, フェーズ遷移モジュールを開発する. (2)モジュール単位の計算の実現性を保証するために, フェーズ遷移モジュールのreceptivenessの検証手法を開発する. (3)モジュール毎の安全性や活性を演繹的検証するために, フェーズ遷移モジュールの検証ルールを開発する.
- 2001-05-18
論文 | ランダム
- 経営コーナー 中堅・中小企業の事業承継の成否は後継者の心構えで決まる
- 講演録 演題「変革のリーダーはどうあるべきか」
- 八木亜夫の時事放談 言わせてもらえば……(116)角界は新時代を開けるか
- 第49回関西財界セミナー 「チーム関西」でアジアと連携を
- おしゃれな野菜のおすそわけ--都会暮らしに彩り添える--アーバンファーマーズ