Formal verification of a clock synchronization method in a distributed automotive system
This thesis presents the formal verification of a clock synchronization algorithm in a distributed communication system. The communication system is inspired by the demands of the automotive industry and based on the FlexRay standard. The work is part of the Verisoft automotive subproject. The distr...
| Main Author: | |
|---|---|
| Published: |
University of Oxford
2007
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.644653 |