Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach
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 (efficient) trace-checking procedures.
BibTeX
@inproceedings{Boufaied-al:ASE20,
author = {Chaima Boufaied and
Claudio Menghi and
Domenico Bianculli and
Lionel C. Briand and
Yago Isasi Parache},
title = {{Trace-Checking} Signal-based Temporal Properties: A {Model-Driven} Approach},
booktitle = {ASE},
pages = {1004--1015},
publisher = {{IEEE}},
year = {2020},
}