Affine transformations in SIGNAL and their application in the specification and validation of real-time systems

Abstract

In this paper we present atfme transformations as an extension of the SIGNAL language for the specification and validation of real-time systems. To each SIGNAL program is associated a system of equations which specify synchronization constraints on clock variables. The SIGNAL compiler resolves these equations and verifies if the control of a program is functionally safe. By means of the new transformations, affine relations can be defined between clocks and it gets necessary to enhance the compiler with facilities for the resolution of synchronization constraints on these clocks. We propose thus an extension of the compiler based essentially on a canonical form of the air-me relations.