Journal article
Trace Diagnostics for Signal-Based Temporal Properties
Abstract
Trace checking is a verification technique widely used in Cyber-physical system (CPS) development, to verify whether execution traces satisfy or violate properties expressing system requirements. Often these properties characterize complex signal behaviors and are defined using domain-specific languages, such as SB-TemPsy-DSL, a pattern-based specification language for signal-based temporal properties. Most of the trace-checking tools only …
Authors
Boufaied C; Menghi C; Bianculli D; Briand LC
Journal
IEEE Transactions on Software Engineering, Vol. 49, No. 5, pp. 3131–3154
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
DOI
10.1109/tse.2023.3242588
ISSN
0098-5589