Multi-task implementation of multi-periodic synchronous programs

DOI10.1007/S10626-011-0107-XMaRDI QIDQ645055zbMATH OpenOpenAlexFDO

Authors Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, D. Lesens

Publication date 8 November 2011

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00638936/file/DEDS2010.pdf

zbMATH Keywords

embedded systemsreal-time controlsynchronous languagespreemptive multitasking

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to systems and control theory (93-04) Digital control/observation systems (93C62) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Multi-rate system design through integrating synchronous components
• Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
• scientific article; zbMATH DE number 2080750
• scientific article; zbMATH DE number 526071
• On the polychronous approach to embedded software design

Cites work

• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• A Framework for Distributing Real-Time Functions
• Bounds on Multiprocessing Timing Anomalies
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• Theories of Programming Languages
• \(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems

Cited in

(6)

• On the semantics of polychronous polytimed specifications
• Multi-rate system design through integrating synchronous components
• scientific article; zbMATH DE number 2001220 (Why is no real title available?)
• Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
• Dynamic networks of heterogeneous timed machines
• Off-line mapping of multi-rate dependent task sets to many-core platforms

Describes a project that uses

Uses Software

• Giotto
• LUSTRE
• OCaml
• Cheddar
• Simulink
• SIGNAL

This page was built for publication: Multi-task implementation of multi-periodic synchronous programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q645055)