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 metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01182407
Contributor : Albert Benveniste <>
Submitted on : Friday, July 31, 2015 - 1:33:18 PM
Last modification on : Friday, November 16, 2018 - 1:37:56 AM
Long-term archiving on : Sunday, November 1, 2015 - 10:31:46 AM

File

FORMATS_2015_camera_ready_14.p...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01182407, version 1

Citation

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⟩

Share

Metrics

Record views

961

Files downloads

227