A synchronous language with partial delay specification for real-time systems programming - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

A synchronous language with partial delay specification for real-time systems programming

Abstract

High-level formal programming languages require system designers to provide a very precise description of the system during early development phases, which may in some cases lead to arbitrary choices (i.e. the designer "overspecifies" the system). In this paper, we propose an extension of synchronous dataflow languages where the designer can specify that he does not care whether some communication is immediate or delayed. It is then up to the compiler to choose where to introduce delays, in a way that breaks causality cycles and satisfies latency requirements imposed on the system.
Fichier principal
Vignette du fichier
wyss12-APLAS.pdf (228.68 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00800975 , version 1 (14-03-2013)

Identifiers

  • HAL Id : hal-00800975 , version 1

Cite

Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. A synchronous language with partial delay specification for real-time systems programming. 10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.223-238. ⟨hal-00800975⟩
341 View
351 Download

Share

Gmail Mastodon Facebook X LinkedIn More