Abstract
RealSpec is a declarative and executable specification language for specifying real-time and concurrent software systems based on the dataflow computation model.
Predictability is one of the most important traits of real-time software systems. A real-time specification language should be able to define and support the predictability requirements for real-time systems. A specification language should be expressive enough to prescribe all timing behavior. Lack of such a capability may result in a faulty system definition.
This paper provides an analysis of the preciseness for predictability in the RealSpec real-time executable specification language. The paper also identifies potential language areas of concern for predictability analysis and proposes possible solutions to ensure that specifications have a high degree of preciseness for predictability. (1 2)