A LOTOS specification of the SERCOS field-bus protocol.
Luca DuranteRiccardo SistoAdriano ValenzanoPublished in: SEKE (1994)
Keyphrases
- field bus
- protocol specification
- temporal ordering
- monitoring system
- control system
- remote control
- high level
- formal specification
- lightweight
- state machines
- network protocols
- specification language
- communication protocol
- formal analysis
- security protocols
- formal verification
- communication protocols
- real time
- tcp ip
- colored petri nets
- distributed systems