Xref: utzoo comp.realtime:35 comp.lang.misc:2993
Path: utzoo!attcan!uunet!mcvax!tuvie!inst182
From: inst182@tuvie (Inst.f.Techn.Informatik)
Newsgroups: comp.realtime,comp.lang.misc
Subject: Searching for realtime languages
Keywords: hard realtime systems, programming languages
Message-ID: <699@tuvie>
Date: 26 May 89 12:11:04 GMT
Reply-To: alex@honey.at (Alexander Vrchoticky)
Organization: TU Vienna EDP-Center, Vienna, AUSTRIA
Lines: 18

I am carrying out some research on programming languages for
hard real-time systems. The emphasis lies on the timing behaviour.
The nature of hard real-time systems dictates, that the execution times
of the application tasks is known (or bounded) in advance.
My main interest is: How do different realtime languages
try to achieve that an upper bound on the execution time is derivable.
Please note, that I am interested in references to research projects, not
in (commercialy) available programming environments. Therefore
availability of compilers for the language is not an issue.
Please mail references, names of projects (languages) etc. to 
my address shown *below* (Not the same as in the header).
When I get enough replies I will post a summary.	

**********************************************************************
-alex (Alexander Vrchoticky)   * Writing thesis at (not speaking for)
alex@honey.at                  * Technical University Vienna
honey!alex@uunet.UU.NET        * (when I grow up I'll be a graduate)
**********************************************************************