A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems
[article]
2018
arXiv
pre-print
A framework for the elicitation and debugging of formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical interface. Two debugging algorithms are presented. The first checks for erroneous or incomplete temporal logic specifications without considering the system. The second can be utilized for the analysis of reactive requirements with respect to system test traces. The specification debugging framework is applied on a
arXiv:1607.02549v4
fatcat:r56ajnjqc5h6xkk5pqdwbqcevm