<%@ page language="java" contentType="text/html" %> <%-- Include common initialisation code --%> <%@ include file="/arch/common.jsp" %> <%-- The current tab --%> <% String currentTab = "Research"; %> <%-- Content of navigation pane --%> <%@ include file="nav.jsp" %> <% showCurrentLink=true; %> <%-- Current navigation location --%> <% String currentNav = "Reports and Theses"; %> <%-- Include the code for the document header --%> <%@ include file="/arch/header.jsp" %>

Research Report CS-RR-201

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %>

Yogesh Naik, A Temporal Approach to Requirements Specification of Real-Time Systems (November 1, 1991).

Abstract

This paper describes a specification notation of temporal logic to describe the requirements of real-time systems. The notation is extended by a calculus of occurrences of predicates. Using the logic and the calculus we show that common real-time properties such as durations, number of occurrences, precedence and other properties can be described. It is then used to describe the IEEE 802 Token Bus specification.

<%@ include file="cited.html" %>

Y. Naik, "A Temporal Approach to Requirements Specification of Real-Time Systems", Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 571, ed. J. Vytopil, Springer-Verlag, pp. 341-361 (1991); 2nd International Symposium, Nijmegen, the Netherlands, January 8-10, 1992

<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>