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

S.G. Aly; A.M. Salem

doi:10.1109/IWSOC.2003.1213031

Back

Conference proceeding

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

S.G. Aly and A.M. Salem

The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, 2003. Proceedings, pp.181-184

2003

DOI: https://doi.org/10.1109/IWSOC.2003.1213031

Abstract

Application software

Clocks

Collaboration

Computer architecture

Embedded software

Hardware

Java

Observability

Peer to peer computing

Virtual machining

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.

Metrics

1 Record Views

Details

Title: Java based co-verification of expedited mobile device collaboration using observability
Creators - without role: S.G. Aly - General Dynamics, Cairo, Egypt
A.M. Salem
Publication Details: The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, 2003. Proceedings, pp.181-184
Publisher: IEEE
Identifiers: 9915383208331
Academic Unit: Imam Abdulrahman Bin Faisal University
Language: English
Resource Type: Conference proceeding