---
_id: '3155'
abstract:
- lang: eng
  text: '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.'
acknowledgement: Research partially supported by the Danish-Chinese Center for Cyber
  Physical Systems (Grant No.61061130541) and VKR Center of Excellence MT-LAB.
alternative_title:
- LNCS
author:
- first_name: Benoît
  full_name: Delahaye, Benoît
  last_name: Delahaye
- first_name: Uli
  full_name: Fahrenberg, Uli
  last_name: Fahrenberg
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Axel
  full_name: Legay, Axel
  last_name: Legay
- first_name: Dejan
  full_name: Nickovic, Dejan
  id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
  last_name: Nickovic
citation:
  ama: '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>'
  apa: 'Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A., &#38; Nickovic,
    D. (2012). Synchronous interface theories and time triggered scheduling (Vol.
    7273, pp. 203–218). Presented at the FORTE: Formal Techniques for Networked and
    Distributed Systems &#38; FMOODS: Formal Methods for Open Object-Based Distributed
    Systems , Stockholm, Sweden: Springer. <a href="https://doi.org/10.1007/978-3-642-30793-5_13">https://doi.org/10.1007/978-3-642-30793-5_13</a>'
  chicago: Delahaye, Benoît, Uli Fahrenberg, Thomas A Henzinger, Axel Legay, and Dejan
    Nickovic. “Synchronous Interface Theories and Time Triggered Scheduling,” 7273:203–18.
    Springer, 2012. <a href="https://doi.org/10.1007/978-3-642-30793-5_13">https://doi.org/10.1007/978-3-642-30793-5_13</a>.
  ieee: 'B. Delahaye, U. Fahrenberg, T. A. Henzinger, A. Legay, and D. Nickovic, “Synchronous
    interface theories and time triggered scheduling,” presented at the FORTE: Formal
    Techniques for Networked and Distributed Systems &#38; FMOODS: Formal Methods
    for Open Object-Based Distributed Systems , Stockholm, Sweden, 2012, vol. 7273,
    pp. 203–218.'
  ista: 'Delahaye B, Fahrenberg U, Henzinger TA, Legay A, Nickovic D. 2012. Synchronous
    interface theories and time triggered scheduling. FORTE: Formal Techniques for
    Networked and Distributed Systems &#38; FMOODS: Formal Methods for Open Object-Based
    Distributed Systems , LNCS, vol. 7273, 203–218.'
  mla: Delahaye, Benoît, et al. <i>Synchronous Interface Theories and Time Triggered
    Scheduling</i>. Vol. 7273, Springer, 2012, pp. 203–18, doi:<a href="https://doi.org/10.1007/978-3-642-30793-5_13">10.1007/978-3-642-30793-5_13</a>.
  short: B. Delahaye, U. Fahrenberg, T.A. Henzinger, A. Legay, D. Nickovic, in:, Springer,
    2012, pp. 203–218.
conference:
  end_date: 2012-06-16
  location: Stockholm, Sweden
  name: 'FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS:
    Formal Methods for Open Object-Based Distributed Systems '
  start_date: 2012-06-13
date_created: 2018-12-11T12:01:43Z
date_published: 2012-06-01T00:00:00Z
date_updated: 2021-01-12T07:41:26Z
day: '01'
ddc:
- '004'
department:
- _id: ToHe
doi: 10.1007/978-3-642-30793-5_13
file:
- access_level: open_access
  checksum: feae2e07f2d9a59843f8ddabf25d179f
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:11:25Z
  date_updated: 2020-07-14T12:46:01Z
  file_id: '4879'
  file_name: IST-2012-88-v1+1_Synchronous_interface_theories_and_time_triggered_scheduling.pdf
  file_size: 493198
  relation: main_file
file_date_updated: 2020-07-14T12:46:01Z
fulldoi: https://doi.org/10.1007/978-3-642-30793-5_13
has_accepted_license: '1'
intvolume: '      7273'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Submitted Version
page: 203 - 218
publication_status: published
publisher: Springer
publist_id: '3539'
pubrep_id: '88'
quality_controlled: '1'
scopus_import: 1
status: public
title: Synchronous interface theories and time triggered scheduling
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7273
year: '2012'
...