From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_20 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 28 Jun 93 16:47:40 GMT From: pipex!uknet!yorkohm!minster!ken@uunet.uu.net Subject: Two reports available via FTP Message-ID: <741286059.17125@minster.york.ac.uk> List-Id: Two reports have been made available via FTP: "Using the Worst-Case Execution Analyser", Charles Forsyth, Task 8 vol. D deliverable to European Space Agency `Hard Real Time Operating System Kernel Study', ESTEC contract number 9198/90/NL/SF This is the "user manual" for the tool developed at York to compute the worst-case execution time of Ada programs written in York Ada and targetted to a 68020 board. The other report: "Implementation of the Worst-Case Execution Analyser", Charles Forsyth, Task 8 vol. E deliverable to European Space Agency `Hard Real Time Operating System Kernel Study', ESTEC contract number 9198/90/NL/SF describes the implementation of the tool. The two reports can be FTPd from: minster.york.ac.uk (144.32.128.41) in the directory: /pub/realtime/papers taking the files: task8d.ps.Z and: task8e.ps.Z Remember to use binary mode, since both files are compresed postscript. The file INDEX contains a description of other real-time papers and reports written at York. -- Ken Tindell Internet : ken@minster.york.ac.uk Computer Science Dept., Local FTP site: minster.york.ac.uk University of York, Tel. : +44-904-433244 YO1 5DD, UK Fax. : +44-904-432708 -- "The Gulf War won't be like a Rambo film; it will be long, bloody and terrible"