Contracts for Schedulability Analysis

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo
Formal Modeling and Analysis of Timed Systems
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.
Springer International Publishing
Lecture Notes in Computer Science
ARAMiS – Automotive, Railway and Avionic Multicore System
Sankaranarayanan, Sriram and Vicario, Enrico