Hierarchical Specification Methods for Platform-Based Design

This paper presents a new methodology for the hierarchical design of embedded systems including jitter for quality-of-service (QoS). Hierarchical top-down design requires that the specifications for the systems must be translated into specifications for the components such that, when the components are implemented to meet their specifications, the system will also meet its specifications. In a platform-based design, the properties of some components will be known at the start of design while the properties of other components will not be known until after they are implemented. We can, however, use our knowledge about existing components to translate the system specification into specifications for the new components that must be implemented. This paper provides a methodology for top-down translation of system specifications into component specifications.