Conference
ThEodorE: a Trace Checker for CPS Properties
Abstract
ThEodorE is a trace checker for Cyber-Physical systems (CPS). It provides users with (i) a GUI editor for writing CPS requirements; (ii) an automatic procedure to check whether the requirements hold on execution traces of a CPS. ThEodorE enables writing requirements using the Hybrid Logic of Signals (HLS), a novel, logic-based specification language to express CPS requirements. The trace checking procedure of ThEodorE reduces the problem of …
Authors
Menghi C; Viganò E; Bianculli D; Briand LC
Volume
00
Pagination
pp. 183-184
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
May 28, 2021
DOI
10.1109/icse-companion52605.2021.00079
Name of conference
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)