Formal specification of DSP gateway for data transmission between processor cores of OMAP platform

Authors:
Saulo Oliveira Dornellas Luiz;Genildo de Moura Vasconcelos;Leandro Dias da Silva
Affiliations:
Federal University of Campina Grande, Campina Grande, PB, Brazil;Federal University of Campina Grande, Campina Grande, PB, Brazil;Paraíba State University, Campina Grande, PB, Brazil
Venue:
Proceedings of the 2008 ACM symposium on Applied computing
Year:
2008

Citing 2
Cited 0

A Communicating Finite Automata Approach to Modeling Distributed Computation and its Application to Distributed Decision-Making

IEEE Transactions on Computers
A theory of timed automata

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this article, formal models for the data transmission mechanism between ARM and DSP cores of OMAP platform 161x via DSP Gateway are presented. These models are represented as timed automata. The automata for the behavior of tasks running in the DSP when receiving requests of read or write operations from ARM are described. Data transmission between ARM and DSP is modelled according to the mechanism offered by tokliBIOS, the system kernel at DSP side. The formal model presented in this work helps developers to understand the communication mechanisms of DSP Gateway and facilitates its usage and future development.