| | [No title] (Site not responding. Last check: 2007-10-30) |
 | | An interesting fault model of this kind is the hybrid model introduced by Thambidurai and Park [TP88]: in addition to arbitrary (i.e., Byzantine) faults, they consider manifest and symmetric faults. |
 | | A manifest fault is one that is reliably detected by all nonfaulty components (e.g., a missing message or one with an incorrect checksum), while a symmetric fault is one that is not detectable (i.e., it is a wrong rather than invalid or missing value) but that has the same manifestations to all receivers. |
 | | The hybrid fault model is attractive in the larger context for which the example developed here was originally developed because that context is concerned with systems running on the Time Triggered Architecture (TTA) [KB03], where Byzantine faults are strongly contained [BKS02] and message loss (i.e., manifest faults) is the main concern. |
| www.csl.sri.com /cgi-bin/rushby/ps2ascii?~rushby/papers/om1 (5681 words) |