Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP.
Dehui DuXijiao XiongPublished in: COMPSAC Workshops (2011)
Keyphrases
- real time
- control system
- low cost
- test bed
- communication overhead
- resource constrained
- artificial intelligence
- high speed
- communication systems
- automated theorem proving
- database
- low bandwidth
- communication protocol
- instant messaging
- real time systems
- software components
- communication networks
- computer networks
- data acquisition
- information sharing
- building blocks
- sensor networks
- multi agent systems
- case study
- data mining
- neural network
- data sets