Modeling TTEthernet Startup Service in SystemC for Verifying Fault-Tolerant Protocol under Fail-Omission Scenarios.

Jing Li Qiao Li Xueqian Tang

Published in: TENCON (2018)

Keyphrases

fault tolerant
fault tolerance
distributed systems
key distribution
mobile agent system
protocol specification
load balancing
high availability
web services
management system
artificial intelligence
model checking
communication networks
interconnection networks
state machine