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

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


Realtime, 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