Synchronous Interface Theories and Time Triggered Scheduling - Formal Techniques for Distributed Systems Access content directly
Conference Papers Year : 2012

Synchronous Interface Theories and Time Triggered Scheduling


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.
Fichier principal
Vignette du fichier
forte.pdf (487.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01087992 , version 1 (27-11-2014)





Benot Delahaye, Uli Fahrenberg, Axel Legay, Dejan Ničković. Synchronous Interface Theories and Time Triggered Scheduling. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.203-218, ⟨10.1007/978-3-642-30793-5_13⟩. ⟨hal-01087992⟩
758 View
83 Download



Gmail Facebook X LinkedIn More