From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM,XPRIO autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,340b4f94c31ad0c2,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-24 09:21:54 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!colt.net!newspeer.clara.net!news.clara.net!peernews!peer.cwci.net!newspeer1-gui.server.ntli.net!ntli.net!news6-win.server.ntlworld.com.POSTED!not-for-mail From: "Messiah" Newsgroups: comp.lang.ada Subject: Hard or soft systems X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4807.1700 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700 Message-ID: Date: Fri, 24 May 2002 17:26:07 +0100 NNTP-Posting-Host: 80.5.123.69 X-Complaints-To: abuse@ntlworld.com X-Trace: news6-win.server.ntlworld.com 1022257313 80.5.123.69 (Fri, 24 May 2002 17:21:53 BST) NNTP-Posting-Date: Fri, 24 May 2002 17:21:53 BST Organization: ntl Cablemodem News Service Xref: archiver1.google.com comp.lang.ada:24655 Date: 2002-05-24T17:26:07+01:00 List-Id: Can anyone answer the following: Which of the following real time techniques can be used for Hard systems and in what form would they need to be for this to be possible. Petri nets CSP Ward mellor extended DFD's Finite state machines Where would it be possible on the net to find this information, and also info into the current state of development ofeach of the above techniques. Any help would be greatly appreciated. M -- ---------------------------------------------------------------------------- ----------- This email and all attachments have been scanned with Norton Anti Virus, Total protection for Pc and Mac www.symantec.com