scientific article; zbMATH DE number 1497853

MaRDI QIDQ4499283zbMATH OpenFDO

Authors Padmanabhan Krishnan

Publication date 5 March 2001

zbMATH Keywords

real-time systemsschedulersAlur-Dill timed automata

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Automatic synthesis of a subclass of schedulers in timed systems.
• On the synthesis of discrete controllers for timed systems
• scientific article; zbMATH DE number 177523
• scientific article; zbMATH DE number 177246

Cited in

(15)

• scientific article; zbMATH DE number 177246 (Why is no real title available?)
• Schedulability analysis of fixed-priority systems using timed automata
• scientific article; zbMATH DE number 2088657 (Why is no real title available?)
• Schedulability-driven communication synthesis for time triggered embedded systems
• Schedule verification and synthesis for embedded real-time components
• On the synthesis of discrete controllers for timed systems
• From the Specification to the Scheduling of Time-Dependent Systems
• Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics
• scientific article; zbMATH DE number 177523 (Why is no real title available?)
• Analysis of scheduling behaviour using generic timed automata
• Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
• Automatic Verification of Bossa Scheduler Properties
• Automatic synthesis of a subclass of schedulers in timed systems.
• scientific article; zbMATH DE number 1696502 (Why is no real title available?)
• Synthesizing synchronous systems by static scheduling in space-time

This page was built for publication:

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