2024-03-29T07:01:28Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000274752023-04-27T10:00:04Z01164:02036:02073:02074
実時間制約を有する単一バスシステムのJavaによるモデル化およびパラメトリックモデルチェッキングを用いた設計手法の提案Modeling Single Bus System with Real - time Constraints by Java and Design Methodology using Parametric Model Checkingjpnhttp://id.nii.ac.jp/1001/00027475/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=27475&item_no=1&attribute_id=1&file_no=1Copyright (c) 2002 by the Information Processing Society of Japan大阪大学大学院情報科学研究科株式会社日立製作所半導体グループ大阪大学大学院情報科学研究科大阪大学大学院情報科学研究科北口, 智谷本, 匡亮中田, 明夫東野, 輝夫近年、システムLSIの果たす役割はその重要性をましている。また、システムLSIにおいては実時間制約を如何に満たすかが、しばしば問題となる。さらに、システムLSIを実装する上で要求性能を満たすように設計する場合、バスシステムの設計が重要と成る。しかし、バスシステムを実時間制約を満たすよう効率良く設計するための設計手法がシステムシミュレーションによる方法以外提案されていないのが現状である。本論文では、Javaとパラメトリック・モデルチェッキングを用いた、実時間制約を満たすバスシステムの新規設計手法を提案する。Recently, the role of system LSIs becomes more important. Moreover, it is often the problem whether system LSIs satisfy real-time constraints. Also, it is important to design bus systems so that we can implement system LSIs which satisfy the required performance. However, currently no other methodologies but system simulation have been proposed so far in order to design such bus systems which satisfy real-time constraints. In this paper, we propose a new design methodology to design bus system with real-time constraints by medelling them in Java and using parametric model checking.AA11451459情報処理学会研究報告システムLSI設計技術(SLDM)2002113(2002-SLDM-107)19242002-11-272009-06-30