A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Symmetry Reduction of Time-Triggered Ethernet Protocol
2013
Procedia Computer Science
Time-Triggered Ethernet is a relatively new protocol for safety-critical Local Area Network environments, known for its reliability and efficiency in providing seamless fail-safe communication. This paper presents a formal verification of the TTEthernet protocol, based on an interpretation of the TTEthernet specification document, applied to two formal network scenarios that represent a real-time, safety-critical setting. The conceptual model of both scenarios are modeled using the
doi:10.1016/j.procs.2013.06.039
fatcat:fvyxgpjmezhx7eu5pm325pzzn4