The following enhancements are needed for fault probability:
- Need some error checking so users can't have both a "max # faults" and "max probability" declaration in the same component
- Need to decide what kind of error when a component does not have a probability
The following enhancements are needed for fault probability: