volume_mute

Case for Formal Methods in Safety-Critical Systems

publish date: 2026/10/08 19:55:51.221509 UTC

When proposing formal methods for a small, safety-critical train control system, engineering managers are often skeptical about cost and complexity. Which of the following arguments support using formal methods in this project?

Formal methods completely eliminate the need for domain experts and software managers.

Refinement-based development (such as the B method) can generate provably correct code, reducing or eliminating component testing costs.

Formal specifications use precise mathematical semantics that eliminate requirement ambiguity and uncover subtle specification errors early.

Formal mathematical models generate vital documentation that forms a compelling safety case for regulatory certification.

Reference

Software Engineering, Ian Sommerville, 9th edition

Quizzes you can take where this question appears

Dependable Systems - Review

Case for Formal Methods in Safety-Critical Systems

Correct Answer

Explanation

Reference

Quizzes you can take where this question appears