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.
Preciseness for predictability with the RealSpec real-time executable specification language
2010-03-01
238931 byte
Conference paper
Electronic Resource
English
Executable specification-based system engineering
IEEE | 2011
|Futurebus - as a Machine Executable Specification Promotes Interoperability
British Library Conference Proceedings | 1994
|Executable modeling aids design of real-time embedded systems
Tema Archive | 1988