<%@ 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-230

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

W.M. Ferreira, M.R. Hill and M. Joseph, Automated Timing Analysis of Real-time Programs (December 1, 1992).

Abstract

ReStat is an interactive software tool for statically analysing the timing properties of real-time programs. Given a distributed program, a description of an architecture and a scheduling discipline. ReStat can be used to determine whether the implementation of the program on the architecture will meet a set of timing deadlines. The program may consist of a number of communicating processes and one process or more may be assigned to any processor. Each process is assumed to have a simple, nonterminating,cyclic structure. ReStat uses a method of static analysis which establishes the timing properties of a real-time program by examining finite execution segments. The method is syntactic and can be efficiently implemented. This paper gives a outline formal specification of the present version of the tool and illustrates its use as a design aid by way of examples. Keywords: deadlines, static analysis, scheduling, formal specification

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

M.R. Hill and M. Joseph, "Automated Timing Analysis of Real-Time Programs", Software Engineering Journal, pp. 221-227 (1994)

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