Implementing Multi-Periodic Critical Systems: from Design to Code Generation

  title={Implementing Multi-Periodic Critical Systems: from Design to Code Generation},
  author={Julien Forget and Fr{\'e}d{\'e}ric Boniol and David Lesens and Claire Pagetti},
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends the synchronous approach with high-level real-time primitives. It enables to assemble in a modular and hierarchical manner several locally mono-periodic synchronous systems into a globally multi-periodic synchronous system. It also allows to specify flow latency constraints. A program is translated into a set of real… 

Figures from this paper

Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation

This paper proposes a multiobjective optimization approach for reconfigurable real-time systems called MO2R2S for the development of a reconfigured real- time system and focuses on three optimization criteria: response time; memory allocation; and energy consumption.

Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation

A set of modeling and code generation principles based on integration of a specific BIP concurrent component that follows a specific behavioral pattern based on periodic activation of data consumption, data processing and data production is proposed.

From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASIS

This paper presents an automatic transformation from the SCADE synchronous language into applications for the OASIS safety-oriented real-time execution platform, a multi-scale time-triggered approach.

Calcul de latences dans un programme Prelude

L’approche synchrone a été récemment étendue pour permettre la spécification de systèmes multipériodiques rythmés par des horloges temps réel explicites et non plus seulement des horloges booléennes.

Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE. (Clock Based SoC Design, Towards a Design Space Exploration in MARTE)

La conception de MPSoC dedies aux traitements d'applications hautes performances un travail tres difficile en raison d'un certain nombre de contraintes a assurer : la correction fonctionnelle, les performances temporelles, l'efficacite energetique et the taille optimisee de memoire.



A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. (Un Langage Synchrone pour les Systèmes Embarqués Critiques Soumis à des Contraintes Temps Réel Multiples)

This PhD. Thesis defines a high-level language for programming real-time embedded control systems. It is built upon Synchronous Languages (such as Lustre) and inherits their formal properties. It

A Multi-Periodic Synchronous Data-Flow Language

A new language is proposed, built upon synchronous data-flow languages, to handle multi-rate systems properly and has strong formal semantics, which prevents non-deterministic communications, and relies on real-time primitives that enable efficient use of existing multi-periodic schedulers.

Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics

The synchronous data flow programming language LUSTRE

The authors describe LUSTRE, a data flow synchronous language designed for programming reactive systems-such as automatic control and monitoring systems-as well as for describing hardware. The data

Dynamic scheduling of real-time tasks under precedence constraints

An optimal acceptance test is presented which returns a decision on the basis of the current state of processor load and by considering tasks to be scheduled according to the well known preemptive algorithm Earliest Deadline, the acceptance algorithm and a complexity analysis are presented.

Types and programming languages

This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages, with a variety of approaches to modeling the features of object-oriented languages.

Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing

This self-contained paper develops the theory necessary to statically schedule SDF programs on single or multiple processors, and a class of static (compile time) scheduling algorithms is proven valid, and specific algorithms are given for scheduling SDF systems onto single ormultiple processors.

Generating Efficient Code From Data-Flow Programs

This paper presents the techniques applied in compiling the synchronous data-flow language Lustre, by synthesising an efficient control structure, by simulating the behavior of boolean variables at compile-time.

Dynamic response time optimization for SDF graphs

  • D. ZiegenbeinJan UerpmannR. Ernst
  • Computer Science
    IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140)
  • 2000
A new dynamic scheduling method is proposed that minimizes the maximal response time of the system and is a generalization of a deadline revision method to allow treatment of data-dependent tasks using EDF scheduling.

POSIX-compatible application-defined scheduling in MaRTE OS

  • M. A. RivasM. G. Harbour
  • Computer Science
    Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002
  • 2002
An application program interface that enables applications to use application-defined scheduling algorithms in a way compatible with the scheduling model defined in POSIX, and is currently implemented on MaRTE OS.