Synchronous Interface Theories and Time Triggered Scheduling

Delahaye, Benot;Fahrenberg, Uli;Legay, Axel;Ničković, Dejan
(2012) 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) (13.June.2012)

Files

No attached file found for this publication.

Details

Authors
  • Delahaye, Benot
    Author
  • Fahrenberg, Uli
    Author
  • Legay, AxelUCLouvain
    Author
  • Ničković, Dejan
    Author
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.

Citations

  • APA
  • Chicago
  • FWB

Delahaye, B., Fahrenberg, U., Legay, A., & Ničković, D. (2012). Synchronous Interface Theories and Time Triggered Scheduling. Formal Techniques for Distributed Systems Lecture Notes in Computer Science. 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). https://doi.org/10.1007/978-3-642-30793-5_13