Scheduling of embedded controllers under timing contracts

DOI10.1145/3049797.3049816MaRDI QIDQ5275326zbMATH OpenOpenAlexFDO

Authors Mohammad Al Khatib, Antoine Girard, Thao Dang

Publication date 11 July 2017

Published in Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3049797.3049816

zbMATH Keywords

embedded controlsampled-data systemsschedulingstabilitytimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Deterministic scheduling theory in operations research (90B35) Sampled-data control/observation systems (93C57)

Recommendations

• Verification and synthesis of timing contracts for embedded controllers
• Soft real-time scheduling for embedded control systems
• scientific article; zbMATH DE number 2085335
• Anytime Control Algorithms for Embedded Real-Time Systems
• Schedule verification and synthesis for embedded real-time components

Cited in

(10)

• An integrated approach to scheduling in safety-critical embedded control systems
• scientific article; zbMATH DE number 1696502 (Why is no real title available?)
• Contracts for schedulability analysis
• Verification and synthesis of timing contracts for embedded controllers
• Anytime Control Algorithms for Embedded Real-Time Systems
• Schedule verification and synthesis for embedded real-time components
• Scheduling of controllers' update-rates for residual bandwidth utilization
• scientific article; zbMATH DE number 2085335 (Why is no real title available?)
• Verification and synthesis of interconnected embedded control systems under timing contracts
• Scheduler modeling based on the controller synthesis paradigm

This page was built for publication: Scheduling of embedded controllers under timing contracts

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