In this paper, we identify the need for a more systematic method to support the specification and analysis of reactive real-time systems and propose such an approach based on real-time transactions. Firstly, a graphical notation is outlined that can be used to specify the timing properties of real-time transactions.
Members-Only Content
This content is restricted to members only.
You must be logged in with an active membership to access this page.
Please click the link below to log in. If you do not have an account or your membership is inactive, you may need to register or renew it.