Dispatch sequences for embedded control models

DOI10.1016/j.jcss.2006.04.003zbMath1178.68095OpenAlexW1989702731MaRDI QIDQ858316

Arun Chandrashekharapuram, Rajeev Alur

Publication date: 9 January 2007

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2006.04.003

zbMATH Keywords

real-time schedulingmodel-based designembedded software

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Uses Software

• Ptolemy
• LUSTRE
• Giotto
• Esterel

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Trade-off analysis of real-time control performance and schedulability
• Unnamed Item
• Unnamed Item

This page was built for publication: Dispatch sequences for embedded control models