Software Engineering
New logic language adds frequency-domain analysis to cyber-physical system specifications
Researchers propose a temporal logic that combines time and frequency representations to better capture dynamic system behaviors for verification and testing.
Most specification languages used to verify and validate cyber-physical systems rely solely on time-domain signal representations. However, fields like control engineering and robotics have long recognized that frequency-domain analysis offers clearer insights into signal shapes and dynamic behaviors that time-domain approaches struggle to describe.
Time-frequency representation for CPS requirements#
Researchers have now investigated how time-frequency representations—which capture both temporal and spectral information—could enhance specification languages for cyber-physical systems (CPSs). By analyzing existing taxonomies of CPS requirements, the team identified which requirement classes would benefit most from this dual perspective, combining the strengths of both time and frequency domains.
Signal-Spectrum Temporal Logic#
The researchers developed Signal-Spectrum Temporal Logic (S2TL), a new specification language that enables engineers to make assertions about frequency intervals and relationships between frequency components. Rather than describing system behavior purely as a sequence of values over time, S2TL allows specifications to reference the spectral properties of signals—a capability absent from conventional time-domain logics.
Practical advantages in monitoring#
The team operationalized the S2TL semantics for monitoring real CPS traces and implemented a working monitor. They then compared time-domain and time-frequency-domain specifications across three key dimensions:
- Applicability: Time-domain specs only work reliably with step-like signal changes or constant interpolation, while time-frequency specs extend to traces generated through linear interpolation
- Noise tolerance: Time-frequency specifications show improved robustness to offset errors and high-frequency noise
- Expression fidelity: Both approaches achieved comparable accuracy in capturing intended system properties
The findings suggest that extending specification languages beyond the time domain can make them more flexible and resilient to real-world signal characteristics, particularly when systems exhibit continuous or smoothly interpolated behavior.