実時間制約を有する単一バスシステムのJavaによるモデル化およびパラメトリックモデルチェッキングを用いた設計手法の提案

摘要

近年、システムLSIの果たす役割はその重要性を増している。 また、システムLSIにおいては実時間制約を如何に満たすかが、しばしば問題となる。 更に、システムLSIを実装する上で要求性能を満たすように設計する場合、バスシステムの設計が重要となる。 しかし、バスシステムを実時間制約を満たすよう効率よく設計するための設計手法がシステムシミュレーションによる方法以外提案されていないのが現状である。 本論文では、Javaとパラメトリック·モデルチェッキングを用いた、実時間制約を満たすバスシステムの新規設計手法を提案する。