Applying real-time scheduling techniques to software processes: A position paper

DOI10.1007/3-540-45752-6_12MaRDI QIDQ2780666zbMATH OpenFDO

Authors Aaron G. Cass, Leon J. Osterweil

Publication date 2 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45752-6_12

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 53319
• Synthesizing processes and schedulers from temporal specifications
• Delivering Real-Time Behaviour
• An engineering process for the verification of real-time systems
• Verification of schedulability for real-time programs

This page was built for publication: Applying real-time scheduling techniques to software processes: A position paper

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