Enforceable component-based realtime contracts

  • Authors:
  • Hermann Härtig;Steffen Zschaler;Martin Pohlack;Ronald Aigner;Steffen Göbel;Christoph Pohl;Simone Röttger

  • Affiliations:
  • Department of Computer Science, Technische Universität Dresden, Dresden, Germany 01062;Department of Computer Science, Technische Universität Dresden, Dresden, Germany 01062;Department of Computer Science, Technische Universität Dresden, Dresden, Germany 01062;Department of Computer Science, Technische Universität Dresden, Dresden, Germany 01062;SAP AG, SAP Research CEC Dresden, Dresden, Germany;SAP AG, SAP Research CEC Dresden, Dresden, Germany;Department of Computer Science, Technische Universität Dresden, Dresden, Germany 01062

  • Venue:
  • Real-Time Systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.03

Visualization

Abstract

We present enforceable component-based realtime contracts, the first extension of component-based software engineering technology that comprehensively supports adaptive realtime systems from specification all the way to the running system.To provide this support, we have extended component-based interface definition languages (IDLs) and component representations in repositories to express realtime requirements for components. The final software, which is assembled from the components, is then executed on a realtime operating system (RTOS) with the help of a component runtime system. RTOS resource managers and the IDL-extensions are based on the same mathematical foundation. Thus, the component runtime system can use information expressed in a component-oriented manner in the extended IDL to derive parameters for the task-based admission and scheduling in the RTOS. Once basic realtime properties can thus be guaranteed, runtime support can be extended to more elaborate schemes that also support adaptive applications (container-managed quality assurance).We claim that this study convincingly demonstrates how component-based software engineering can be extended to build systems with non-functional requirements.