Dependability and Security MCQs

22. Which of the following is incorrect with respect to Model Checking ?

A. Model checking is particularly valuable for verifying concurrent systems
B. Model checking is computationally very inexpensive
C. The model checker explores all possible paths through the model
D. All of the mentioned
✅ The correct answer is option B.
Explanation: Model checking is very expensive.It is only practical to use it in the verification of small to medium sized critical systems.

28. Which of the following is not a Protection system ?

A. System to stop a train if it passes a red light
B. System to indicate not returning of the library book
C. System to shut down a reactor if temperature/pressure are too high
D. None of the mentioned
✅ The correct answer is option B.
Explanation: A Protection system is a specialized system that is associated with some other control system, which can take emergency action if a failure occurs.

29. Which of the following is a Strategy to achieve Software diversity ?

A. Different programming languages
B. Different design methods and tools
C. Explicit specification of different algorithms
D. All of the mentioned
✅ The correct answer is option D.
Explanation: Diversity means to provide the same functionality in different ways so that critical components of a dependable system will not fail in the same way.

30. POFOD stands for___________________?

A. Possibility of failure of data
B. Probability of failure of data
C. Possibility of failure on demand
D. Probability of failure on demand
✅ The correct answer is option D.

Scroll to Top