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

• Main Authors: Kim, Jin Hyun, Kim, Kyong Hoon, Easwaran, Arvind, Lee, Insup
• Other Authors: School of Computer Science and Engineering
• Format: Article
• Language: English
• Published: 2020
• Subjects: Engineering::Computer science and engineering; Compositional Framework (CF); Harmonic Tasks
• Online Access: https://hdl.handle.net/10356/140147
• Institution: Nanyang Technological University

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...