Contracts for Schedulability Analysis - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Contracts for Schedulability Analysis

Résumé

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.
Fichier principal
Vignette du fichier
FORMATS_2015_camera_ready_14.pdf (640.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01182407 , version 1 (31-07-2015)

Identifiants

  • HAL Id : hal-01182407 , version 1

Citer

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⟩
246 Consultations
261 Téléchargements

Partager

Gmail Facebook X LinkedIn More