信息物理系统的基于信号的属性：分类法与基于逻辑的描述
信号处理
2020-12-29 v3 软件工程
摘要
信息物理系统（CPS）的行为通常由传感器与执行器所处理的输入和输出信号来定义。CPS的需求规约通常使用基于信号的时间属性来表达。表达此类需求具有挑战性，原因在于：（1）可用于刻画信号行为的特征众多；（2）用于定义基于信号的时间属性的规约语言（即时间逻辑）在表达能力上差异很大。因此，系统与软件工程师需要根据其必须定义的需求类型，就选择合适的信号行为类型与恰当的规约语言获得有效指导。本文提出各类基于信号的属性之分类法，并为每一类型提供详尽描述以及时间逻辑中的形式化。此外，我们依据该分类法所识别的属性类型，综述了当前最先进的基于信号的时间逻辑之表达能力。并且，我们报告了将该分类法应用于航空航天领域某工业案例研究之需求规约分类的情况，以评估使用本分类法所包含属性类型的可行性及其完备性。
引用
@article{arxiv.1910.08330,
title = {Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization},
author = {Chaima Boufaied and Maris Jukss and Domenico Bianculli and Lionel Claude Briand and Yago Isasi Parache},
journal= {arXiv preprint arXiv:1910.08330},
year = {2020}
}
备注
37 pages, revised version, accepted for publication by the Elsevier Journal of Systems and Software