Synchronous interface theories and time triggered scheduling Conference Paper

Author(s): Delahaye, Benoît; Fahrenberg, Uli; Henzinger, Thomas A; Legay, Axel; Ničković, Dejan
Title: Synchronous interface theories and time triggered scheduling
Title Series: LNCS
Affiliation IST Austria
Abstract: 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.
Conference Title: FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems
Volume: 7273
Conference Dates: June 13-16, 2012
Conference Location: Stockholm, Sweden
ISBN: 978-364230792-8
Publisher: Springer  
Date Published: 2012-05-31
Start Page: 203
End Page: 218
Sponsor: Research partially supported by the Danish-Chinese Center for Cyber Physical Systems (Grant No.61061130541) and VKR Center of Excellence MT-LAB.
DOI: 10.1007/978-3-642-30793-5_13
Open access: yes (repository)
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work