Conference
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
Abstract
Cyber-physical systems combine software and physical components. Specification-driven trace-checking tools for CPS usually provide users with a specification language to express the requirements of interest, and an automatic procedure to check whether these requirements hold on the execution traces of a CPS. Although there exist several specification languages for CPS, they are often not sufficiently expressive to allow the specification of …
Authors
Menghi C; Viganò E; Bianculli D; Briand LC
Volume
00
Pagination
pp. 847-859
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
May 30, 2021
DOI
10.1109/icse43902.2021.00082
Name of conference
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)