Re: Specifying time limits in source code ?

rweaver@ix.netcom.com (rweaver)
19 Jul 1999 01:17:37 -0400

          From comp.compilers
Related articles
Specifying time limits in source code ? hat@se-46.wpa.wtb.tue.nl (1999-07-14)
Re: Specifying time limits in source code ? chase@world.std.com (David Chase) (1999-07-19)
Re: Specifying time limits in source code ? cbrtjr@ix.netcom.com (Charles E. Bortle, Jr.) (1999-07-19)
Re: Specifying time limits in source code ? rweaver@ix.netcom.com (1999-07-19)
Re: Specifying time limits in source code ? kgatlin@cs.ucsd.edu (KSG) (1999-07-19)
Re: Specifying time limits in source code ? dtruong@irisa.fr (Dan Truong) (1999-07-20)
Re: Specifying time limits in source code ? mslamm@mscc.huji.ac.il (Ehud Lamm) (1999-07-20)
Re: Specifying time limits in source code ? mslamm@mscc.huji.ac.il (Ehud Lamm) (1999-07-21)
Re: Specifying time limits in source code ? gneuner@dyn.com (1999-07-23)
| List of all articles for this month |
From: rweaver@ix.netcom.com (rweaver)
Newsgroups: comp.compilers
Date: 19 Jul 1999 01:17:37 -0400
Organization: Netcom
References: 99-07-049
Keywords: realtime

Only a possibility. Years ago I heard Parnas talk about, as I recall,
his involvment with the formal design and implementation of the
software for a US jet fighter; to replace the existing ad hoc code.
The ad hoc code was described, as I recall (the same weasel words), as
containing interleaved code for different tasks in order to meet real
time constraints. So that formal effort may be of interest to you.


dick w


<hat@se-46.wpa.wtb.tue.nl> writes:
>Design methodology in [realtime systems] is very much focussed on timely
>response of the system. For example, you can specifiy time limits
>within which the system should respond on an event.

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.