ハイブリッドシステムのモジュール演繹的検証手法
スポンサーリンク
概要
- 論文の詳細を見る
ハイブリッドシステムはアナログ環境に組み込まれたデジタルな実時間システムであり, 信頼性保証が重要である. 信頼性保証を効率的に実現するために, 以下のように, 我々はハイブリッドシステムのモジュール単位の仕様記述と検証の手法を提案する: (1)ハイブリッドシステムのモジュール単位の仕様を表現するために, フェーズ遷移モジュールを開発する. (2)モジュール単位の計算の実現性を保証するために, フェーズ遷移モジュールのreceptivenessの検証手法を開発する. (3)モジュール毎の安全性や活性を演繹的検証するために, フェーズ遷移モジュールの検証ルールを開発する.
- 2001-05-18
論文 | ランダム
- はじめに--転写と転写因子の歴史的展望 (8月第1土曜特集 転写因子と疾患)
- ゾル-ゲル法による木材と無機質の複合化(第6報) SiO_2-P_2O_5およびSiO_2-B_2O_3無機質複合化木材への改質剤添加が及ぼす難燃効果
- 若い技術者に一言 (塑性加工と経済性特集号)
- 冷間鍛造素材どりの経済性
- OR4-2 胸腔鏡手術を施行した術前未確診肺腫瘤性病変の検討(一般口演4 胸腔鏡)