EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


10157 Real-Time Specification Inheritance Anomalies and Real-Time Filters
Home Policy Brochure Browse Search User Area Contact Help

Akşit, M. and Bosch, H.G.P. and van der Sterren, W. and Bergmans, L.M.J. (1994) Real-Time Specification Inheritance Anomalies and Real-Time Filters. In: ECOOP'94, 4-8 July 1994, Bologna, Italy. pp. 386-407. Lecture Notes in Computer Science 821. Springer. ISSN 0302-9743 ISBN 3540582029

Full text available as:

PDF
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
67 Kb

Abstract

Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In applications developed by current real-time objectoriented languages, however, changing application requirements or changing real-time specifications in subclasses may require excessive redefinitions although this seems to be intuitively unnecessary. We refer to this as the real-time specification inheritance anomaly. This paper introduces three kinds of real-time specification inheritance anomalies that one may experience while constructing object-oriented programs. As a solution to these anomalies, the concept of real-time composition filters is introduced. Filters affect the real-time characteristics of messages that are received or sent by an object. Through proper configuration of filters, one can specify real-time constraints, and reuse of these constraints without causing inheritance anomalies.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-SE: Software Engineering
Uncontrolled Keywords:real-time object-oriented languages, inheritance anomalies, real-time filters
ID Code:10157
Status:Published
Deposited On:15 January 2009
Refereed:No
International:Yes
More Information:statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item