Formal specification of DSP gateway for data transmission between processor cores of OMAP platform.
Saulo Oliveira Dornellas LuizGenildo de Moura VasconcelosLeandro Dias da SilvaPublished in: SAC (2008)
Keyphrases
- data transmission
- formal specification
- high speed
- data acquisition
- model checking
- processor core
- object oriented design
- computer networks
- wireless sensor networks
- energy consumption
- base station
- communication networks
- formal methods
- monitoring system
- process algebra
- reverse engineering
- real time
- digital signal processor
- routing protocol
- signal processing
- machine learning
- software components
- data collection
- transmission delay
- databases