Opaque analysis for resource sharing in compositional real-time systems

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

38 Downloads (Pure)


In this paper we propose opaque analysis methods to integrate dependent real-time components into hierarchical fixed-priority scheduled systems. To arbitrate mutually exclusive resource access between components, we consider two existing protocols: HSRP - comprising overrun with and without payback - and SIRAP. An opaque analysis allows to postpone the choice of a synchronization protocol until component integration time. First, we identify the sources of pessimism in the existing analysis techniques and we conclude that both protocols assume different models in their local analysis. In particular, the compositional analysis for overrun with payback (OWP) is not opaque and is pessimistic. The latter makes OWP expensive compared to its counter part without a payback mechanism (ONP). This paper presents an opaque and less pessimistic OWP analysis. Secondly, SIRAP requires more timing information to perform a task-level schedulability analysis. In many practical situations, however, detailed timing characteristics of tasks are hard to obtain. We introduce an opaque analysis for SIRAP using the analysis of ONP to reduce the required timing information during the local analysis. We show that the analysis for ONP cannot deem systems schedulable which are infeasible with SIRAP. The SIRAP analysis may therefore reduce the required system resources of a component by sacrificing the choice for an arbitrary synchronization protocol at system integration time.
Original languageEnglish
Title of host publicationProceedings of the 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2011, Vienna, Austria, November 29, 2011), Technical Report YCS-2011-469
EditorsR.I. Davis, L.T.X. Phan
Place of PublicationYork
PublisherDepartment of Computer Science, University of York
Publication statusPublished - 2011


Dive into the research topics of 'Opaque analysis for resource sharing in compositional real-time systems'. Together they form a unique fingerprint.

Cite this