Real-Time Specification Inheritance Anomalies and Real-Time Filters

Mehmet Aksit, Jan Bosch, William van der Sterren, Lodewijk Bergmans

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    24 Citations (Scopus)
    17 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationProceedings of the European Conference on Object-Oriented Programming (ECOOP 1994)
    EditorsMario Tokoro, Remo Pareschi
    Place of PublicationLondon, UK
    Number of pages22
    ISBN (Electronic)978-3-540-48567-4
    ISBN (Print)978-3-540-58202-1
    Publication statusPublished - Jul 1994
    EventEuropean Conference on Object-Oriented Programming, ECOOP 1994 - Bologna, Italy
    Duration: 4 Jul 19948 Jul 1994
    Conference number: 8

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    ConferenceEuropean Conference on Object-Oriented Programming, ECOOP 1994
    Abbreviated titleECOOP


    • Real-time filters
    • Inheritance anomalies
    • Real-time object-oriented languages
    • Application code
    • Receive message
    • Filter element
    • Server object
    • Internal object


    Dive into the research topics of 'Real-Time Specification Inheritance Anomalies and Real-Time Filters'. Together they form a unique fingerprint.

    Cite this