PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling

DOI10.1016/j.tcs.2011.08.025zbMath1236.68022OpenAlexW2128714826MaRDI QIDQ764283

Oleg Sokolsky, Anna Philippou, Insup Lee

Publication date: 13 March 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1523&context=cis_papers

zbMATH Keywords

real-time process algebrahierarchical schedulingcompositional schedulability analysisresource demand and resource supply

Mathematics Subject Classification ID

Theory of programming languages (68N15) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems

Cites Work

• Unnamed Item
• Unnamed Item
• Scheduler modeling based on the controller synthesis paradigm
• Resources in process algebra
• Task automata: Schedulability, decidability and undecidability
• A Process Algebraic Framework for Modeling Resource Demand and Supply
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling