PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
From MaRDI portal
Publication:764283
DOI10.1016/j.tcs.2011.08.025zbMath1236.68022MaRDI 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
real-time process algebra; hierarchical scheduling; compositional schedulability analysis; resource demand and resource supply
68N15: Theory of programming languages
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work