Real-Time Systems

, Volume 35, Issue 1, pp 1–31

Enforceable component-based realtime contracts

Supporting realtime properties from software development to execution
  • Hermann Härtig
  • Steffen Zschaler
  • Martin Pohlack
  • Ronald Aigner
  • Steffen Göbel
  • Christoph Pohl
  • Simone Röttger
Article

DOI: 10.1007/s11241-006-9002-1

Cite this article as:
Härtig, H., Zschaler, S., Pohlack, M. et al. Real-Time Syst (2007) 35: 1. doi:10.1007/s11241-006-9002-1

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.

Keywords

Component-based software engineering Real-time systems Component runtime environment Model-driven software development 

Copyright information

© Springer Science + Business Media, LCC 2006

Authors and Affiliations

  • Hermann Härtig
    • 1
  • Steffen Zschaler
    • 1
  • Martin Pohlack
    • 1
  • Ronald Aigner
    • 1
  • Steffen Göbel
    • 2
  • Christoph Pohl
    • 2
  • Simone Röttger
    • 1
  1. 1.Department of Computer ScienceTechnische Universität DresdenDresdenGermany
  2. 2.SAP AGSAP Research CEC DresdenDresdenGermany

Personalised recommendations