@incollectionRei2015, Author = {Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo}, Title = {Contracts for Schedulability Analysis}, Year = {2015}, Pages = {270--287}, Editor = {Sankaranarayanan, Sriram and Vicario, Enrico}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Edition = {9268}, Booktitle = {Formal Modeling and Analysis of Timed Systems}, Doi = {10.1007/978-3-319-22975-1_18}, type = {incollection}, note = {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 ad}, 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.} @COMMENTBibtex file generated on