Scheduling of time-triggered real-time systems

DOI10.1023/A:1009804226473MaRDI QIDQ1591425zbMATH OpenOpenAlexFDO

Authors Klaus Schild, Jörg Würtz

Publication date 3 September 2001

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1009804226473

zbMATH Keywords

constraint programming

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1264430
• On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling
• scientific article; zbMATH DE number 1045433
• Scheduling with timed automata
• Scheduling with a constraint based cooperative solver

Cited in

(16)

• A global constraint for over-approximation of real-time streams
• Static priority scheduling of event-triggered real-time embedded systems
• Combined task- and network-level scheduling for distributed time-triggered systems
• Real time constraints monitoring for OSEK applications
• A Framework for Distributing Real-Time Functions
• scientific article; zbMATH DE number 53318 (Why is no real title available?)
• scientific article; zbMATH DE number 1196650 (Why is no real title available?)
• scientific article; zbMATH DE number 1264430 (Why is no real title available?)
• Periodic Linear Programming with applications to real-time scheduling
• Off-line mapping of multi-rate dependent task sets to many-core platforms
• REAL-TIME DISPATCHING: SCHEDULING STABILITY AND PRECEDENCE
• Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
• Integer programming approach for schedulability of sporadic real-time systems
• From the Specification to the Scheduling of Time-Dependent Systems
• Integer and constraint programming for the offline nanosatellite partition scheduling problem
• Self-timed scheduling analysis for real-time applications

This page was built for publication: Scheduling of time-triggered real-time systems

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