Synchronous interface theories and time triggered scheduling LNCS Delahaye, Benoît Fahrenberg, Uli Henzinger, Thomas A ; https://orcid.org/0000−0002−2985−7724 Legay, Axel Nickovic, Dejan ddc:004 We propose synchronous interfaces, a new interface theory for discrete-time systems. We use an application to time-triggered scheduling to drive the design choices for our formalism; in particular, additionally to deriving useful mathematical properties, we focus on providing a syntax which is adapted to natural high-level system modeling. As a result, we develop an interface model that relies on a guarded-command based language and is equipped with shared variables and explicit discrete-time clocks. We define all standard interface operations: compatibility checking, composition, refinement, and shared refinement. Apart from the synchronous interface model, the contribution of this paper is the establishment of a formal relation between interface theories and real-time scheduling, where we demonstrate a fully automatic framework for the incremental computation of time-triggered schedules. Springer 2012 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://research-explorer.ista.ac.at/record/3155 https://research-explorer.ista.ac.at/download/3155/4879 Delahaye B, Fahrenberg U, Henzinger TA, Legay A, Nickovic D. Synchronous interface theories and time triggered scheduling. In: Vol 7273. Springer; 2012:203-218. doi:<a href="https://doi.org/10.1007/978-3-642-30793-5_13">10.1007/978-3-642-30793-5_13</a> eng info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-30793-5_13 info:eu-repo/semantics/openAccess