Timing, Precedence, and Resource Constraints in the RealSpec Real-Time Specification Language

A.A. Khwaja and J.E. Urban (USA)


Real-time, executable specifications, timing constraints, resource constraints, precedence constraints, exceptions.


Timing, resource, and precedence constraints and constraint handling are integral parts of real-time systems. A real-time specification language should have the ability to clearly specify such requirements. This paper presents language constructs and design decisions for representing these features in the RealSpec real-time executable specification language. The paper also puts RealSpec’s features in perspective by comparing with similar capabilities of other existing real-time specification languages highlighting the areas that RealSpec enhances coverage compared to other languages.

Important Links:

Go Back