SMT-Based Formal Verification of a TTEthernet Synchronization Function

Abstract

TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network. For applications of highest criticality, TTEthernet provides a synchronization strategy that tolerates multiple failures. The resulting fault-tolerant timebase can then be used for time… (More)
DOI: 10.1007/978-3-642-15898-8_10

Topics

7 Figures and Tables

Slides referencing similar topics