ABSTRACT
Our final task is to determine whether we have met the dependability requirements for a specific software system. Examining this issue is important, because otherwise we might end up with one of two unacceptable circumstances:
• The system that we have built has lower dependability than is required, and so the system might fail more frequently than is considered acceptable.
