9 search results - page 1 / 2 » Probing and Fault Injection of Protocol Implementations |
ICDCS
1995
IEEE
14 years 2 months ago
1995
IEEE
ACSC
2003
IEEE
14 years 4 months ago
2003
IEEE
Time-triggered systems require a very high degree of temporal accuracy at critical stages during run time. While many software fault injection environments exist today, none of th...
IOLTS
2002
IEEE
14 years 4 months ago
2002
IEEE
A silicon independent C-Based model of the TTP/C protocol was implemented within the EU-founded project FIT. The C-based model is integrated in the C-Sim simulation environment. T...
ICFEM
2010
Springer
13 years 9 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
PAISI
2007
Springer
14 years 5 months ago
2007
Springer
Vulnerabilities in network protocol software have been problematic since Internet infrastructure was deployed. These vulnerabilities damage the reliability of network software and ...