Subject: IEEE-CS TC-RTS Newsletter for Thu Dec 09, 1993 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. ken@minster.york.ac.uk (163 lines) Research Prospectus available via FTP.............................. 3 Report available via FTP........................................... 23 Two reports available via FTP...................................... 57 Report and program available via FTP............................... 107 2. carro@cs.bu.edu (Carlos Cunha) (30 lines) A Survey of Real-Time Operating Systems -- Preliminary Draft....... 167 3. Eric Rutten (42 lines) Research report available.......................................... 195 4. zalewski_j@gusher.pb.utexas.edu (163 lines) Real-Time bibliography available from the IEEE-CS TC-RTS Archives.. 238 Glossary of Real-time system terms and definitions................. 285 CFP: INFORMATICA -- Distributed and Parallel Real-time Systems..... 325 5. krithi@nirvan.cs.umass.edu (krithi) (215 lines) CFP: IFAC DCCS'94.................................................. 401 6. best@cs.bu.edu (Azer Bestavros) (430 lines) CFP: ACM SIGPLAN LCTS-RTS Workshop ................................ 616 CFP: ACP'94........................................................ 708 CFP: LICS'94....................................................... 796 CFP: PSTV'94....................................................... 822 Position Avaliable................................................. 1005 7. Yiannis Papelis (58 lines) Position available................................................. 1046 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Tue Nov 9 11:23:25 1993 From: ken@minster.york.ac.uk Subject: Research Prospectus available via FTP The postscript for a research prospectus for the Real-Time Systems Research Group in the Department of Computer Science at the University of York, England, is available via anonymous FTP from: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime in the file: PROSPECTUS.ps.Z The file is stored in compressed postscript format, so be sure to set binary mode when FTPing the file. Subject: Report available via FTP A report entitled "Preemptive Priority Based Scheduling: An Appropriate Engineering Approach", by A. Burns is available by FTP from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the file: YCS214.ps.Z The file is stored in compressed postscript format so be sure to set binary mode when FTPing the report. The abstract of the report is as follows: "Scheduling theories for fixed priority scheduling are now sufficiently mature that a genuine engineering approach to the construction of hard real-time systems is possible. In this paper we review recent advances. A flexible computational model is adopted that can accommodate periodic and sporadic activities, different levels of criticality, process interaction and blocking, cooperative scheduling (deferred preemption), release jitter, precedence constrained processes, arbitrary deadlines, deadlines associated with specific events (rather than the end of a task's execution) and offsets. Scheduling tests for these different application characteristics are described. This model can be supported by structured, object oriented or formal development methods. The paper also considers the issues involved in producing safe and predictable kernels to support this computational model." Subject: Two reports available via FTP Two new reports are available by FTP from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers The first is called "Scheduling Slack Time in Fixed Priority Pre-emptive Systems" by R. I. Davis, and is stored in the file: YCS216.ps.Z The abstract is as follows: "This report addresses the problem of jointly scheduling tasks with both hard and soft time constraints. We present new analysis which builds upon previous research into slack stealing algorithms. Our analysis determines the maximum processing time which may be stolen from hard deadline periodic or sporadic tasks, without jeopardising their timing constraints. It extends to tasks with characteristics such as synchronisation, release jitter and stochastic execution times, as well as forming the basis for research into optimal and approximate slack stealing algorithms." The second report is called "Approximate Slack Stealing Algorithms for Fixed Priority Pre-emptive Systems" by R. I. Davis, and is stored in the file: YCS217.ps.Z The abstract is as follows: "Recent research into the problem of jointly scheduling tasks with both hard and soft time constraints has focused on the development of optimal slack stealing algorithms. Theoretically, these optimal algorithms offer significant performance improvements over previous bandwidth preserving algorithms such as the Sporadic Server or Extended Priority Exchange algorithm. However, there are problems associated with the practical application of both static and dynamic variants of optimal slack stealing algorithms. In this report, we address these problems by providing approximate slack stealing algorithms which offer close to optimal performance with practical utility." The files are stored in compressed postscript format so be sure to set binary mode when FTPing the report. Subject: Report and program available via FTP A report entitled: "On Limitations of the Analysis Presented in the Paper `Engineering of Analysis of Fixed Priority Schedulers' by Katcher et al", by K. Tindell, A. Burns, and A. Wellings is available by FTP from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the file: RTRG93101.ps.Z The file is stored in compressed postscript format so be sure to set binary mode when FTPing the report. The source code and data files for a program generating the results described in the report is also available, in the directory: /pub/realtime/programs/src/ticksched The abstract of the report is as follows: "In a recent paper [1] by Katcher et al, a way of modelling overheads of scheduling real-time tasks on a single processor was proposed. It was argued that this modelling was the first move towards bridging the gap between the assumptions of scheduling theory and the realities of implementation. The paper asserted that the `optimal' values of certain scheduling parameters could bechosen with this theory. In this short paper we show how rcent work in the Real-Time Systems Research Group at York has bridged this gap in an implemented system. We also show that the analysis presented by Katcher et al is far from eact and hence its use as a metric for configuring scheduling parameters `optimally' cannot be asserted." [1] Katcher, D. I., Arakawa, H, and Strosnider, J. K., "Engineering and Analysis of Fixed Priority Schedulers", IEEE Trans. Softw. Eng. (USA) 19(9) (September 1993). A number of other papers and reports written by the Real-Time Systems Research Group at York are also available; the file INDEX in the directory /pub/realtime/papers lists these. The source code and binaries of a number of tools supporting work done in the group is available in the directory /pub/realtime/programs. -- 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 ------------------------------------------------------------------------------ Message 2; Postmarked Tue Nov 23 17:27:15 1993 Sender: best@cs.bu.edu (Azer Bestavros) From: carro@cs.bu.edu (Carlos Cunha) Subject: A Survey of Real-Time Operating Systems -- Preliminary Draft "A Survey of Real-Time Operating Systems -- Preliminary Draft" Bodhisattwa Mukherjee, Karsten Schwan and Kaushik Ghosh GIT-CC-93/18 ABSTRACT: This paper describes current research in real time operating systems. We present relevant results in real-time task scheduling, summarize research in real-time synchronization, and follow up with a discussion of the structures and primitives offered by selected real-time operating system kernels. The paper (postscript) is available via anonymous ftp from "ftp.cc.gatech.edu". The file is: /pub/tech_reports/1993/GIT-CC-93-18.ps If you do not have access to ftp, or have trouble in obtaining the paper, reply to this article, or send a message to kaushik@cc.gatech.edu. I'll arrange to have the paper sent to you. Regards, Kaushik Ghosh. ------------------------------------------------------------------------------ Message 3; Postmarked Mon Dec 6 09:29:15 1993 Subject: Research report available From: Eric Rutten The following research report is available via anonymous FTP from ftp.irisa.fr as techreports/PI778.ps.Z (or in paper copy from the authors): E. Rutten, P. Le Guernic. "Sequencing data flow tasks in SIGNAL", Publication Interne IRISA, Rennes, no. 778, Novembre 1993 Abstract: The {\sc Signal} language is a real-time, synchronized data-flow language. Its model of time is based on instants, and its actions are considered instantaneous. Various application domains such as signal processing and robotics require the possibility of specifying behaviors composed of successions of different modes of interaction with their environment. To this purpose, we introduce the notion of {\em time interval}, defined by a start and an end event, and denoting the series of its occurrences. Associating a time interval to a data-flow process specifies a {\em task} i.e., a non-instantaneous activity and its execution interval. Different ways of sequencing such tasks are described. We propose these basic elements at the programming language level, in the perspective of extensions to {\sc Signal}. Application domains feature the discrete sequencing of continuous, data-flow tasks, as is the case, for example, of robotic tasks. Keywords: Data-flow tasks, task sequencing, real-time, time intervals. Above file is in compressed PostScript. Eric ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Eric Rutten | room: 221 (Green 338) IRISA / INRIA | phone: +33 99 84 72 33 Campus de Beaulieu | fax: +33 99 38 38 32 F-35042 RENNES CEDEX - FRANCE | e-mail: rutten@irisa.fr ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ------------------------------------------------------------------------------ Message 4; Postmarked Mon Nov 29 11:09:41 1993 From: zalewski_j@gusher.pb.utexas.edu Subject: Real-Time bibliography available from the IEEE-CS TC-RTS Archives A bibliography named "REAL-TIME SYSTEMS: REFERENCE LIBRARY", listing over 200 books related to real-time computing, in postscript format, is available via anonymous ftp from: cs.bu.edu:/IEEE-RTTC/public/bibliography.ps Included are books published between 1980-1994. The title page is given below. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - REAL-TIME SYSTEMS: REFERENCE LIBRARY Compiled by: Janusz Zalewski Dept. of Computer Science The University of Texas of the Permian Basin Odessa, TX 79762-0001 zalewski_j@@utpb.pb.utexas.edu Updated: 30-November-1993 Retrievable via ftp from: cs.bu.edu:/IEEE-RTTC/public/bibliography.ps Note. This bibliography contains an alphabetical list of all known books related to real-time systems, each ammended by a descriptor indicating one or more of the eight major categories: * A, real-time hardware architectures * D, distributed and multiprocessor systems * K, real-time operating system kernels * L, real-time programming languages * M, real-time development methodologies * S, reliability, safety, and fault-tolerance * T, theory * Z, general (including applications, artificial intelligence, etc.) A cross reference list is also provided. The author would be grateful for any additions, deletions, corrections and comments. ------------------------------------------------------------------ Subject: Glossary of Real-time system terms and definitions A glossary of over 300 terms (with definitions) related to real-time computing, in postscript format, is available via anonymous ftp from: cs.bu.edu:/IEEE-RTTC/public/glossary.ps The title page is given below. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - REAL-TIME SYSTEMS GLOSSARY Compiled by: Janusz Zalewski Dept. of Computer Science The University of Texas of the Permian Basin 4901 E. University Blvd Odessa, TX 79762-0001 zalewski_j@@utpb.pb.utexas.edu Updated: 1-December-1993 This glossary is composed of two parts. General terms and their definitions, contained in Part 1, have been taken "as is" from the best available sources. No attempts have been made, so far, to edit respective definitions. The objective of compiling this part of the glossary was just to collect an initial set of terms to form a basis for further work, perhaps by a committee. For some terms in this group, no appropriate definitions have been found, so they are left undefined. Part 2 contains a self-contained set of terms for multi- processor buses, which has been compiled and edited by the author, and prepared for a separate publication. Any kind of reader input (corrections, additions, deletions, comments) is very welcome. ------------------------------------------------------------------------- Subject: CFP: INFORMATICA -- Distributed and Parallel Real-time Systems CALL FOR PAPERS DISTRIBUTED AND PARALLEL REAL-TIME SYSTEMS Special Issue of INFORMATICA Guest Editors: Marcin Paprzycki and Janusz Zalewski University of Texas-Permian Basin We would like to invite papers for the Special Issue of INFORMATICA, An International Journal of Computing and Informatics published in English by the Slovene Society Informatika and the Josef Stefan Institute in Ljubjana, Slovenia. The scope of the volume will encompass a variety of issues associated with the recent developments in the area of distributed and parallel real-time computing. Papers related to both hardware and software aspects of concurrency will be considered. Their focus should be on the timeliness and responsiveness issues (bounded response time) of respective solutions. Sample topics may include: - multiprocessor buses and architectures - real-time features of local area networks - message scheduling in distributed systems - distributed and parallel operating systems - task allocation and load balancing in real time - interprocess synchronization and communication for real time - specification and programming languages - formal methods in specification and design - debugging of distributed real-time systems - designing parallel and distributed applications - distributed real-time databases - dependability, realiability and safety in distributed real-time systems - standardization. Only previously unpublished work will be accepted for the volume. All papers will be refereed. Due dates: * February 15, 1994 Submission deadline * May 1, 1994 Notification of the authors * June 1, 1994 Camera-ready versions due All correspondence and requests for sample copies of INFORMATICA should be addressed to the Guest Editors at the following address: Marcin Paprzycki and Janusz Zalewski Dept. of Computer Science University of Texas-Permian Basin 4901 E. University Blvd Odessa, TX 79762-0001 USA Phone: (915)367-2310 Fax: (915)367-2115 Email: paprzycki_m@gusher.pb.utexas.edu zalewski_j@utpb.pb.utexas.edu ---------------------------------------------------------------------------- Note. Prospective authors may be also interested in a topical event: The Second Workshop on Parallel and Distributed Real-Time Systems, April 28-29, 1994, Cancun, Mexico. For information on the workshop, please contact its Program Chairs: Dieter K. Hammer, Technische Universiteit Eindhoven wsindh@win.tue.nl Lonnie R. Welch, New Jersey Institute of Technology welch@vienna.njit.edu ---------------------------------------------------------------------------- ------------------------------------------------------------------------------ Message 5; Postmarked Mon Nov 8 09:12:36 1993 From: krithi@nirvan.cs.umass.edu (krithi) Subject: CFP: IFAC DCCS'94 Dear colleagues, We started distributing the Call for Papers for DCCS'94 about a month ago. By now you should have received some printed brochures. If it is not so or if you need more copies, please let me know in order to send you a new package. I would appreciate if you could distribute them to selected people and periodicals in your respective countries. Here I am also enclosing an electronic copy of the CFP in both plain ASCII and LaTeX versions. I am distributing these to a database of e-mail addresses, as well as to a couple of electronic newsletters, the E-letter on Systems, Control and Signal Processing , and the Control Newsletter . I would highly appreciate if you could e-mail the cfp to people that may be interested in the workshop. Please provide me with a copy of the addresses you use, or just send me the addresses and I shall do the e-mailings. As you know, the most important issue for having a successful event is to get a first class technical program. I encourage you to contribute to the Workshop and to actively look for good papers by contacting prospective authors working in the field whom you know. Looking forward to a successful collaboration with all you, receive my best regards, Juan de la Puente *************************** cut here ********************************* __________________________________________________________________ | | | 12th IFAC Workshop on | | | | DISTRIBUTED COMPUTER CONTROL SYSTEMS | | | | DCCS'94 | | | | Toledo, Spain, 28--30 September, 1994 | | | | FIRST ANNOUNCEMENT AND CALL FOR PAPERS | | | |________________________________________________________________| SPONSORED BY: International Federation of Automatic Control (IFAC), Technical Committee on Computers. INTERNATIONAL PROGRAMME COMMITTEE Chair: Prof. M.G. Rodd University of Wales, Swansea SA2 8PP United Kingdom E-mail: eerodd@pyr.swan.ac.uk Members: A. Bondavalli (Italy) A. Burns (United Kingdom) A. Crespo (Spain) F. Cristian (USA F. DePaoli (Italy) M. A. Inamoto (Japan) H. Kopetz (Austria) W.H. Kwon (Korea) G. Le Lann (France) I. MacLeod (South Africa) A. Mok (USA) L. Motus (Estonia) S. Narita (Japan) D. Powell (France) R. Puigjaner (Spain) K. Ramamrithan(USA) R. Reyero (Spain) G. Suski (USA) T. Williams (USA) G. Zhao (Singapore) NATIONAL ORGANIZING COMMITTEE General Chair: Prof. J.A. de la Puente ETSI Telecomunicacion Universidad Politecnica de Madrid E-28040 Madrid, Spain E-mail: jpuente@gic.tat.upm.es Members: A. Alonso S. Dormido A. Jimenez J.A. Cerrada SCOPE The Workshop will consist of formal presentations, discussion and informal meetings covering recent advances and current issues in theory, applications, and technology of distributed computer control systems. The topics to be covered include, but are not restricted to: * The role of real-time in DCSS specifications. * Analysis and design methods for DCCS, including software design methods for predictable behaviour. * Scheduling methods for DCCS. * Real-time distributed operating systems and databases. * Real-time communication system architectures. * Current and future impact of advanced computer system architectures. * Testing and validation of DCCS, including timing properties. * Dependability issues of DCCS. * Industrial applications and experience with DCCS. PARTICIPATION Attendance will be limited by invitation to a maximum of 60 participants. Preference will be given to those who submit abstracts or express interest in organising specific sessions or panel discussions. Participants are requested to register in advance not later than 30 June 1994. LOCATION Toledo is located 70 km south of Madrid. It can be easily reached by train or motor car from Madrid. LANGUAGE English will be the working language for the workshop and will be used for all printed material, presentations and discussions. No simultaneous translation will be provided. EXTENDED ABSTRACTS Offers of papers are welcomed from individuals and groups on the topics outlined above. Five copies of an extended abstract (1000--2000 words) should be received by the workshop secretariat not later than 1 March 1994. Please include e-mail and fax number with the author's address. The invitations to the Workshop will be based on the assessment of the extended abstracts by the Programme Committee. The abstracts should outline the contribution that the author intends to make at the Workshop. PAPERS Full papers are to be prepared according to the instructions that will be sent to the authors together with the letter of invitation. Accepted papers must be presented in person at the Workshop. Each registered participant will be provided with a copy of the preprint volume including all accepted papers. COPYRIGHT The copyright of all accepted papers is automatically transferred to IFAC. Papers published in IFAC preprint volumes will also be considered for publication in the IFAC Journals Automatica, and Control Engineering Practice, which have priority access to all such material. ORGANIZERS DCCS'94 is an IFAC event organized by CEA-IFAC, the Spanish National Member Organization of IFAC, with the support of: Universidad Politecnica de Madrid. Universidad Nacional de Educacion a Distancia. Fundacion Universidad-Empresa. Ada-Spain. CORRESPONDENCE All correspondence should be addressed to: DCCS'94 Secretariat Fundacion Universidad-Empresa Serrano Jover, 5-7 E-28015 Madrid, Spain Tel: +34 1 542 9003 Fax: +34 1 547 0652 E-mail: dccs94@gic.tat.upm.es ----------------------------------------------------------------------------- IMPORTANT DATES Extended abstracts due by ...................... 1 March 1994 Selection and invitation ....................... 15 May 1994 Registration ................................... 30 June 1994 Full papers due by ............................. 30 June 1994 Workshop ............................... 28--30 September 1994 ----------------------------------------------------------------------------- RELATED EVENT The 2nd IFAC/IFIP/IMACS Symposium on Artificial Intelligence in Real Time Control (AIRTC'94) will be held in Valencia, 3-5 October, 1994 . ============================================================================== DCCS'94 Reply form Please send this form before 1 March 1994 Name: ______________________________________ First name: ________________ Position: _______________________________________________________________ Organization: ___________________________________________________________ Address: ________________________________________________________________ ________________________________________________________________ ________________________________________________________________ Postal Code: ______________City: ________________________________________ Country: ________________________________________________________________ Fax: __________________________ Phone: _____________________________ E-mail: ________________________________________________________________ _ |_| I am planning to attend the DCCS'94 Workshop |_| I intend to submit an abstract. Preliminary title: Date: ============================================================================== ------------------------------------------------------------------------------ Message 6; Postmarked Sun Dec 5 11:58:23 1993 From: best@cs.bu.edu (Azer Bestavros) Subject: CFP: ACM SIGPLAN LCTS-RTS Workshop CALL FOR PAPERS ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems Walt Disney World Village, Orlando, Florida June 21, 1994 The LCTS-RTS Workshop, to be held in conjunction with PLDI '94 (ACM SIGPLAN Conference on Programming Language Design and Implementation) and LFP '94 (Lisp and Functional Programming), explores the interface between two dynamic areas of computer science and engineering: programming languages and real-time systems. LCTS-RTS is intended to share results and directions, and to expose members of each community to relevant work and interesting problems in the other. Directions in both fundamental and applied research in real-time computing have been changing over the last several years, in response to the need for large, flexible, powerful, and robust systems. Previous approaches have been pitched at inappropriate levels for these new applications. Large complex systems require both high-level design and low-level coding, as well as high-level specification/verification, with guarantees on translation quality. Language and compiler techniques are a major part of the solution and language researchers are beginning to explore real-time applications and environments. While hard temporal constraints complicate the adaptation, the entire range of language techniques can be brought to bear on real-time systems. Original papers relevant to this theme are requested. Appropriate topics include the following aspects of real-time systems. o Language paradigm/design issues. o Language and analysis features for modularity and reuse. o Languages for applications (e.g., imaging, multimedia, virtual reality, reactive systems). o Static analysis and language-based proof systems; handling time and resources. o Predictability versus expressivity; partial evaluation. o Schedulability and related analyses. o Parallelism and task granularity via language features and/or static analysis. o Compilers and translators; safe optimization and parallelization. o Language-based debuggers and testers. o Language support for partitioning, mapping, and scheduling. o Language handling for real-time interrupts, multi-mode operation, exceptions, and overload. o Language support for imprecise computation. o Memory management; garbage collection for real-time systems. Papers should report new research, and should not exceed 5000 words (approximately 10 pages typeset 10-point on 16-point spacing, or 15 typewritten double-spaced pages); implementation- and experiment-based papers are encouraged. We also welcome short papers describing existing research or implementations, or outlining problems and approaches to open and important issues. These shorter papers should not exceed 2000 words (4 pages). All long papers accepted will be presented at the workshop. Authors of short papers may be asked to present, or to be on panels, as time allows. All authors are encouraged to keep the exploratory emphasis of the workshop in mind when preparing papers and presentations. SUBMISSION: In either case, please submit seven (7) copies of papers, to: Dr. William Pugh, Real-Time Workshop, Department of Computer Science, University of Maryland, College Park, MD 20742 USA. Papers will be reviewed for appropriateness of content and presentation; authors will receive written comments from the program committee. January 5, 1994 is the _strict_deadline_ for receipt of submissions. Authors will be notified, with comments, by March 1. Final, camera-ready versions are due on May 9. Proceedings will be distributed at the workshop. ------------------------------------------------------------------------------ PROGRAM CO-CHAIRS | PROGRAM COMMITTEE ----------------- | ----------------- - Thomas Marlowe (Seton Hall U) | - Ted Baker (Florida State University) | - Azer Bestavros (Boston University) - William Pugh (U of Maryland) | - Ron Cytron (Washington Univ/St Louis) | - Victor Fay Wolfe (U of Rhode Island) ------------------------------------------------------------------------------ Subject: CFP: ACP'94 Call for Papers for the Workshop on Algebra of Communicating Processes ACP94 May 16-17, 1994 Utrecht, The Netherlands The development of ACP in different directions and at various places has reached a stage that asks for a common platform on ACP matters. The workshop ACP94 is such a platform. ACP94 is meant to provide an overview of the (current) research, design and application activities. It is also the appropriate workshop to present and discuss open problems in, or particular views on the ACP area. ACP94 aims at all people working or interested in the field of ACP. Topics of the workshop may include: - research and design issues in ACP, e.g., extensions with real-time or data; - issues tailored to the application of ACP such as case studies or tools; - open problems concerning ACP or particular views on ACP. Invited speakers J.C.M. Baeten TUE (Eindhoven) R.J. van Glabbeek Stanford University J.F. Groote UU (Utrecht) F.W. Vaandrager CWI (Amsterdam) Submissions The deadline for the submission of papers or open problems is March 4, 1994. Preferably, a submission comprises approximately 15 pages. Notification of acceptance will be given March 25, 1994. Revised papers are due April 22, 1994. The proceedings will contain an introduction to ACP: "The algebra of recursively defined processes and the algebra of regular processes" by Bergstra and Klop, LNCS 172, 1984. Therefore, submissions need only introduce concepts not included in this paper. Please send your submission, preferably a PS-file, by email to acp94@fwi.uva.nl, or four hard copies to the ACP94 secretariat. Proceedings The proceedings will be handed out at the workshop. They will contain the above-mentioned introduction to ACP and the accepted submissions. Moreover, accepted submissions will be made available by anonymous ftp as soon as possible. The internet address of the ftp site is ftp.fwi.uva.nl; the directory is pub/acp94. It will be considered to publish afterwards a commercial edition of the proceedings. Location The workshop will take place at "Zalencentrum Bologna", Bolognalaan 2, Utrecht, The Netherlands. This is at Utrecht University Campus "de Uithof". Important dates Deadline for submission: March 4, 1994 Notification of acceptance: March 25, 1994 Deadline for final text: April 22, 1994 Workshop ACP94: May 16-17, 1994 Programme Committee I. Bethke UvA and UU (Utrecht, Amsterdam) J.W. Klop CWI and VU (both Amsterdam) A.S. Klusener CWI (Amsterdam) J.C. Mulder TUE (Eindhoven) S. Mauw TUE (Eindhoven) A. Ponse UvA (Amsterdam) C. Verhoef TUE (Eindhoven) S.F.M. van Vlijmen UU (Utrecht) ACP94 is organized by A. Ponse, C. Verhoef and S.F.M. van Vlijmen. Information More information can be obtained by electronic mail. Information on the use of our ftp service can be obtained by the finger command. The latest news on ACP94 is available via anonymous ftp. The appropriate commands are: mail acp94@fwi.uva.nl finger -l acp94@mail.fwi.uva.nl | more ftp ftp.fwi.uva.nl, and get pub/acp94/news.acp94. ACP94 secretariat Ms. Annemarie Besselink, Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, The Netherlands. Tel: +31-30-535574, Fax: +31-30-531826. ACP94 is organized with financial support of the "Nationale Faciliteit Informatica", the University of Amsterdam and Utrecht University. Subject: CFP: LICS'94 Ninth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE July 4-7, 1994, Paris, France SUBMISSION DEADLINE: December 13, 1993 10 hard copies of a detailed abstract (not a full paper) and 20 additional copies of the cover page should be received by December 13, 1993 by the program chair. This is a FIRM DEADLINE: late submissions will not be considered. Program Chair: Samson Abramsky, Attn: LICS, Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London SW7 2BZ, United Kingdom, sa@doc.ic.ac.uk, Phone: (010-44) 71-589-5111 ext. 5005, Fax: (010-44) 71-581-8024 The full announcement can be obtained by anonymous ftp from research.att.com, directory /dist/lics, or by emailing lics-request@research.att.com. Postmarked Tue Dec 7 09:11:59 1993 From: best@cs.bu.edu (Azer Bestavros) Subject: CFP: PSTV'94 CALL FOR PAPERS - PSTV'94 The 14th International IFIP Symposium on Protocol Specification, Testing and Verification Vancouver, B.C. Canada (7-10 June 1994) Sponsored by IFIP WG 6.1 In cooperation with ACM SIGCOMM (*) and IEEE TC on Comp Comm (*) SCOPE and OBJECTIVE ------------------- Protocol engineering involves the use of formal methods in every phase of the development process of communication protocols and distributed systems. This discipline has been increasingly practised as formal methods provide a framework within which systems and services can be specified, verified, developed and tested in a systematic manner. This symposium serves as a forum for researchers and practitioners interested in advances in formal methods, and methodologies in using formal methods to specify, test and verify communication protocols and services. Topics of interests include (but are not restricted to) the following for which original research papers are solicited: A. Formal methods and their enhancements - Theoretical foundations - Time extensions and modelling techniques - Global state and concurrency modelling - Object-oriented modelling - Dynamic configuration modelling B. System design based on formal methods - Methodology of design of protocols and distributed systems - Software engineering based on formal methods - Architectural concepts - Evaluation of formal techniques C. Validation of formal specifications - Verification methods - Solutions to state-space explosion problem - Coverage of validations - Performance analysis based on formal methods - Simulation techniques D. Implementation of formal specifications - Stepwise refinement - Theory of equivalence transformations - Generation of programming code or hardware E. Testing based on formal specifications - Testing theory - Theory of test selection and coverage - Formal notions of conformance - Design for Testability - Performance and interoperability testing VENUE ----- The symposium will be held on the campus of the University of British Columbia. It is the largest university in Canada and is located on a peninsula in the west part of Vancouver surrounded by beaches on one side and parkland on the remaining sides. It is 10-15 minutes from downtown, and 15-20 minutes from the Vancouver International Airport. The setting of the city of Vancouver is one of the most beautiful in the world, with breathtaking mountains, sparkling beaches, tourist attractions, and one of the most cosmopolitan dining areas in North America. The average daily high temperature in June is about 18 degrees Celsius (about 65 degrees F). CONTRIBUTIONS ------------- IMPORTANT DATES: - January 7, 1994: Submission of 5 copies of full papers - January 31, 1994: Submission of tutorial proposals - April 4, 1994: Notification of acceptance - May 9, 1994: Submission of final version of papers Full research paper should not exceed 25 pages double spaced (or 16 pages single spaced). The front page should contains the author(s)'s name(s), affiliation, address, phone, fax and email, as well as an informative abstract. All submitted papers will be refereed and selected on the basis of merit by the Program Committee, and the symposium proceedings will be published by North-Holland. Please submit five copies of full papers to one of the symposium co-chairs by January 7, 1994: Prof. Son T. Vuong Prof. Samuel T. Chanson PSTV'94 (Currently on leave at) Computer Science Department Dept. of Computer Science University of British Columbia HongKong University of Sc.&Technology Vancouver, B.C., CANADA V6T 1Z4 Clear Water Bay, Kowloon, HONGKONG Fax: (604) 822-5485 Fax: (852) 358-1477 Tel.: (604) 822-6366 Tel: (852) 358-6982 Email: vuong@cs.ubc.ca Email: chanson@cs.ust.hk TUTORIALS: A number of tutorials will be organized on June 7, 1994. Proposals for tutorials should be submitted to one of the co-chairs by January 31, 1994 ====================================================================== PROGRAM COMMITTEE. ------------------ P. Amer (U. Delaware, USA), G. Bochmann (U. Montreal, Canada), T. Bolognesi (CNUCE, Italy), E. Brinksma (U. Twente, The Netherland), S. Budkowski (INT, France), P. Cunha (U. Recife, Brazil), P. Dembinski (Academy of Sc., Poland), M. Diaz (LAAS, France), M. Gouda (U. Texas, USA), R. Groz (CNET, France), T. Higashino (U. Osaka, Japan), D. Hogrefe (U. Bern, Switzerland), G. Holzmann (Bell Labs, USA), G. Leduc (U. Liege, Belgium), M. Liu (OSU, USA), L. Logrippo (U. Ottawa, Canada), C.S. Lu (Taiwan), L. Marshall (BNR, Canada), Os Monkewich (DOC), J. deMeer (GMD, Germany), R. Miller (U. Maryland, USA), P. Najm (ENST, France), L. Ness (Bellcore, USA), K. Parker (Austr. Telecom, Australia), J. Quemada (U. Madrid, Spain), O. Rafiq (U. Pau, France), N. Shiratori (Tohoku U., Japan), M. Tienari (U. Helsinki, Finland), K. Turner (U. Sterling, UK), U. Uyar (Bell Labs, USA). LOCAL ARRANGEMENT COMMITTEE ---------------------------- Jane Hutton (UBC), Mabo Ito (UBC), Helen See (OSIWare), Eric Skovgaard (PSC) For registration information, please contact Ms. Vicki Ayerbe via email: vayerbe@cce.ubc.ca, fax: (604) 222-5249 or phone: (604) 222-5256. ========================================================================= EXPRESSION OF INTERESTS ----------------------- If you are interested in PSTV XIV, please return the following information to one of the symposium co-chairs: O I would like to receive the final programme of PSTV XIV Name: .................................................................. Title/Affiliation: ..................................................... Address: ............................................................... ............................................................... Tel.: .................. Fax: .................. Email: ................ O I intend to submit a paper to PSTV XIV. The provisional title is : ........................................................................ ........................................................................ The provisional list of authors is : ..................................... ........................................................................ ====================================================================== (*): Pending approval. Postmarked Tue Nov 23 11:11:36 1993 From: best@cs.bu.edu (Azer Bestavros) Subject: Position Avaliable BOSTON UNIVERSITY Department of Computer Science Applications are invited for a tenure-track assistant pro- fessorship beginning September 1994. Qualifications required of all applicants include: PhD in Computer Science, commit- ment to research and teaching, and a strong background in experimental or applied areas of computer science. The Computer Science Department currently consists of 9 faculty, and offers BA, MA, and PhD programs. Our research interests include distributed and real-time systems, compu- tational linguistics, logic of computation, parallel comput- ing, and theoretical computer science. The Department has excellent computing resources which include many Sun works- tations, X-terminals and servers, and laboratories for dis- tributed systems, graphics and computer music. We have a close association with many other campus groups working on aspects of computing, and access to other facilities includ- ing a Connection Machine (CM-5). Local area networks con- nect departmental computers through a high-speed fiber optic campus network to all major international computer networks. Review of applications will begin immediately and will con- tinue until the position is filled. Qualified applicants should send a detailed resume and arrange for at least three references to be sent to: Faculty Search Committee, Computer Science Department, Boston University, Boston, MA 02215. Please include a cover letter which states the names of your references and your major area of specialization. Boston University is an Equal Opportunity/Affirmative Action employer. ------------------------------------------------------------------------------ Message 7; Postmarked Tue Nov 16 12:56:39 1993 From: Yiannis Papelis Subject: Position available POSITION The Center for Computer Aided Design, The University of Iowa, is looking for an individual to join the ground vehicle simulator development team. As a member of the real-time systems group, the selected individual will take responsibility for further developing and maintaining the traffic simulation subsystem, a software component that models all aspects of vehicular traffic within the virtual world of the simulator. DUTIES Duties include design, coding and modification of real-time software that models the deterministic and non-deterministic behavior of vehicular traffic. As part of these duties the selected individual will be expected to: * Design, analyze, optimize and test algorithms that solve various problems in the area of traffic simulation, including modeling of traffic behavior, optimization of algorithms for real-time execution, development of data structures for representation of virtual worlds and online lookup of elevation data, and collision detection. * Develop visualization tools to test the operation of the simulation software. * Develop interfaces to support the integration of the scenario subsystem with other simulator subsystems. * Prepare technical documentation for all developed software. REQUIREMENTS * Master's degree in Computer Science, Computer Engineering or related field, or equivalent combination of education and related experience. * Experience with operator-in-the-loop simulators, real-time programming, real-time graphics, and virtual reality concepts is higly desired. * Familiarity with E&S and/or Silicon Graphics computers is an asset. * Familiarity with software engineering processes and tools is highly desired. * Intimate familiarity with programming in C under UNIX is expected, as are excellent verbal and written communication skills. WORK ENVIRONMENT The Center of Computer Aided Design has had a long tradition on research and development on ground vehicle simulation. Currently the Center operates a reconfigurable world-class simulator that uses a high-payload motion base, and utilizes an E&S CT-6 or ESIG-2000 CIG, and various parallel computers. The prototypes built in the Center are used for basic R&D in the field of ground vehicle simulation, or are utilized for experiments in human sciences. This is a full time P&S position that carries a salary of 32-36K/year and an attractive benefits package that includes 5 weeks of paid vacation per year. To apply send a hard-copy resume and letters of reference to: Dr. Yiannis E. Papelis, Center for Computer Aided Design, 208 ERF, Iowa City, IA, 52242-1000. The University of Iowa is an Equal Opportunity/Affirmative Action Employer. Women and ethnic minorities are encouraged to apply. ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* END OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The TC-RTS repository is maintained by Azer Bestavros at Boston University Internet address for anonymous FTP to the TC-RTS repository is: cs.bu.edu Contributions to this forum should be sent via E-mail to: IEEE-RTTC@cs.bu.edu Requests / inquiries should be sent via E-mail to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------