Evolving real-time systems using hierarchical scheduling and concurrency analysis

This publication has 13 references indexed in Scilit:

• HLS: a framework for composing soft real-time schedulers
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• A model of hierarchical real-time virtual resources
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The nesC language
  Published by Association for Computing Machinery (ACM) ,2003
• Accounting for interrupt handling costs in dynamic priority task systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A framework for achieving inter-application isolation in multiprogrammed, hard real-time environments
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Scalable real-time system design using preemption thresholds
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Assuring and evolving concurrent programs
  Published by Association for Computing Machinery (ACM) ,2002
• An Open Environment for Real-Time Applications
  Real-Time Systems, 1999
• A Practitioner’s Handbook for Real-Time Analysis
  Published by Springer Nature ,1993
• Priority inheritance protocols: an approach to real-time synchronization
  IEEE Transactions on Computers, 1990