Opaque analysis for resource-sharing components in hierarchical real-time systems : extended version

M.M.H.P. Heuvel, van den, M. Behnam, R.J. Bril, J.J. Lukkien, T. Nolte

Research output: Book/ReportReportAcademic

40 Downloads (Pure)

Abstract

A real-time component may be developed under the assumption that it has the entire platform at its disposal. Composing a real-time system from independently developed components may require resource sharing between components. We propose opaque analysis methods to integrate resource-sharing components into hierarchically scheduled systems. Resource sharing imposes blocking times within an individual component and between components. An opaque local analysis ignores global blocking between components and allows to analyse an individual component while assuming that shared resources are exclusively available for a component. To arbitrate mutually exclusive resource access between components, we consider four existing protocols: SIRAP, BROE and HSRP - comprising overrun with payback (OWP) and overrun without payback (ONP). We classify local analyses for each synchronization protocol based on the notion of opacity and we develop new analysis for those protocols that are non-opaque. Finally, we compare SIRAP, ONP, OWP and BROE by means of an extensive simulation study. From the results, we derive guidelines for selecting a global synchronization protocol.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages20
Publication statusPublished - 2012

Publication series

NameComputer science reports
Volume1209
ISSN (Print)0926-4515

Fingerprint Dive into the research topics of 'Opaque analysis for resource-sharing components in hierarchical real-time systems : extended version'. Together they form a unique fingerprint.

Cite this