Patterns which help to avoid conflicts over shared resources in time-triggered embedded systems which employ a pre-emptive scheduler

This paper is concerned with the use of patterns to support the development of software for reliable, resource-constrained, embedded systems. The specific focus is on systems with a time-triggered architecture in which task pre-emption can occur. The paper introduces one new abstract pattern (CRITICAL SECTION), and four new design patterns (DISABLE TIMER INTERRUPT, RESOURCE LOCK, PRIORITY INHERITANCE PROTOCOL and IMPROVED PRIORITY CEILING PROTOCOL). Acknowledgements We thank Juergen Salecker, who provided numerous useful suggestions on earlier drafts of this paper during the shepherding process. This work is supported by a DTA award to Huiyan Wang from the UK Government (EPSRC). Copyright Copyright © 2005-2007 by Huiyan Wang, Michael J. Pont and Susan Kurian. Permission is granted to copy this paper for purposes associated with EuroPLoP 2007.