• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Abstract:

The introduction of hard timing constraints to the semantics of a computation presents a set of design challenges that are significantly different from those of conventional systems, requiring the ability to guarantee that timing constraints are met. Such systems must consider the worst case, rather than the average case, behavior of the system and application software. The Spring system uses a scheduler constructing explicit plans for executing application programs to ensure that both logical and temporal constraints are satisfied. Such scheduling requires a detailed representation of the worst case run-time behavior of the application. Constructing the behavioral description requires detailed information about the properties and requirements of the application, system, and target hardware. The Spring system description language (SDL), plays vital roles in both its source and compiled forms. SDL source files enable developers to specify the properties of all parts of the system in great detail. When compiled, this information is available for use by all tools needing to use, modify, or add to it. The SDL thus provides vital support

Citations