Requirements in the loop : A computer-aided analysis of consistency, completeness, and correctness of requirements
Wolfgang Meincke · 2020
Today, many applications have safety-critical parts, and their number of functions and their complexity increase. Although there are many techniques to make sure that the requirements are consistent, correct, complete, and unambiguous, all of these aspects are inspected manually. In contrast to the resultant implementation of the requirements that can easily be simulated, requirements are not represented in a machine-readable format. Wouldn’t it be a great benefit to have the ability to simulate requirements as well? This paper will show an approach based on a simple control unit for a Beamer how requirements can be transformed in a machine-readable format and how to analyze their consistency, correctness, and completeness. It will cover how to analyze an inconsistency issue and how it can be solved to get consistent set of requirements.