Multi-task implementation of multi-periodic synchronous programs

DOI10.1007/s10626-011-0107-xzbMath1227.93078OpenAlexW2014923483MaRDI QIDQ645055

Claire Pagetti, Frédéric Boniol, Julien Forget, David Lesens, Mikel Cordovilla

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 systemssynchronous languagesreal-time controlpreemptive multitasking

Mathematics Subject Classification ID

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

Related Items (4)

Off-line mapping of multi-rate dependent task sets to many-core platforms ⋮ Dynamic networks of heterogeneous timed machines ⋮ On the semantics of polychronous polytimed specifications ⋮ Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms

Uses Software

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

Cites Work

• Unnamed Item
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• A Framework for Distributing Real-Time Functions
• Theories of Programming Languages
• N -synchronous Kahn networks
• Bounds on Multiprocessing Timing Anomalies
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

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