The idea
Signal Convolution Logic (SCL) is a new logic that combines temporal logic with convolutional filters from digital signal processing.
Classic temporal operators ask whether something holds always or eventually in an interval. SCL can instead reason about the percentage of time a formula is satisfied in a bounded interval, which is the natural way to express many non-functional requirements.
The contribution
The paper introduces the logic and demonstrates that it is a suitable formalism to effectively express this kind of property.