Skip to Main content Skip to Navigation
New interface
Conference papers

Contracts for Schedulability Analysis

Abstract : In this paper we propose a framework of Assume / Guarantee contracts for schedulability analysis. Unlike previous work addressing compositional scheduling analysis, our objective is to provide support for the OEM / supplier subcontracting relation. The adaptation of Assume / Guarantee contracts to schedulability analysis requires some care, due to the handling of conflicts caused by shared resources. We illustrate our framework in the context of Autosar methodology now popular in the automotive industry sector.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Albert Benveniste Connect in order to contact the contributor
Submitted on : Friday, July 31, 2015 - 1:33:18 PM
Last modification on : Wednesday, February 2, 2022 - 3:50:39 PM
Long-term archiving on: : Sunday, November 1, 2015 - 10:31:46 AM


Files produced by the author(s)


  • HAL Id : hal-01182407, version 1


Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand. Contracts for Schedulability Analysis. 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, Sriram Sankaranarayanan (University of Colorado at Boulder, USA); Enrico Vicario (University of Florence, Italy), Sep 2015, Madrid, Spain. ⟨hal-01182407⟩



Record views


Files downloads