The design and implementation of an expander for the hierarchical real-time constraints of Computer Aided Prototyping System (CAPS)

Abstract

As part of developing the Execution Support System of Computer-Aided Prototyping System (CAPS), there is a need to translate and schedule prototypes of hard real-time systems whose specifications are defined in a hierarchical structure by using the Prototyping System Description Language (PSDL). We present a design and implementation of a PSDL expander in this thesis. The expander translates a PSDL prototype with an arbitrarily deep hierarchical structure into an equivalent two-level form that can be processed by the current implementations of the other CAPS tools. The design of the expander also provides for inheritance of timing constraints and static consistency checking.