一句话：针对现有SBTP规约语言的不足，研究基于信号的时序属性的迹检查方法。
基于信号的时序属性（SBTP）用于描述信息物理系统中输入输出信号随时间变化的行为，是需求规约中常见的形式。然而，现有的SBTP规约语言要么难以表达重要类型的属性（如尖峰或振荡行为），要么缺乏（高效的）迹检查程序。本文针对这一现状，研究了SBTP的迹检查问题，旨在提出一种能够有效处理这些属性的规约语言或迹检查方法。由于摘要未提供具体方法与实验评估细节，本文的核心贡献可概括为解决SBTP规约与检查的上述局限。
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.
@inproceedings{paperbot6007,
title = {Trace-checking signal-based temporal properties},
author = {Chaima Boufaied and Claudio Menghi and Domenico Bianculli and Lionel Briand and Yago Isasi Parache},
booktitle = {ASE},
year = {2020},
doi = {10.1145/3324884.3416631}
}