Export

BIB

All authors

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo

Booktitle

Formal Modeling and Analysis of Timed Systems

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.

Publishing date

2015

Type of Publication

incollection

Publisher

Springer International Publishing

Series

Lecture Notes in Computer Science

Pages

270--287

Projects

ARAMiS
ARAMiS – Automotive, Railway and Avionic Multicore System

Doi

10.1007/978-3-319-22975-1_18

Editor

Sankaranarayanan, Sriram and Vicario, Enrico

Edition

9268