On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems

Alexander Biewer, Peter Munk, Jens Gladigau, Christian Haubelt. On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems. In Ulrich Heinkel, Daniel Kriesten, Marko Rößler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. pages 105-114, Sächsische Landesbibliothek, 2015.

Abstract

Abstract is missing.