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
