Enforceable component-based realtime contracts

@article{Hrtig2006EnforceableCR,
  title={Enforceable component-based realtime contracts},
  author={Hermann H{\"a}rtig and Steffen Zschaler and Martin Pohlack and Ronald Aigner and Steffen G{\"o}bel and Christoph Pohl and Simone R{\"o}ttger},
  journal={Real-Time Systems},
  year={2006},
  volume={35},
  pages={1-31}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-9 OF 9 CITATIONS

Contracts for Real-Time, Safety Critical Systems

VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Stochastic contracts for runtime checking of component-based real-time systems

VIEW 1 EXCERPT
CITES METHODS

Tailoring dynamic software product lines

VIEW 1 EXCERPT
CITES BACKGROUND

An Architecture-Based Framework for Managing Adaptive Real-Time Applications

VIEW 2 EXCERPTS
CITES RESULTS & METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 39 REFERENCES

TESTEJB - A Measurement Framework for EJBs

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

DOpE - a window server for real-time and embedded systems

VIEW 4 EXCERPTS

The JBoss Extensible Server

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Mass-produced software components

VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

A software development process supporting non-functional properties

VIEW 5 EXCERPTS

Encapsulation of structural adaptation by composite components

VIEW 4 EXCERPTS

The COMQUAD component container architecture

VIEW 5 EXCERPTS