Modeling single bus system with real-time constraints by Java and design methodology using parametric model checking

摘要

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 systems with real-time constraints by modelling them in Java and using parametric model checking.