cellular telephones), as well as a host of other physical devices, many of which
have safety-critical aspects. As their name implies, “safety-critical” systems
are those wherein people’s lives and health depend directly on the system’s
(including its software’s) reliability.