Model-based analysis of Timed-Triggered Ethernet

Computer Science

• Fault Tolerant 100%
• Correctness Proofs 50%
• Formalization 50%
• Compression Function 50%
• Test Generation 50%
• Model Checking 50%
• Network Infrastructure 50%
• Ethernet Network 50%
• Ethernet Protocol 50%
• Automated Test 50%
• Distributed Application 50%
• State Machine Model 50%
• Theorem Prover 50%

Keyphrases

• Ethernet 100%
• Fault Tolerance Protocols 14%
• Interactive Theorem Prover 14%
• Compression Function 14%
• Coverage Testing 14%
• State Machine Model 14%
• Draft Standard 14%
• Avionics 14%
• Synchronous Detection 14%
• Ethernet Protocol 14%
• Real-time Distributed 14%
• Human Guidance 14%
• Correctness Proofs 14%
• Test Generation Tools 14%
• Model Checking Tools 14%
• Clique Detection 14%
• Automated Test Generation 14%
• Ethernet Networks 14%
• Fault Scenarios 14%
• Clock Synchronization Protocol 14%
• Formal Techniques 14%
• Fault-tolerant Networks 14%