Published on August 10, 2020.

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

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.

Wolfgang Meincke, Senior Pilot Engineer, BTC Embedded Systems AG