Conference
Trace-checking signal-based temporal properties
Abstract
Signal-based temporal properties (SBTPs) characterize the behavior of a system when its inputs and outputs are signals over time; they are very common for the requirements specification of cyber-physical systems. Although there exist several specification languages for expressing SBTPs, such languages either do not easily allow the specification of important types of properties (such as spike or oscillatory behaviors), or are not supported by …
Authors
Boufaied C; Menghi C; Bianculli D; Briand L; Parache YI
Pagination
pp. 1004-1015
Publisher
Association for Computing Machinery (ACM)
Publication Date
December 21, 2020
DOI
10.1145/3324884.3416631
Name of conference
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering