Export

BIB

Alle Autoren

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

Buchtitel

Formal Modeling and Analysis of Timed Systems

Zusammenfassung

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.

Erscheinungsdatum

2015

Publikationstyp

incollection

Verlag

Springer International Publishing

Reihe

Lecture Notes in Computer Science

Seiten

270--287

Projekte

ARAMiS
ARAMiS – Automotive, Railway and Avionic Multicore System

DOI

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

Herausgeber

Sankaranarayanan, Sriram and Vicario, Enrico

Edition

9268