Towards overhead-free interface theory for compositional hierarchical real-time systems

• Main Authors: Kim, Jin Hyun, Kim, Kyong Hoon, Easwaran, Arvind, Lee, Insup
• 其他作者: School of Computer Science and Engineering
• 格式: Article
• 語言: English
• 出版: 2020
• 主題: Engineering::Computer science and engineering; Compositional Framework (CF); Harmonic Tasks
• 在線閱讀: https://hdl.handle.net/10356/140147

A significant amount of research has been conducted in the past on compositional real-time scheduling as it has become a useful foundational theory for real-time operating systems and hypervisors. However, compositional frameworks suffer from abstraction overhead in composing components. In this pap...