Preciseness for predictability with the RealSpec real-time executable specification language

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.