28th IEEE International Requirements Engineering Conference
BTC Embedded Systems will join the RE'20 in Zurich/Switzerland from August 31st to September 4th. Please find more details about the conference and the full program at https://re20.org/
We are excited that the following talk got accepted as part of the conference program:
Title: Requirements in the loop - A computer-aided analysis of consistency, completeness, and correctness of requirements
Date+Location: Wednesday 02.09.2020 17:00, Room 2, Lecture Hall 03-G-95
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 short tool demo 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.