scientific article; zbMATH DE number 1497853

zbMATH Open0966.68020MaRDI QIDQ4499283FDOQ4499283

Authors: Padmanabhan Krishnan 

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

real-time systemsschedulersAlur-Dill timed automata

Mathematics Subject Classification ID

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

Cited In (15)

• Title not available (Why is that?)
• Schedulability analysis of fixed-priority systems using timed automata
• Title not available (Why is that?)
• On the synthesis of discrete controllers for timed systems
• Schedule verification and synthesis for embedded real-time components
• Schedulability-driven communication synthesis for time triggered embedded systems
• From the Specification to the Scheduling of Time-Dependent Systems
• Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics
• Title not available (Why is that?)
• 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.
• Title not available (Why is that?)
• 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)