For example, an electronics tutoring system might employ categories such as measurement, hypothesis, or transistor instead of NP, and fault-specification or voltage-specification instead of VP.
H∞ performances are applied to characterize the disturbance attenuation and fault sensitivity specifications.
Then, we obtain manually the final distributed implementation and we formally verify its conformity to the initial fault-tolerant specification.
In addition, the two crucial faults and their specifications in the study region are presented as follows: Khazar fault: That is a thrust and active fault extends more than 600 km extent, an E W curved strike from north of Alborz mountains to south of Mazandaran littoral plain.
Source specifications, magnitude, fault rupture type and distance to the seismogenic sources.
Moreover, they are affected by many factors; the most important factors are presented below: Source specifications, magnitude, fault rupture type and distance to the seismogenic sources.
A specification-driven fault list for capacitors is also defined based on the sensitivity analysis.
To prevent designer's faults coming from a specifications' misinterpretation, the specifications are translated into algebraic statements.
The MPI standard does not currently have a specification for fault tolerance [8]; there is no definition of the precise behavior that MPI implementations must take to deal with faults [9, 10].
Nevertheless, it is unlikely that services (often controlled by third parties) will ever be completely free of software faults arising from wrong specifications or incorrect coding (Trivedi et al. [2010]).
