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

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

M. Joseph, Problems, Promises and Performance: Some Questions for Real-Time System Specification (November 1, 1991).

Abstract

This paper considers how different views of real-time program specification and verification arise from different assumptions about the representation of time external to the program, the representation of time in the program and the verification of the timing properties on an implementation. Three different views are compared: real-time programming without time, the synchrony hypothesis and asynchronous real-time programs. Questions about the representation of time are then related to different models of time and their roles at different levels of analysis. The relationship between the development of a program from a specification and its timing characteristics in an implementation is discussed and it is suggested that the formal verification of timing properties can be extended towards the implementation. The need for fault-tolerance in a real-time system is then considered and ways examined of incorporating a formal proof of fault-tolerance along with proof of its timing properties. Keywords: real-time specification, synchronous real-time, asynchronous real-time, fault-tolerance. Presented at the REX Workshop on Real-time Systems: Theory in Practice, Plasmolen, Mook, The Netherlands, June 1991.

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

M. Joseph, "Problems, Promises and Performance: Some Questions for Real-Time System Specification", Real-Time - Theory in Practice, Lecture Notes in Computer Science 600, ed. J.W. de Bakker, K. Huizing, W.P. de Roever and G. Rozenberg, Springer-Verlag, Berlin, pp. 315-324 (1992)

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