Subject: IEEE-CS TC-RTS Newsletter for Mon May 22, 1995 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. krithi@iitm.iitm.ernet.in (Krithi Ramamritham) (145 lines) Special issue of the IEEE trans on Software Engineering............ 3 2. Eric Rutten (102 lines) two new research reports available................................. 147 3. toda@etlca0.etl.go.jp (Kenji Toda) (162 lines) CFP: RTCSA95 (Second International Workshop on Real-Time Computin.. 250 4. Tom Henzinger (101 lines) Workshop on Verification and Control of Hybrid Systems............. 411 5. Ewa Gasiorowska-Wirpszo (560 lines) PSTV'95 PROTOCOL SPECIFICATION, TESTING AND VERIFICATION........... 512 6. harold@batman.marc.gatech.edu (Harold C. Forbes) (192 lines) HELP NISS AND GET A SUN WORKSTATION (fwd).......................... 1073 7. best@cs.bu.edu (Azer Bestavros) (195 lines) Safety and Reliability in Emerging Control Technologies............ 1265 8. rich@cs.UMD.EDU (Richard Gerber) (359 lines) Program Info: ACM Languages, Compilers & Tools for Real-Time Syst.. 1460 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Thu May 18 10:07:37 1995 From: krithi@iitm.iitm.ernet.in (Krithi Ramamritham) Subject: Special issue of the IEEE trans on Software Engineering Content-Length: 7083 As many of you know, the following papers were selected -- from those presented at RTSS94 -- to appear in a special issue of the IEEE Transactions on Software Engineering, slated for July 1995. Guaranteeing Real-Time Requirements with Resource-based Calibration of Periodic Processes Richard Gerber, Seongsoo Hong and Manas Saksena College Park, MD e-mail: rich@cs.umd.edu sshong@cs.umd.edu ----------- An Accurate Worst Case Timing Analysis for RISC Processors Sang-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park and Chong Sang Kim Korea e-mail: symin@dandelion.snu.ac.kr ------------- Response-Time Bounds of Rule-Based Programs under Rule Priority Structure Rwo-Hsi Wang and Aloysius K. Mok Austin, TX email: mok@cs.utexas.edu jinyang@cs.utexas.edu ---------- The following introduction to this special issue provides some details regarding the contents of these papers. Real-time systems range from embedded systems such as home appliances and laboratory instruments to distributed process control systems, multi-media applications, avionics systems and large command and control systems. The Real-Time Systems Symposium (RTSS) provides an annual forum for exchanging emerging principles and practice underlying real-time computing. As in recent years, the symposium held in 1994 witnessed the increasing interest in real-time systems. This is a manifestation of the better appreciation for the need for formal and scientific solutions for the highly interrelated problems involved in developing systems that have demanding correctness, dependability and timeliness characteristics. Many of the ideas that were formulated in academia in the recent past are being deployed in mainstream applications. This has given a major impetus to the field -- we are seeing a substantial number of new researchers tackling the many challenging problems that remain. In this issue we present three papers that were presented at RTSS'94. What separates real-time systems from non real-time systems is the association of time constraints, such as deadlines, with computations. The correctness of these systems depends not only on the logical result of the computations, but also on the time at which the results are produced. Thus, meeting the time constraints is of paramount importance in real-time systems. Many of these time constraints, however, are artifacts of the way a system is designed. Of course, some deadlines do reflect the constraints imposed by the physical environment and these must be ensured by the system. However, quite often, since the source of the time constraints are not known to a real-time operating system, it attempts to satisfy them all, leading to an overconstrained or overdesigned system. This is the issue addressed by Gerber, Hong, and Saksena in "Guaranteeing Real-Time Requirements with Resource-based Calibration of Periodic Processes". Real-time requirements include input-to-output delays and temporal validity and correlation constraints. The paper proposes a solution to the problem of deriving the periods, offsets and deadlines of the tasks in a task graph so as to meet the real-time requirements imposed on the graph. The solution assumes a uniprocessor execution environment (even though it could be extended to parallel and distributed environments) wherein all task execution times are known. Determination of execution times of real-time programs, an assumption central to many real-time system solutions is the subject of the second paper. To build predictable systems, what is needed is knowledge of the worst-case execution time (WCET). Given that usually a computation will take less than its WCET, it is important that the difference between WCET and the actual execution time of a computation be small. This requires tight WCET values. Processors with complex architectures make this a hard problem. Even for RISC processors, pipelined execution and the presence of (instruction and data) caches pose challenges in the determination of WCETs. In th paper, "An Accurate Worst Case Timing Analysis for RISC Processors", Lim, Bae, Jang, Rhee, Min, Park, Shin, Park and Kim present a comprehensive approach for the timing analysis of real-time programs running on RISC processors with caches and pipelines. The practicality of their approach is shown by applying it to programs executing on the R3000 processor. The third and final paper also deals with execution times, but for rule-based programs, programs suitable for applications involving the monitoring of the environment and reacting to specific state changes. For example, rule-based systems are being used during safety checks prior to rocket launches. Of interest here is the timeliness of the program's response to state changes. Wang and Mok address this issue in "Response-Time Bounds of EQL Rule-Based Programs under Rule Priority Structure". EQL is the authors' equational programming language for developing rule-based real-time systems. The novelty of this work lies in allowing rules to have non-uniform firing times and in considering the priorities assigned to the rules in computing the response time of a program. Both of these contribute to tighter bounds on the response times compared to when all firing times are assumed to be uniform or when all rules are assumed to have equal priority. Whereas scheduling algorithms and operating systems were the focus of early research efforts and continue to attract a lot of attention, more recently, work has been done in areas such as architecture, databases, formal techniques, performance evaluation, and programming languages and tools for real-time applications. The three papers selected for this issue show that researchers have begun to solve problems that had heretofore been assumed away. They represent some of the exciting new research issues being addressed and show that novel approaches are needed to solve the remaining real-time system problems. The papers also point out that a lot of work still needs to be done. There is no doubt that real-time systems will continue to be a fertile area of research. I thank the authors for ensuring quick turnaround during the review process and for their responsiveness in handling reviewers' comments. I am also extremely grateful to the program committee members of RTSS '94 for their care and diligence in obtaining quality reviews. Outside reviewers did an excellent job in providing additional guidance for which I would like to express my sincere thanks. Reviewers of the three papers selected for publication in this issue deserve special thanks for helping with an additional round of reviewing. Finally, on behalf of the real-time community I would like to thank Nancy Leveson for providing this opportunity to publish RTSS papers in the Transactions on Software Engineering. Krithi Ramamritham Program Chair, RTSS9 ------------------------------------------------------------------------------ Message 2; Postmarked Tue Apr 18 08:15:16 1995 Subject: two new research reports available From: Eric Rutten Content-Length: 4497 IRISA publications. See at the end of the message how to get the file. P.I.916 Specifying and verifying a transformer station in Signal and SignalGTi Herv'e Marchand, 'Eric Rutten, Mazen Samaan 34 pages - mars 1995 Abstract : We present the specification and verification of the automatic circuit-breaking behavior of an electric power transformer sta- tion using the synchronous approach to reactive real-time sys- tems, and particularly the Signal language. The synchronous languages have a mathematical model supporting the various phases of the development of a control system: specification, verification, simulation, code generation, and implementation. Their semantics are at the base of the various tools dedicated to each phase and integrated into homogeneous design environ- ments. The methodology associated with the data flow language Signal is demonstrated on the example of the functional de- scription of a medium tension power transformer station and the specification of its automatic behavior upon the occurrence of an electrical default. The specification of the complex hierarchical, state-based and preemptive behavior is made in SignalGT'`, an extension of Signal with the notions of time intervals and pre- emptive tasks. For the validation of the specification, a graphical simulator is generated using the execution environment for Sig- nal. Properties required by the application are proved to hold on the specification of the controller, using the proof method associated with Signal. --------- P.I. 917 The Signal data flow methodology applied to a production cell Toch'eou Pascalin Amagbegnon, Paul Le Guernic, Herv'e Marchand, Eric Rutten 31 pages - mars 1995 Abstract : This report presents a method to specify, verify and imple- ment a controller for a robotic production cell using the Signal approach. This work has been performed as part of a case study concerning a production cell, proposed by FZI of Karlsruhe. Our contribution to this case study aims at illustrating the methodol- ogy associated with the Signal synchronous data flow language for the specification and implementation of control systems, as well as the verification of statical and dynamical properties us- ing a proof system for Signal programs. We describe the full development of the example, specifying a generic controller, safe for all scheduling scenarios. The specification is structured in a modular way, using two decomposition principles: one following the architecture of the production cell, the other one separat- ing the controller from the model of the system to be controlled. The latter point lies the originality of the approach, compared to imperative methods: the declarative language is used to specify, in the form of equations on signals, the behaviour of a system, and a controller putting constraints on it This way, one can build hierarchies of nested controlled systems: in the case of the pro- duction cell, the scheduled behaviour is a controlled instance of the safe behaviour, which is itself a controlled instance of the natural behaviour. The model of the production cell is made in terms of events and boolean data, abstracting from the numerical nature of part of the sensor data; this enables the formal analysis of the logical properties of the system. The equational nature of the Signal language leads naturally to the use of methods based on systems of polynomial dynamic equations over ZZ=3ZZ for the formal proof of the satisfaction of application's requirements. ---------> MOSAIC : open URL......http://www.irisa.fr/EXTERNE/bibli/pi/pi916.html ---------> FTP : %ftp..........ftp.irisa.fr Name:.........anonymous Password:.....votre adresse electronique your e-mail ftp>..........cd techreports/1995 ftp>..........binary ftp>..........get PI-916.ps.Z ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Eric Rutten | e-mail: rutten@irisa.fr IRISA / INRIA | phone: +33 99 84 72 33 Campus de Beaulieu | fax: +33 99 84 71 71 F-35042 RENNES CEDEX - FRANCE | telex:UNIRISA 950 473F ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ------------------------------------------------------------------------------ Message 3; Postmarked Fri Apr 14 05:45:24 1995 From: toda@etlca0.etl.go.jp (Kenji Toda) Subject: CFP: RTCSA95 (Second International Workshop on Real-Time Computing Systems and Applications) Content-Length: 5415 CALL FOR PAPERS Second International Workshop on Real-Time Computing Systems and Applications (RTCSA'95) October 25-27, 1995 Tokyo, Japan Objectives ---------- The purpose of this workshop is to bring together researchers and developers from academia, industry, and government for advancing the technology of real-time computing systems and applications. The workshop has several goals: * to investigate advances in real-time systems and applications; * to promote interaction among real-time computing researchers and practitioners; * to evaluate the maturity and directions of real-time system technology. Workshop attendees will explore the best current ideas on real-time computing systems and applications. Papers describing new ideas, promising approaches, experiences with practical and research systems, and work in progress are considered particularly appropriate. Proposals for panel sessions are also solicited. Topics of the workshop include - real-time requirements and designs specifications; - scheduling and resource management; - real-time operating systems; - real-time software systems and programming environments; - real-time networking and communications; - real-time architectures and databases; - multimedia computing; - responsive systems; - fault-tolerant systems; - case studies and applications. Submissions ----------- Authors should submit an extended abstract by electronic mail in postscript (In Unix systems, a compressed and uuencoded file by "compress name.ps; uuencode name.ps.Z name.ps.Z > fileformail" is recommended.) or send 5 hardcopies not exceeding 2500 words (10 double-spaced pages) to one of the Program Co-Chairs by June 5, 1995. The cover page should contain the title, author's full name(s), affiliation, address, telephone number, fax number, e-mail address, an abstract and keywords. If the paper is submitted in electronically, the same content of the cover page should be attached in ascii plain-text. The paper should focus on insights and lessons gained from recent research and practical experience in real-time computing systems and applications. Proposals for panel sessions should be e-mailed to the program co-chairs. Authors will be notified of acceptance by July 21, 1995. Camera ready copies of accepted papers will be required by August 23, 1995. Accepted papers will be published in the Proceedings by IEEE Computer Society Press. Invited talks and tutorials on key aspects of real-time systems will be included in the program. Joint events with YUFORIC (YoUth FORum In Computer science and engineering) are scheduled on October 27, 1995. Workshop timetable ------------------ Submission Deadline June 5, 1995 Acceptance Notification July 21, 1995 Camera-Ready Paper Due August 23, 1995 Workshop October 25-27, 1995 In cooperation with (approval pending) -------------------------------- IEEE Computer Society Technical Committee on Real-Time Systems IEEE Tokyo Section IEICE (The Institute of Electronics, Information and Communication Engineers) IPSJ (Information Processing Society of Japan) KISS (Korea Information Science Society) KOSEF (Korea Science and Engineering Foundation) TRON Association Organization ------------ General Co-Chairs: Mario Tokoro (Keio U./Sony CSL, Japan) Kane Kim (UC Irvine, USA) Program Co-Chairs: Kern Koh Department of Computer Science College of Natural Sciences Seoul National University Seoul 151-742, Korea Tel: +82-2-880-6571 Fax: +82-2-883-6144 E-mail: kernkoh@june.snu.ac.kr Kenji Toda Computer Architecture Section Electrotechnical Laboratory 1-1-4 Umezono, Tsukuba 305, Japan Tel: +81-298-58-5875 Fax: +81-298-58-5882 E-mail: toda@etl.go.jp Program Committee: Tadashi Ae (Hiroshima U., Japan) Arbee Chen (TsingHua U., Taiwan) Dieter K. Hammer (Eindhoven U. of Techn., The Netherlands) Shing-Tsaan Huang (Tsing Hua U., Taiwan) Yoshiaki Kakuda (Osaka U., Japan) Moon Hae Kim (Konkuk U., Korea) Jong Kim (POSTECH, Korea) Hermann Kopetz (Tech. U. of Vienna, Austria) Insup Lee (U. of Pennsylvania, USA) Jane Liu (U. of Illinois, USA) Sang Lyul Min (Seoul Nat'l U., Korea) Al Mok (U. of Texas at Austin, USA) Joseph Kee-Yin Ng (Hong Kong Baptist U., Hong Kong) Seung-Kyu Park (Ajou U., Korea) Lui Sha (CMU, USA) Alan Shaw (U. of Washington, USA) Kang G. Shin (U. of Michigan, USA) Sang Hyuk Son (U. of Virginia, USA) John A. Stankovic (U. of Mass, USA) Ichiro Suzuki (U. of Wisconsin Milwaukee, USA) Morikazu Takegaki (Mitsubishi Elec., Japan) Hideyuki Tokuda (Keio U./CMU, Japan) Tetsuo Wasano (Advanced Telecom. Research Institute, Japan) Lonnie Welch (NJIT, USA) Seung Min Yang (Soongsil U., Korea) Publicity Co-Chairs: Nobuo Saito (Keio U., Japan) Seog Park (Sogang U., Korea) Registration Chair: Hiroaki Takada (U. of Tokyo, Japan) Local Arrangements Chair: Eiichi Takahashi (ETL, Japan) YUFORIC Chair: Yoshiaki Kakuda (Osaka U., Japan) Advisory Committee: Chair: Heonshik Shin (Seoul Nat'l U., Korea) Wook Hyun Kwon (Seoul Nat'l U., Korea) Takashi Nodera (Keio U., Japan) Ken Sakamura (U. of Tokyo, Japan) Yoshinori Yamaguchi (ETL, Japan) (RTCSA'95 WWW home page at "http://tron.is.s.u-tokyo.ac.jp/RTCSA95/") ------------------------------------------------------------------------------ Message 4; Postmarked Tue Apr 18 23:01:54 1995 Subject: Workshop on Verification and Control of Hybrid Systems From: Tom Henzinger Content-Length: 3705 Call For Papers Workshop on Verification and Control of Hybrid Systems Sponsored by DIMACS and SYCON October 22-25, 1995 New Brunswick, New Jersey The fifth of a series of workshops on hybrid systems will be organized at Rutgers University in New Brunswick, New Jersey, from October 22 to October 25, 1995. The previous workshops of the series were organized in 1991 and 1994 in Ithaca, New York, in 1992 in Lyngby, Denmark, and in 1993 in Boston, Massachusetts. The purpose of the workshop is to bring together researchers from both computer science and control theory, and to advance the theory of hybrid systems and its applications to real-life problems. The 1995 workshop will be organized as a part of the DIMACS 1995-96 Special Year on Logic and Algorithms. DIMACS is a Science and Technology Center funded by the National Science Foundation, and the participating institutions are Rutgers University, Princeton University, AT&T Bell Laboratories, and Bellcore. The co-sponsor of the workshop is SYCON, the Rutgers Center for Systems and Control. SYCON is a Rutgers University Center dedicated to research in control theory and closely associated topics. The four-day workshop will combine invited presentations with accepted submissions. Submissions are invited in all areas pertaining to the formal verification and control of hybrid systems, that is, systems in which digital devices interact with continuous objects. We are especially interested in methods that bring together in creative ways concepts from computer science and control theory. Topics include, but are not limited to, formal models and specification languages, algorithmic and deductive verification, control and optimization, simulation and testing, design and synthesis, complexity and decidability issues, probabilistic systems, automatic and interactive tools, experimental results and applications. Authors are requested to submit an extended abstract not exceeding twelve pages, either six hard-copies or a postscript file, to the address below. The abstract should start with a title page containing the title of the paper, each author's name and affiliation, the contact author's physical and e-mail addresses, and a one- or two-paragraph summary. The full versions of selected submissions will be published after the workshop as a volume of the Springer-Verlag Lecture Notes in Computer Science series. There will be no registration fee for the workshop. Limited funds are available to cover the travel costs of students. Important Dates Submission deadline: July 26, 1995 Notification to acceptance: September 1, 1995 Workshop Organizing Committee Rajeev Alur (alur@research.att.com) Thomas A. Henzinger (tah@cs.cornell.edu) Eduardo Sontag (sontag@control.rutgers.edu) Submission Address Rajeev Alur 2D-144, AT&T Bell Laboratories 600 Mountain Avenue Murray Hill, NJ 07974 USA Email: alur@research.att.com (postscript only) Program Committee Rajeev Alur (AT&T Bell Labs, USA) Albert Benveniste (INRIA-IRISA, France) John Guckenheimer (Cornell University, USA) Thomas A. Henzinger (Cornell University, USA) Bruce Krogh (Carnegie Mellon University, USA) Amir Pnueli (Weizmann Institute, Israel) Peter Ramadge (Princeton University, USA) Shankar Sastry (University of California, Berkeley, USA) Fred B. Schneider (Cornell University, USA) Eduardo Sontag (Rutgers University, USA) Hector Sussmann (Rutgers University, USA) Joseph Sifakis (VERIMAG, France) DIMACS Special Year Organizing Committee Eric Allender (allender@cs.rutgers.edu) Robert Kurshan (k@research.att.com) Moshe Y. Vardi (vardi@cs.rice.edu) ------------------------------------------------------------------------------ Message 5; Postmarked Thu Apr 27 00:20:07 1995 Subject: PSTV'95 PROTOCOL SPECIFICATION, TESTING AND VERIFICATION From: Ewa Gasiorowska-Wirpszo Content-Length: 21074 PSTV'95 Fifteenth International Symposium on PROTOCOL SPECIFICATION, TESTING AND VERIFICATION Warsaw, Poland, 13 - 16 June 1995 Sponsored by IFIP WG 6.1 With support from European Commission ____________________________________________________________ INFORMATION, PROGRAM AND REGISTRATION PSTV'95 information, registration form and program can be ftp'ed from ftp.ipipan.waw.pl, userid 'anonymous' and password email address, from the directory pub/konferencje/pstv95 ____________________________________________________________ ABOUT THE SYMPOSIUM ____________________________________________________________ PSTV symposia have served for fifteen years as a premier forum for researchers and practitioners in industry and academia interested in theory and application of formal methods in specifying, testing and verifying communication protocols and services. For the first time the PSTV Symposium is held in Central Europe. Hence it creates an ideal possibility for extending the international co-operation, in this very important domain of protocol engineering, to this and eastern part of the continent. Also, it offers a forum for presentation and promotion of research being done in this part of Europe. PSTV'95 is organized jointly by the Institute of Computer Science of the Polish Academy of Sciences (IPI PAN) and the Institute of Telecommunications of the Warsaw University of Technology (IT PW). The symposium Proceedings will be published in the IFIP series by Chapman & Hall. PSTV'95 starts with one day tutorials and continues with three days of technical presentations. Symposium Co-chairpersons: -------------------------- Piotr Dembinski Marek Sredniawa IPI PAN IT PW Ordona 21, Nowowiejska 15/19 01-237 Warsaw, Poland 00-665 Warsaw, Poland Tel. +48 22 362841 Tel. +48 22 259820 Fax. +48 22 376564 Fax. +48 22 254950 E-mail: piotrd@ipipan.waw.pl E-mail: mareks@tele.pw.edu.pl Program Committee: -------------------------- P. Amer (University of Delaware, USA), A. Blikle (Acad. of Sci., PL), G. von Bochmann (University of Montreal, CND), T. Bolognesi (CNUCE, I), E. Borcoci (University of Bucharest, R), E. Brinksma (University of Twente, NL), S. Budkowski (INT, F), W. Cellary (EFP, PL), S. Chanson (University of British Columbia, CND), G. Csopaki (University of Budapest, H), M. Diaz (LAAS, F), D. Hogrefe (University of Bern, CH), G. Holzmann (Bell Labs, USA), K. Inan (Middle East Techn. University, TR), P. Kritzinger (University of Cape Town, ZA), R. Lai (La Trobe University, AUS), G. Leduc (University of Liege, B), L. Logrippo (University of Ottawa, CND), J. Lubacz (University of Warsaw, PL), M. Malek (Humboldt University, D), J. de Meer (GMD, D), T. Mizuno (Shizuoka University, J), V. Nepomniashy (Acad. of Sci., RUS), J. Quemada (University of Madrid, S), O. Rafiq (University of Pau, F), H. Rudin (IBM Zurich, CH), W. Sobczak (University of Gdansk, PL), R. Tenney (University of Massachusetts, USA), M. Tienari (University of Helsinki, SF), K. Turner (University of Stirling, UK), S. Vuong (University of British Columbia, CND). Administrative Secretariat: ----------------------------------- Ms. Ewa Gasiorowska IPI PAN Ordona 21, 01-237 Warsaw, Poland Tel. +48 22 362841, Fax. +48 22 376564 E-mail: gasior@ipipan.waw.pl PSTV'95 PROGRAM Tuesday, June 13 ----------------------- 8:00-9:00 Registration 9:00-12:30 Tutorial I: Formal design and implementation of high speed multimedia protocols Michel Diaz, LAAS/CNRS, Toulouse First, the tutorial presents constraints that exist in distributed multimedia systems and a general view at high speed and multimedia networks. Then a formal approach is proposed for representing synchronisation in multimedia objects based on different Petri Net models such as:Time and Hierarchical Time Stream Petri Nets. Finally, a new concept of "partial order connection" is presented and is shown to be a more adequate and general solution for designing and implementing high speed transfer multimedia protocols than usual connexion oriented or connectionless protocols. 12:30-14:00 LUNCH 14:00-17:30 Tutorial II Formal Methods in Conformance Testing Finn Kristoffersen, Tele Danmark Research, Horsholm Marc Phalippou, France Telecom - CNET, Lannion Jan Tretmans, University of Twente, Enschede The emerging standard "Formal Methods in Conformance Testing" defines a framework, independent of any formal description technique, for conformance testing based on formal specifications. An overview of this framework is presented by showing how the FDTs Estelle, LOTOS, and SDL fit within it. Concepts like conformance to a formal specification, test generation, fault model, and test selection, which are defined abstractly within the framework, are applied to these three FDTs. 18:00-20:00 WELCOME RECEPTION Wednesday, June 14 ---------------------------- 8:00-8:45 Registration 8:45-9:00 Opening Remarks: P. Dembinski and M. Sredniawa 9:00-10:30 Session 1: Specification & Verification: Time-dependent Analysis Simple On-the-fly Automatic Verification of Linear Temporal Logic R. Gerth, Technical University Eindhoven, The Netherland D. Peled, AT&T Bell Lab., USA M.Y. Vardi, Rice University, USA P. Wolper, Universite de Liege, Belgium Specifying Real-Time Requirements for SDL Specifications - a Temporal Logic-Based Approach S. Leue, University of Waterloo, Canada A Temporal Reachability Analysis L. Cacciari, O. Rafiq, University of Pau, France 10:30-11:00 BREAK 11:00-13:00 Session 2: Specification of Concurrent Systems Invited Talk: "True" versus "Artificial" Concurrency Antoni Mazurkiewicz, Academy of Sciences, Poland Action refinement and fairness are discussed for concurrent systems with their behavior represented either by a set of action sequences ("artificial" concurrency representation), or by a family of partially ordered sets ("true" concurrency representation). The behavior of a refined system is compared with the refinement of the original system behavior, for both representations. Then, it is argued that there is no need for fairness notion in the "true" concurrency framework. On Compositionality and Petri Nets in Protocol Engineering N. A. Anisimov, Academy of Sciences, Russia M. Koutny, University of Newcastle, United Kingdom Composition of LOTOS Specifications M. Steen, H. Bowman, J. Derrick, University of Kent, United Kingdom 13:00-14:30 LUNCH 14:30-16:00 Session 3: Testing Principles for validation of abstract test suites specified in concurrent TTCN M. Toro, K. Tarnay, KFKI Budapest, Hungary An Approach for Testing Distributed Software Systems A. Ulrich, S. T. Chanson, University of Technology, Hong Kong Modeling Basic LOTOS by FSMs for Conformance Testing Q.M. Tan, A. Petrenko, G.v. Bochmann, University of Montreal, Canada 16:00-16:30 BREAK 16:30-18:00 Session 4: Specification & Verification: Temporal Approach The Specification and Verification of an Experimantal ATM Signalling Protocol D. Barnard, Siemens AG, Germany S. Crosby, University of Cambridge, United Kingdom Re-Usable Verification Elements for High-Speech Transfer Protocol Configurations P. Herrmann, H. Krumm, University of Dortmund, Germany An Algebraic-Temporal Specification of a CSMA/CD- Protocol M. Jmaiel, TU Berlin, Germany Thursday, June 15 ------------------------ 9:00-10:30 Session 5: Validation & Testing Validation, Verification and Implementation of Timed Protocols using AORTA S. Bradley, W. Henderson, D. Kendall, A. Robson, University of Northumbria, United Kingdom Validation in Context L. Heerink, E. Brinksma, University of Twente, The Netherland Characterizing Termination in LOTOS via Testing D. Frutos, M. Nunez, University of Madrid, Spain J. Quemada, Polytechnic of Madrid, Spain 10:30-13:30 BREAK This year, Corpus Christi, a holy day solemnly celebrated by Catholics in Poland, falls on Thursday, June 15. Big crowds attend colourful outdoor processions organized by churches all over Poland. A central ceremony takes place in the streets of the old part of Warsaw in the proximity of the Symposium venue. The organizers decided to break the conference to give an opportunity for participants to have a look at this, specifically Polish, old custom. 13:30-14:30 LUNCH 14:30-16:00 Session 6: Specification & Analysis Quantified reduced views of state graphs using Markovian and timed observational equivalence K. Drira, LAAS/CNRS Toulouse, France Y. Atamna, West Virginia University, USA G. Juanole, LAAS/CNRS Toulouse, France SDL and Petri Net Performance Analysis of Communicating Systems F. Bause, P. Kemper, University of Dortmund, Germany H. Kabutz, P. Kritzinger, University of Cape Town, South Africa On the Introduction of Gate Typing in E-LOTOS H. Garavel, INRIA Rhone-Alpes, France 16:00-16:30 BREAK 16:30-18:00 Panel Discussion 19:00-23:00 BANQUET Friday, June 16 -------------------- 9:00-10:30 Session 7: Verification: Model Checking An Analysis of Bitstate Hashing G.J. Holzmann, AT&T Bell Lab., USA Using Asynchronous Buchi Automata for Efficient Automatic Verification of Concurrent Systems D. Peled, AT&T Bell Lab., USA W. Penczek, University of Eindhoven, The Netherland and Academy of Sciences, Poland A Method to Build Symbolic Representations of LOTOS Specifications R. Sisto, Polytechnic of Torino, Italy 10:30-11:00 BREAK 11:00-13:00 Session 8: High Speed / Multimedia Invited Talk: Design, specification and verification of a N-connection dynamic membership for cooperative groups Michel Diaz, LAAS/CNRS Toulouse, France A model for basic cooperation, based on information sharing between agents, is introduced. The model allows the users to define dynamic cooperative groups whose structure changes in time. A communication service and an associated protocol, managing cooperative dynamic N- connection group, is then presented. The protocol has been verified using VAL, a multi-agent environment based on Petrri nets and then translated into Estelle for automatic implementation using EDT (Estelle Development Tool). On the Suitability of Estelle for Multimedia Systems S. Fischer, University of Mannheim, Germany Protocol Analysis and Verification Methods, Application to the Xpress Transfer Protocol 4.0 O. Catrina, Polytechnic of Bucarest, Romania 13:00-14:30 LUNCH 14:30-16:00 Session 9: Towards Implementation PARES - a Portable Parallel Estelle Compiler R. Plato, T. Held, University of Mgdeburg, Germany H. Koenig, Cottbus University of Technology, Germany A Methodology to the Implementation of Distributed Systems in Hardware from a Formal Description L. Pirmez, A.C.P. Pedroza, A.C. Mesquita, University of Rio de Janeiro, Brazil Hardware Specification Generated from Estelle J. Wytrebowicz, INT Evry, France, and Warsaw University of Technology, Poland 16:00 Closing GENERAL INFORMATION Venue --------- The Symposium will take place in conference rooms of Palac Staszica (Palace of Staszic) - an XIX century, classical style, building belonging to the Polish Academy of Sciences and located in the center of Warsaw on an old route crossing the town from North to South along the Vistula river. A Kopernik monument in front of the palace is a characteristic point in Warsaw. The address is: Palac Staszica ul. Nowy Swiat 72 00-330 Warszawa Registration ------------- Tutorials only: tutorial sessions, tutorial notes, coffee breaks and lunch. Conference only: conference sessions, conference proceedings, coffee breaks, lunches, welcome reception, and banquet Full: tutorial and conference sessions, tutorial notes and conference proceedings, coffee breaks, lunches, welcome reception, and banquet Early registration: Early fee deadline is May 20, 1995. Payment: Registration fees can be paid either by a Banker's Cheque payable to "IPI PAN PSTV'95 (personal cheques will not be accepted) or by a bank transfer to: BPH Krakow XIV O/W-wa, Al. Jerozolimskie 7, 00-495 Warsaw, Poland Account no. 320007-2408 Registration fees from outside Poland are to be paid in US Dollars only. At site you can pay in cash (also in Polish currency 'zloty') or by major credit cards (Visa, MasterCard, EuroCard or Diners Club). However, paying by card you will be charged additional 5% of bank commission. Cancellation: Cancellation received later than June 5 will be charged US$ 50 handling fee. Accommodation ---------------------- A number of rooms have been reserved in different category hotels, all of them within walking distance from the conference venue (Palac Staszica). All rooms are with bath or shower. Please indicate your accommodation preferences completing the Registration and Accommodation Form (you may indicate other preferences than listed). Requests will be honored in the order received. If your choice is not available, we will make an effort to find a comparable accommodation. Payment: Accommodation charges will be paid directly to the hotel by each participant. It can be paid by cash (in Polish zloty). Most hotels accept major credit cards as well. Detailed information will be sent separately to each registered participant. Transportation -------------------- Warsaw is easily reachable from all parts of the world and by all means of transportation. There are several direct air connections from many cities in Europe, USA and elsewhere. It takes some 20 minutes by a shuttle bus (recommended) or taxi to get from the airport to the city center. Visas ------- Citizens of the USA and most European countries do not need any visa. Please check with your local Polish consulate if you need a visa. Financial Support (concerns only participants from Central and Eastern Europe) ------------------------------------------------------------------------------------------- Due to a special grant obtained from European Commission, the organizers are able to offer a number of stipends to enable participation in the PSTV'95 Symposium for persons from Central and Eastern Europe. The stipends, in principle, serve to cover the registration fee. Other expenses can be covered only as possible. Those willing to apply for such a stipend should complete the special application form and send it together with their registration as soon as possible. Priority is reserved for those who have their paper accepted. _______________________ cut here _________________________ REGISTRATION AND ACCOMMODATION FORM Please complete this form (type or print in capitals) and return it by mail, fax or e-mail to PSTV'95 Institute of Computer Science of PAS Ordona 21 O1-237 Warsaw Poland Tel: +48 22 362841 Fax: +48 22 376564 E-mail: pstv95@ipipan.waw.pl Early registration deadline is by May 20, 1995. If you register by e-mail, be sure to mail or fax a copy of the form together with a confirmation of your payment. ___________________________________________________________ Title : ( ) Prof. ( ) Dr ( ) Mr ( ) Ms Last Name: First Name: Affiliation: Address: Tel: Fax: E-mail: Your identification as it should appear on your badge: Registration fees (all fees in US$) -------------------------------------------- Before May 20, 1995 After May 20, 1995 ( ) Tutorial: US$ 100 US$ 120 ( ) Conference: US$ 320 US$ 370 ( ) Full: US$ 360 US$ 420 ( ) Additional banquet US$ 40 Total amount sent: US$ Full registration includes tutorials, symposium sessions, proceedings, tutorial notes, welcome reception, coffee breaks, luncheons, and banquet. Method of payment: ---------------------------- ( ) I enclose a copy of a bank transfer to: BPH Krakow XIV O/W-wa, Al. Jerozolimskie 7, 00-495 Warsaw, Poland Account Number: 320007-2408 for the total amount of US$ net of bank charges ( ) I enclose a Banker's Cheque payable to "IPI PAN PSTV'95" for the total amount of US$ net of bank charges ( ) I will pay at site: by cash ( ) by VISA ( ) by MasterCard ( ) by Diners Club ( ) If paid by card, I agree to be charged additional 5% of bank commission. Accommodation (please indicate your choice): -------------------------------------------------------------- ( ) Single room ( ) Double room ( ) Hotel **** US$ 100 US$ 120 ( ) Hotel ** US$ 40 US$ 60 ( ) Hotel * US$ 25 US$ 40 Date of arrival: Date of departure: All hotels are within walking distance from the symposium venue. All rooms are with bath or shower. Requests will be honoured in the order received. If your choice is not available, we will make an effort to find a comparable accommodation. You will pay directly to the hotel. All prices are approximate. ___________________________________________________________ APPLICATION FOR A FINANCIAL SUPPORT (concerns only participants from Central and Eastern Europe) Title : ( ) Prof. ( ) Dr ( ) Mr ( ) Ms Last Name: First Name: Affiliation: Address: Tel: Fax: E-mail: ( ) I am applying for a financial support to cover the PSTV'95 registration fees. ( ) With this support I will be able to participate in the Symposium ( ) I absolutely need an additional support to be able to participate in the Symposium (indicate and justify the amount needed) ................................................................................................................... .................................................................................................................... .................................................................................................................... .................................................................................................................... ____________________________________________________________ ------------------------------------------------------------------------------ Message 6; Postmarked Thu May 4 18:29:41 1995 From: harold@batman.marc.gatech.edu (Harold C. Forbes) Subject: HELP NISS AND GET A SUN WORKSTATION (fwd) Content-Length: 7638 HELP NISS AND GET A SUN WORKSTATION In fact this might be better entitled "Help NISS help the higher education community and get yourself a SUN workstation". Interested? Read on. 1. Background: The NISS Information Gateway has now been operational for around 3 months, and has already proved itself useful and popular. It provides access to news, bibliographic, reference, higher education, and computing information and its users value it for all this. They also value it for its other areas of information - those organised by subject. Currently there are over 700 information sources referenced and linked in the subjects sections. Each one has been selected by those with expertise in the subject area, and each one has a resource record that describes it. These resource records are held in a database and this allows users to find the appropriate information sources easily and to create their own menus dynamically. It allows NISS to manage large numbers of information sources automatically and efficiently. So far most of the information sources are in two main areas, social science and biomedicine. This is because NISS has been fortunate in being able to use the time and skills of individuals in these areas. However, NISS now needs to start filling out the rest of the subject areas and needs the help of others to do this. This document invites such individuals, or groups to apply to be NISS subject area leaders. This is volunteer effort, but in return, and through the generosity of SUN Microsystems, each subject area leader will receive a SUN SPARCstation 4 workstation in order to help with the work. The configuration is such that it would also enable the subject area leader to operate a WWW service themselves if they choose. 2. What NISS expects a Subject Area Leader to do NISS sees the Subject Area Leader (SAL) as the focal point for a small group of volunteers. The group will consist of those with interest and expertise in the subject area. Its members will operate via the network. Their task is to identify information resources, assess them, select those of value and provide a resource description for them (some sample resource descriptions are appended). The SAL will provide overall direction to the group, ensuring that its coverage and style fits into the general NISS approach and the guiding principle that the resources selected should be those which "staff and students would be wise to check out, before looking further afield". SALs are likely to be (but are certainly not restricted to) academics with a wide view of their subject area, subject librarians, information officers in professional bodies or learned societies, and whose role in helping NISS complements and enhances their normal work, rather than conflicts with it. 3. What NISS will do for the Subject Area Leader (and the Subject group) NISS cannot pay SALs, or the members of their groups. However, it can provide support and assistance - and hardware. The hardware is available through the generosity of SUN Microsystems, who are making a SUN SPARCstation 4 workstation available for each SAL at the rate of one per quarter. These workstations are sufficiently configured not only to support the work of the SAL and subject group, but to provide a substantial WWW server for the SALs department. NISS will provide assistance with setting up and configuring these systems configured and setup if required. NISS will also provide training documentation and support to SALs so that they can become effective as quickly as possible. NISS will provide each subject area group with access to a group email list, and the tools to transfer the resource records to the NISS system when they are ready. >From time to time, NISS will arrange workshops for the SALs so that they can exchange ideas and agree common approaches to certain aspects. NISS will provide a co- ordinator, whose task is to support the SALs, their groups and to ensure that all the groups remain in tune with each other. 4. How Subject Area Leaders will be selected A subject area and subject area leader will be selected each quarter until further notice. Anyone who feels they would make a good SAL is welcome to apply at any time. A checklist of points to include in the application, and how to make the application is below. The first quarter will start when NISS has received sufficient applications to review. NISS and SUN will review the applications and shortlist the best ones. The best of the shortlist will be nominated SAL, and will receive the SUN SPARCstation 4, the remainder of the shortlist will automatically be entered for the next quarters review, together with any new applications. This process will continue on a quarterly cycle. A tentative timetable is in 6. below. 5. Applying to be a Subject Area Leader Please apply by email to niss@niss.ac.uk. Your application should include:- a. Your contact details. Name, address, email, phone, fax, institution and department names, etc. b. Your chosen subject area. This should be reasonably broad e.g. Chemistry, Physics, Music, Law, etc. Please then define your subject area by listing the UDC (Universal Decimal Classification) numbers that are encompassed by your subject area. A suitable list of UDC numbers for doing this is at URL: gopher://gopher.niss.ac.uk:71/00/B/15/E.txt. c. Your experience and qualifications in the subject area. NISS will be particularly interested in those with a wide view of the subject area and a knowledge of the needs for teaching and research. d. How you intend to gather a volunteer group to help you. Even better if you have access to a suitable group already, perhaps as a result of other activities. e. How many information resources you and your group will identify, select and describe over the next year. Don't be over ambitious. NISS will divide this number by 4 and expect this quarterly number to be achieved each quarter. NISS will ask for the workstation to be returned for use in another subject area if the target is not met, or quality not maintained. f. How you will set and maintain quality standards. If possible send a sample resource record or two to illustrate this. ( A template; and guidelines are available at URL: http://www.niss.ac.uk/resource-description/template.html ) g. Confirm that your manager approves of you undertaking this work. Selected SALs will enter an agreement with NISS for a one year period. Once that year is satisfactorily completed you will be free to keep the SUN SPARCstation and formal obligations to NISS will cease. Hopefully, however, you and your group will have found this rewarding work and will want to continue, albeit at a lower level. 6. Timetable It is hoped that the timetable will be: Announcement of scheme April 95 ( this is it! ) and then: 1st Qtr 2nd Qtr 3rd Qtr 4th Qtr ------ ------ ------ ------ recieve applications May 95 and then ongoing produce shortlist May95 Aug95 Nov95 Feb96 select SAL Jun95 Sep95 Dec95 Mar96 Start of SAL year 1 Jul 1 Oct 1 Jan 1 Apr Deliver SPARCstation 4 Jul95 Oct95 Jan96 Apr96 It is possible that if the scheme is successful then it may be extended and/or augmented. NISS looks forward to recieving your applications. ================================================== ------------------------------------------------------------------------------ Message 7; Postmarked Tue May 9 14:55:42 1995 From: best@cs.bu.edu (Azer Bestavros) Subject: Safety and Reliability in Emerging Control Technologies Content-Length: 6327 Second IFAC Workshop on Safety and Reliability in Emerging Control Technologies Daytona Beach, Florida, USA 1-3 November 1995 Preliminary Announcement and Call for Papers Sponsored by: IFAC (International Federation of Automatic Control) TC on Safety of Computer Control Systems in cooperation with (applications pending): IFIP WG5.4 on Industrial Software Quality and Certification IEEE TC on Real-Time Systems IEEE TSC on Engineering of Complex Computer Systems IEEE Control Systems Society EWICS TC7 on Reliability, Safety and Security Organized by: Embry-Riddle Aeronautical University in cooperation with Lawrence Livermore National Laboratory Scope The workshop will focus on safety and reliability aspects of computer hardware and software in critical control applications. The workshop's primary emphasis is on issues where computing elements in a control system can impact human safety or availability of mission critical facilities and endanger human life or lead to large financial losses or significant loss of property. Application areas include but are not limited to nuclear energy systems, aerospace, transportation, chemical processes, and medical treatment systems. Specific topics include: - specification of reliability and safety - design for safety - impact of formal methods and tools - safety management - safety and reliability assessment - testing, verification and validation - certification and licensing - fault tolerance for reliability and safety - relationship between reliability and safety - relationship between safety and security - safety in real-time systems - safety-related standards. In particular, papers are sought which emphasize rigorous approaches and quantitative or qualitative evaluation of critical control systems, with industrial relevance and a strong application basis. Important Dates: o June 15, 1995 Submission of Drafts o July 15, 1995 Acceptance/Rejection o August 31, 1995 Final Papers Due o November 1-3, 1995 Workshop Date Submissions Please submit five (5) copies of the Draft Paper, limited to sixteen (16) double-space pages, to the following address, by June 15, 1995: Dr. Greg Suski and Dr. Janusz Zalewski L-632, P.O. Box 808 Lawrence Livermore National Lab Livermore, CA 94551, USA Phone: +1 (510) 423-8070 Fax: +1 (510) 422-9913 Email: suski@llnl.gov or janusz@cholla.llnl.gov Electronic submission in Latex or Postscript formats is acceptable. Fax submittals will not be considered. Honorary Chairman Dr. Steven M. Sliwa, President, Embry-Riddle Aeronautical University Welcome Address Dr. Stephen Kahne, President, International Federation of Automatic Control International Program Committee (members comfirmed so far) Greg Suski, USA (Chairman) Ron Bell, UK Phil Bennett, UK Bill Bevier, USA Robin Bloomfield, UK Sandro Bologna, Italy Stefan Chwaszczewski, Poland Dan Craigen, Canada John Cullyer, UK Wolfgang Ehrenberger, Germany Robert Genser, Austria Morven Gentleman, Canada Susan Gerhart, USA Wolfgang Halang, Germany Walter Heimerdinger, USA Connie Heitmeyer, USA Rolf Isermann, Germany Paul Joannou, Canada Nancy Leveson, USA Soeren Lindskov Hansen, Denmark Michael K. Masten, USA John McDermid, UK Satish C. Mohleji, USA Al Mok, USA Leo Motus, Estonia Tony S. Ng, Hong Kong Felix Redmill, UK Mike Rodd, UK John Rushby, USA Erwin Schoitsch, Austria Alex Stoyenko, USA Martyn Thomas, UK Udo Voges, Germany Jan Vytopil, The Netherlands John Waclo, USA Dolores Wallace, USA Janusz Zalewski, USA National Organizing Committee Thomas Hilburn Iraj Hirmanpour Soheil Khajenoori Andrew Kornecki John Wise Janusz Zalewski (Chairman) Additional Information Embry-Riddle Aeronautical University is the world's leading educational institution in aviation and aerospace. Its main campus in Daytona Beach, Florida, and a campus in Prescott, Arizona, have a total 6000 students. Daytona Beach is a recognized tourist city on the Atlantic coast of Florida. The main attractions include the widely advertised beach, where you can drive your car on the sand next to the ocean for over 20 miles, and the Daytona International Speedway racetrack, the place of a world-famous Daytona 500 competition. Within one hour drive there are available to visitors: NASA Kennedy Space Center, at Cap Canaveral; St. Augustine, the oldest existing town on the American soil; and Disneyworld, an entertainment park near Orlando. This Workshop will precede another IFAC Workshop on Real-Time Programming, held in conjunction with the First IEEE International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, Florida, USA, 6-10 November 1995. For information on the latter events, please contact, respectively, Dr. Phil Laplante at laplante@fdumad.fdu.edu and Dr. Alexander Stoyenko at alex@vulcan.njit.edu. Copyright Notice The material submitted for presentation at an IFAC meeting (congress, symposium, conference, workshop) must be original, not published or being considered elsewhere. All papers accepted for presentation will appear in the Preprints of the meeting and will be distributed to the participants. Papers duly presented will be archived and offered for sale, in the form of Postprint volumes, by Elsevier Science Ltd, Oxford, UK. The papers which have been presented will be further screened for possible publication in the IFAC Journals, Automatica and Control Engineering Practice, or in IFAC affiliated journals. The abstracts of all papers presented will also appear in Control Engineering Practice. Copyright of material presented at an IFAC meeting is held by IFAC. Authors will be sent a copyright transfer form. Automatica, Control Engineering Practice and, after these, IFAC affiliated journals have priority access to all contributions presented. However, if the author is not contacted by an editor of these journals within three months after the meeting, the author is free to re-submit the material for publication elsewhere. In this case, the paper must carry a reference to the IFAC meeting where it was originally presented. -------------------------- End of Message ------------------------------ ------------------------------------------------------------------------------ Message 8; Postmarked Sat May 13 18:45:01 1995 From: rich@cs.UMD.EDU (Richard Gerber) Subject: Program Info: ACM Languages, Compilers & Tools for Real-Time Systems Content-Length: 12116 ============================================================================ ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems (LCT-RTS '95) (In Conjunction with ACM SIGPLAN PLDI/PEPM) La Jolla, California June 21-22, 1995 Program and Registration Information ------------------------------------- ACM SIGPLAN LCT-RTS '95 is an interface between two dynamic fields of computer science and engineering: programming languages and real-time systems. LCT-RTS provides a forum where top researchers in these areas can share their results and directions, and where they can form new collaborations based on common interests. LCT-RTS '95 directly follows the conclusion of PLDI '95. The workshop program includes 16 presentations on new research results, and one panel session on the topic of Software Interfaces. WEDNESDAY, June 21 ------------------- 12:00 Conclusion of PLDI '95 1:30 - 2:00 Introduction to LCT-RTS '95 2:00 - 3:30 Session I: Scheduling & Timing Analysis o T.-Y. Huang, J. Liu, (Illinois, USA), "Predicting the worst-case execution time of the concurrent execution of instructions and cycle-stealing DMA I/O operations" o J. Lee, S. Lee, H. Kim, (Korea Telecomm & Kyunghee U, Korea), "Scheduling of hard-aperiodic tasks in hybrid static/dynamic priority systems" o K. D. Nielsen, B. Rygg, (Iowa State, USA), "Worst-case execution time analysis on modern processors" 3:30 - 4:00 Break 4:00 - 6:00 Session II: Language Design & Development o F. Bonfatti, G. Gadda, P. D. Monari, (U Modena & CMA Spa, Italy), "Re-usable software design for programmable logic controllers" o T. Chung, H. Dietz, (Purdue, USA), "Language constructs and transformation for hard real-time systems" o S. Ren, G. Agha, (Illinois, USA), "RTsynchronizer: Language support for real-time specifications in distributed systems" o F. Thoen, M. Cornero, G. Goossens, H. De Man, (IMEC, Belgium), "Software synthesis for real-time information systems" 6:00 - 8:00 Dinner (on your own) 8:00 -10:00 Discussions/Birds-of-a-feather THURSDAY, June 22 ----------------- 7:30 - 8:30 Continental Breakfast 8:30 - 10:00 Session III: Analysis Methods o S. Campos, E. Clarke, W. Marrero, M. Minea, (Carnegie Mellon, USA), "Verus: A tool for quantitative analysis of finite-state real-time systems" o M. Jourdan, F. Maraninchi, (VERIMAG, France), "Static timing analysis of real-time systems" o Y. Li, S. Malik, (Princeton, USA), "Performance analysis of embedded software using implicit path enumeration" 10:00 - 10:30 Break 10:30 - 12:00 Session IV: Tools o L. Ko, D. Whalley, (Florida State, USA), "Supporting user-friendly analysis of timing constraints" o H. Kopetz, Nossal, (Tech U Wien, Austria), "The Cluster compiler -- a tool for the design of time-triggered real-time systems" o D. Wilner, (Wind River Systems, USA), "WindView: A tool for understanding real-time embedded software through system visualization" 12:00 - 1:30 Lunch 1:30 - 3:00 Panel: Appropriate Interfaces Between Design Tools, Languages Compilers and Runtimes in Real-Time Systems Development - Where are the connections and separations? - How can a separation of concerns be maintained? 3:00 - 3:30 Break 3:30 - 5:00 Session V: Compilers o F. Mueller, (Humboldt-Universitaet zu Berlin, Germany), "Compiler support for software-based cache partitioning" o A. Bakkers, J. Sunter, E. Ploeg, (U. Twente, Netherlands), "Automatic generation of scheduling and inter-process communication code in parallel real-time programs for transputers" o S. Schneider, V. Chen, J. Steele, G. Pardo-Castellote, (Real-Time Innovations Inc, USA), "The ControlShell component-based real-time programming system, and its applications to the Marsokhod Martian rover" 5:00 - 5:30 Wrap-up =================================================================== PROGRAM COMMITTEE Alan Burns (University of York) Richard Gerber, Co-Chair (University of Maryland) Rajiv Gupta (Univ of Pittsburgh) Mary Hall (Caltech) Connie Heitmeyer (Naval Research Lab) Insup Lee (University of Pennsylvania) Al Mok (University of Texas at Austin) Thomas Marlowe, Co-Chair (Seton Hall University, NJIT RTCL) Steve Tjiang (Synopsys Inc.) PROGRAM CO-CHAIRS Richard Gerber Thomas Marlowe Department of Computer Science Department of Mathematics University of Maryland Seton Hall University College Park, MD 20742, USA South Orange NJ 07079, USA telephone: +1 301 405 2710 telephone: +1 201 761 9784 fax: +1 301 405 6707 fax: +1 201 761 9596 rich@cs.umd.edu marlowe@cs.rutgers.edu =================================================================== ACM Programming Languages Summer Extravaganza --- ----------- --------- ------ ------------ June 18-28, 1995, Hyatt Regency Hotel, La Jolla, California Registration information ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '95) 18-21 June 1995 ACM SIGPLAN Workshop on Language, Compiler, and Tools for Real-Time Systems (LCT-RTS '95) 21-22 June 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '95) 21-23 June 1995 Haskell Workshop 25 June 1995 SIGPLAN/SIGARCH/WG2.8 Conference on Functional Programming Languages and Computer Architecture (FPCA '95) 25-28 June 1995 All information is available via the World-Wide Web at http://www.research.digital.com/wrl/projects/sigplan95/ or via ftp in the directory gatekeeper.dec.com:/pub/DEC/sigplan95/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - PLDI/PEPM/FPCA '95 Hotel Reservations Mention "Association for Computing Machinery" to receive the conference rates, valid if you register by 28 May 1995. By Mail By Phone Hyatt Regency La Jolla Voice: (800) 233--1234 3777 La Jolla Village Drive +1 (619) 552--1234 San Diego, CA 92122 Fax: +1 (619) 552--6066 Single or Double rate: $107 (+ 10.5% state tax) Name(s):_________________________________________________________________ Affiliation:_____________________________________________________________ Address:_________________________________________________________________ _________________________________________________________________________ Phone:____________________________ Fax:__________________________________ arrival date________________________________ number of nights____________ number of rooms________________________ number of people_________________ Room type (King bed or Two double beds)__________________________________ Smoking or Non-smoking?__________________________________________________ Special Needs:___________________________________________________________ Guarantee room by credit card? (VISA, MC, AMEX, Diners, Discover) ___Visa ___Mastercard ___American Express ___Diners Club ___Discover Card number:_______________________________________ Expires______________ Signature:_______________________________________________________________ Registration Information Submit one photocopy of the form for each attendee. Please print or type all information to avoid errors on your badge. To qualify for the lower rates, registration forms with full payment must be postmarked by May 25, 1995. * Please make checks and money orders payable in U. S. dollars to ACM SIGPLAN '95. * Phone, e-mail, and faxed registrations must be paid by Visa, MasterCard, or American Express. American Express users, please provide your billing address if it is different from the address on the registration form. * Government vouchers and purchase orders are not accepted. Requests for refunds must be postmarked by June 7, 1995. After this date, cancellations and no-shows are liable for the full fees. PLDI '95 registration includes a copy of the PLDI proceedings, Tuesday night's catered Gab-Fest, 3 continental breakfasts, coffee breaks, and lunch Monday and Tuesday of the conference. PEPM '95 registration includes a copy of the PEPM proceedings, the banquet, 2 continental breakfasts, coffee breaks, and lunch Thursday and Friday of the conference. FPCA '95 registration includes a copy of the FPCA proceedings, admission to the FPCA Tutorial, the Sunday evening reception, 3 continental breakfasts, coffee breaks, and lunch Monday and Tuesday of the conference. PLDI Tutorial registration includes a copy of the notes, lunch Sunday, and coffee breaks. Real-Time Workshop registration includes a copy of the proceedings preprints, lunch Thursday, and coffee breaks. Haskell Workshop registration includes a copy of the notes and coffee breaks. Send registration form and full payment to: ACM SIGPLAN '95 P. O. Box 8304 Maitland, FL 32794-8304 For overnight mail: or Fax to: (407) 628-3186 Carole Mann Phone: (407) 628-3602 ACM SIGPLAN '95 E-mail: mann@cs.ucf.edu Registration Systems Lab 2060 Goldwater Court Maitland, FL 32751 Name: ___________________________________________________________________ Name tag should read:____________________________________________________ Affiliation: ____________________________________________________________ Address: ________________________________________________________________ _________________________________________________________________________ Phone: ______________________________ Fax: _____________________________ Electronic mail: ________________________________________________________ ACM Membership Number: __________________________________________________ The list of attendees will be sent electronically, only to attendees. May we include you on this list? ___yes ___no Dietary preference? ___Vegetarian (may contain dairy, eggs) ___Vegan (no animal products) ___Kosher Special needs or accommodations: ________________________________________ Fee Schedule (in U. S. dollars) please circle ALL applicable fees Tutorial PLDI'95 Real-Time Early Late Early Late Workshop ACM & SIGPLAN member 150 17 275 300 90 ACM or SIGPLAN member 175 200 300 325 90 Non-member 175 200 325 350 100 full-time student 60 60 125 125 PEPM '95 FPCA '95 Haskell Early Late Early Late Workshop ACM & SIGPLAN member 310 385 310 310 30 ACM or SIGPLAN member 310 385 325 325 30 Non-member 385 460 350 450 30 full-time student 150 150 150 150 Students are welcome at the workshops, but there is no reduced fee. Total (Conferences, Tutorial, Workshops):________________________________ ___check (US$, payable to SIGPLAN '95) ___Visa ___MasterCard ___American Express Card #: _________________________________________ Expires _______________ Signature: ______________________________________________________________ Signature of e-mail registrants will be required at the conference. ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* END OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The TC-RTS repository is maintained by Azer Bestavros at Boston University WWW Home Page of the TC-RTS is at: http://cs-www.bu.edu/pub/ieee-rts/Home.html Internet address for anonymous FTP to the TC-RTS repository is: cs-ftp.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 ------------------------------------------------------------------------------