Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!kl-cs!cam-cl!cjs
From: cjs@cl.cam.ac.uk (Cormac Sreenan)
Newsgroups: comp.realtime
Subject: real-time specs.
Message-ID: <1782@gannet.cl.cam.ac.uk>
Date: 28 Feb 90 10:19:27 GMT
Sender: news@cl.cam.ac.uk
Reply-To: cjs@cl.cam.ac.uk (Cormac Sreenan)
Organization: Computer Laboratory, University of Cambridge
Lines: 18

Is anyone out there in netland familiar with the mechanisms used to
specify timing constraints in a real-time environment?  Is it simply a
case of "#define MAX_DELAY ...." in the code :-) or is there some more
formal approach used during the specification/design phases?


Cormac Sreenan

Computer Laboratory,			
University of Cambridge,
New Museums Site,
Pembroke Street,
Cambridge CB2 3QG,
England.

Tel:		+223-334663
JANet:		cjs@uk.ac.cam.cl
Internet:	cjs@cl.cam.ac.uk or cjs%cl.cam.ac.uk@nss.cs.ucl.ac.uk