Java based co-verification of expedited mobile device collaboration using observability

In this paper, an architecture of a Java based co-verification environment is proposed. A clock, memory, and bus have been modeled using the model-view paradigm. Furthermore, mobile device collaboration has been modeled using communicating threads. The proposed model consists of four components: a Java Virtual Machine, a Java based bus functional model (JBFM), a collaboration protocol model and an API interface. A simple image processing operation has been used to demonstrate the applicability of our approach.