Automatic Synthesis of Communication Controller Hardware from Protocol Specifications.
Robert SiegmundDietmar MüllerPublished in: IEEE Des. Test Comput. (2002)
Keyphrases
- communication protocol
- real time
- communication protocols
- tcp ip
- low cost
- lightweight
- multi party
- protocol specification
- control system
- neural network
- agent communication language
- data acquisition
- communication networks
- hardware and software
- controller synthesis
- interaction protocols
- state machines
- program synthesis
- group communication
- closed loop
- authentication protocol
- communication systems
- optimal control
- operational semantics
- information sharing
- formal specification
- control scheme
- vehicular ad hoc networks
- computer systems
- medium access control
- protocol stack
- micro controller
- high level
- control strategy