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

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

Keywords

Realtime, executable specifications, timing constraints, resource constraints, precedence constraints, exceptions.

Abstract

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