ハイブリッドシステムのモジュール演繹的検証手法
スポンサーリンク
概要
- 論文の詳細を見る
ハイブリッドシステムはアナログ環境に組み込まれたデジタルな実時間システムであり, 信頼性保証が重要である. 信頼性保証を効率的に実現するために, 以下のように, 我々はハイブリッドシステムのモジュール単位の仕様記述と検証の手法を提案する: (1)ハイブリッドシステムのモジュール単位の仕様を表現するために, フェーズ遷移モジュールを開発する. (2)モジュール単位の計算の実現性を保証するために, フェーズ遷移モジュールのreceptivenessの検証手法を開発する. (3)モジュール毎の安全性や活性を演繹的検証するために, フェーズ遷移モジュールの検証ルールを開発する.
- 2001-05-18
論文 | ランダム
- 医者も知りたい【医者のはなし】(第41回)Chemie(Chemistry)に化学と名付けた医師 川本幸民(1810-1871)
- 大特集11ページ! 医者・看護師・事務員が明かす 患者にはとても言えない「病院の真実」
- こどもを守ろう、お医者さんを守ろう(5)「赴任してもいいな」と思われるような地域に
- 教室内の目立たぬ位置に設置された観葉植物が台湾の中学生の心理、行動および健康状態に及ぼす影響 Ke-Tsung Han:Influence of Limitedly Visible Leafy Indoor Plants on the Psychology,Behavior,and Health of Students at a Junior High School in Taiwan [National Chin-Yi University of Technology Environment and B
- 340 通年性アレルギー性鼻炎患者の鼻汁中NOについて