Subject: IEEE-CS TC-RTS Newsletter for Wed Oct 04, 1995 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. best@cs.bu.edu (Azer Bestavros) (578 lines) Advance Program of the IEEE RTSS'95................................ 3 2. "Susan Raskin" (29 lines) Real-time development at Silicon Graphics.......................... 581 3. "Babis Theodoulidis" (182 lines) CHAIR in REAL-TIME SYSTEMS......................................... 611 4. emaki@wkap.com (97 lines) RESPONSIVE COMPUTER SYSTEMS: A new book from Kluwer................ 792 Latest two issues of the Real Time Systems Journal................. 853 5. rich@cs.UMD.EDU (Richard Gerber) (19 lines) WWW/FTP Proceedings for the ACM SIGPLAN Real-Time Workshop ........ 889 6. nhowes@ida.org (Norman Howes) (183 lines) WPDRTS: Meeting summary............................................ 908 7. Walter Borden (78 lines) Temporal Verification of Reactive Systems: Safety.................. 1090 8. shasha@SHASHA.CS.NYU.EDU (Dennis Shasha) (41 lines) Biographies of Great Researchers................................... 1169 9. Howard Wong-Toi (23 lines) HyTech: Tool announcement.......................................... 1210 10. Doug Niehaus (130 lines) CFP: Real-Time Technology and Applications Symposium............... 1233 11. bquigley@dimacs.rutgers.edu (504 lines) PROGRAM - Workshop on Verification and Control of Hybrid Systems .. 1364 12. iceccs95@homer.njit.edu (iceccs95 A. Stoyenko) (99 lines) Synopsis of ICECCS95............................................... 1867 13. toda@etlca0.etl.go.jp (Kenji Toda) (560 lines) Prog & Info on RTCSA95 in Japan.................................... 1966 14. zalewski@db.erau.edu (Janusz Zalewski) (326 lines) Second IFAC Workshop on Safety and Reliability..................... 2526 15. mf3@doc.ic.ac.uk (Marcelo Finger) (160 lines) CFP: TIME-96 (preliminary CFP)..................................... 2852 16. raja neogi (128 lines) ICSE'96 SPECIAL SESSION ON REAL-TIME SYSTEMS....................... 3012 17. broggi@verdi.eng.unipr.it (Alberto Broggi) (89 lines) Call-for-papers: JOURNAL OF REAL-TIME IMAGING...................... 3140 18. scollo@cs.utwente.nl (Pippo Scollo) (162 lines) AMAST'96 Call for Papers........................................... 3228 19. Tom Henzinger (145 lines) CAV 96 -Call for Papers............................................ 3390 20. fredy@ssgrr.it (Patricelli Federico) (193 lines) 8TH EUROMICRO WORKSHOP ON REAL TIME SYSTEMS ....................... 3536 21. asamuel@gollum (Tony Samuel) (189 lines) Call for Papers: 4th WPDRTS........................................ 3731 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Fri Sep 29 23:16:21 1995 From: best@cs.bu.edu (Azer Bestavros) Subject: Advance Program of the IEEE RTSS'95 Content-Length: 21486 ------------------------------------------------------------------------------- __ __ __ __ , __ __ /_/ / /_ /_ /_//_ 16th IEEE REAL-TIME SYSTEMS SYMPOSIUM / \ / __/__/ __/__/ December 4-7, 1995 -- Pisa, Italy ------------------------------------------------------------------------------- Advance Program & Call for Participation IEEE Real-Time Systems Symposium December 4-7, 1995 Palazzo dei Congressi Via Matteotti, 1 Pisa, Italy Sponsored by The IEEE Computer Society Technical Committee on Real-Time Systems IEEE RTSS'95 Home Page http://cs-www.bu.edu/pub/ieee-rts/rtss95 ------------------------------------------------------------------------------- Monday, December 4 ------------------------------------------------------------------------------- Tutorials (at Scuola Superiore Studi Universitari e Perfezionamento Sant'Anna) Tutorial registration: 8:00am - 2:30pm Tutorial 1: 9:00am - 6:00pm (Full day - 6 hours) Title: Real-time Systems: Specification & Verification Instructors: Henk Schepers, Jozef Hooman, Zhiming Liu, Steve Schneider, Kim Larsen, and Wang Yi Tutorial 2: 9:00am - 12:30pm (Half day - 3 hours) Title: Real-Time Communications Instructors: Ken Tindell and Jay Strosnider Tutorial 3: 2:30pm - 6:00pm (Half day - 3 hours) Title: Real-Time POSIX Instructors: Ted Baker, Doug Locke, and Michael Gonzalez Harbour Symposium registration (at Palazzo dei Congressi): 5:00pm - 8:00pm ------------------------------------------------------------------------------- Tuesday, December 5 ------------------------------------------------------------------------------- 8:00am - 5:00pm Registration 9:30 - 9:45am Opening Address and Welcome General Chair: Krithi Ramamritham Program Chairs: Alan Burns and Yann-Hang Lee 9:45 - 10:45am Session 1: Applications Proving Dynamic Properties in an Aerospace Application Simin Nadjm-Tehrani and Jan-Erik Stromberg Modelling a Real Time Control System Based on Distributed Objects Nigel Baker, Wayne Harris, Chris Wallace, Richard McClatchey and Jean-Marie Le Goff 10:45 - 11:15am Coffee break 11:15 - 1:00pm Session 2: Synchronization and OS A Scalable Real-Time Synchronization Protocol for Distributed Systems Injong Rhee and Graham R. Martin Real-Time Computing with Lock-Free Shared Objects James H. Anderson, Srikanth Ramamurthy, and Kevin Jeffay Kernel-Level Threads for Dynamic, Hard Real-Time Environments Marty Humphrey, Gary Wallace, and John A. Stankovic MiThOS -- A Real-Time Micro-Kernel Threads Operating System Frank Mueller, Viresh Rustagi and Ted Baker 1:00 - 2:30pm Lunch 2:30 - 3:45pm Session 3: Formal Methods HyTech: The Next Generation T. Henzinger, P.-H. Ho, and H. Wong-Toi Two Examples of Verification of Multirate Timed Automata with Kronos Conrado Daws and Sergio Yovine Compositional and Symbolic Model-Checking of Real-Time Systems Kim G. Larsen, Paul Pettersson, and Wang Yi 3:45 - 4:15pm Coffee break 4:15 - 5:30pm Session 4: Scheduling I Value vs Deadline Scheduling in Overload Conditions Giorgio Buttazzo, Marco Spuri and Fabrizio Sensini Dual Priority Scheduling Robert Davis and Andy Wellings An Approach To Handling Overloaded Systems That Allow Skips Gilad Koren and Dennis Shasha 8:00pm Welcome party ------------------------------------------------------------------------------- Wednesday, December 6 ------------------------------------------------------------------------------- 8:00am - 5:00pm Registration 9:30 - 10:45am Session 5: Fault Tolerance Enhancing Real-Time Schedules to Tolerate Transient Faults Sunondo Ghosh, Rami Mellhem and Daniel Mosse A Software Fault Injection Tool on Real-Time Mach Scott Dawson, Farnam Jahanian and Todd Mitton Fault-tolerant Real-Time Communication in FDDI-Based Networks Biao Chen, Sanjay Kamat, and Wei Zhao. 10:45 - 11:15am Coffee break 11:15am - 1:00pm Session 6: Distributed Systems Joint Scheduling of Distributed Complex Periodic and Hard Aperiodic Tasks in Statically Scheduled Systems Gerhard Fohler Optimal Combined Task and Message Scheduling in Distributed Real-Time Systems Tarek F. Abdelzaher, and Kang G. Shin Distributed Pinwheel Scheduling with End-to-End Timing Constraints Chih-wen Hsueh, Kwei-Jay Lin, and Nong Fan The Design of Large Real-Time Systems: The Time-Triggered Approach Hermann Kopetz, Martin Braun, Christian Ebner, Andreas Kruger, Dietmar Millinger, Roman Nossal and Anton Schedl 1:00 - 2:30pm Lunch 2:30 - 3:45pm Session 7: Scheduling II Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control Marco DiNatale & John A. Stankovic Fairness in Periodic Real-Time Scheduling Sanjoy K. Baruah Robust Aperiodic Scheduling Under Dynamic Priority Systems Marco Spuri, Giorgio Buttazzo and Fabrizio Sensini 3:45 - 4:15pm Coffee break 4:15 - 5:30pm Session 8: Communication On Slot Reuse for Isochronous Services in DQDB Networks Ching-Chih Han, Chao-Ju Hou, and Kang G. Shin Dynamic Real-Time Channel Setup and Tear-Down in DQDB Networks Chao-Ju Hou and Kar Shun Tsoi Modeling Bus Scheduling Policies for Real-Time Systems Kevin Kettler and Jay Strosnider 5:30 - 6:30pm IEEE Real-Time Systems TC meeting 8:00pm Gala Dinner ------------------------------------------------------------------------------- Thursday, December 7 ------------------------------------------------------------------------------- 10:00 - 11:15am Session 9: Specification Compiling Modechart Specifications Carlos Puchol, Aloysius K. Mok and Douglas A. Stuart The Specification and Schedulability Analysis of Real-Time Systems using ACSR J. Choi, I. Lee and H. Xie A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems Hanene Ben-Abdallah, Insup Lee, and Jin-Young Choi 11:15 - 11:45am Coffee break 11:45am - 1:00pm Session 10: Timing Analysis Integrating the Timing Analysis of Pipelining and Instruction Caching Chris Healy, Dave Whalley, and Marion Harmon Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study Yerang Hur, Young Hyun Bae, Sung-Soo Lim, Sung-Kwan Kim, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, and Chong Sang Kim 1:00 - 2:30pm Lunch 2:30 - 3:45pm Sessions 11: Real-Time DB and Window Systems Some Performance Issues for Database Transactions with Firm Deadlines Y. C. Tay Managing Contention and Timing Constraints in a Real-Time Database System Matthew R. Lehr, Young-Kuk Kim, and Sang H. Son ARTIFACT: A Platform for Evaluating Real-Time Window System Designs John Sasinowski and Jay Strosnider ------------------------------------------------------------------------------- Symposium Exhibition ------------------------------------------------------------------------------- An exhibition of hardware and software products for real-time systems will be held in conjunction with the symposium. Any industrial and university groups wishing to participate in the exhibition should contact with Christian Koza at Christian.Koza@aut.alcatel.at. ------------------------------------------------------------------------------- Local Information ------------------------------------------------------------------------------- Conference Site: Palazzo dei Congressi Phone: +39 - 50 - 598.139 Via Matteotti, 1 Phone: +39 - 50 - 598.203 Pisa, Italy Fax: +39 - 50 - 598.112 The City Pisa is a small friendly city in the north of Italy. Apart from its famous Leaning Tower it has a number of other historical attractions and fine restaurants. The Palazzo dei Congressi and all these attractions are within easy walking distance of the hotels listed below. How to reach Pisa There are direct flights to Pisa from London, Paris, Frankfurt, Rome and Milan. The city is also accessible by train from Genoa (2 hours), Rome (3 hours), Milan (4 hours) and Venice (5 hours). Lunch Lunches will be served at the Palazzo dei Congressi and it is included in the registration fee. The price per lunch for accompanying persons is of Lira 40,000. Banking Service A currency exchange office will be located inside of the Palazzo dei Congressi (9:00am - 1:00pm and 2:45pm - 3:45pm). Telephone, fax, and e-mail service During the symposium, participants may receive messages by phone and fax at the Palazzo dei Congressi. Also an E-mail service will be provided. ------------------------------------------------------------------------------- Social Events ------------------------------------------------------------------------------- 1. On Tuesday, December 5th, a welcome party will be offered to the participants. 2. On Wednesday, December 6th, a Gala Dinner will be offered in a typical Tuscan restaurant. ------------------------------------------------------------------------------- Registration ------------------------------------------------------------------------------- Advance registrations should be made by filling the registration form included in the program and mailing it to one of the following: Linda BUSS Route 1, Box 187B, Menomonie, WI 54751 USA OR Ettore RICCIARDI IEI - CNR Via S. Maria, 46 56126 - PISA Italy E-mail registration can be done by sending the registration form to: ricciardi@iei.pi.cnr.it For Credit card payment, please include the name on the credit card, the number of the credit card, the type of the credit card, the expiration date on the credit card, and your signature. Only US or International Bank Checks will be accepted or, alternatively, by an International Bank Transfer order payable to: Ettore RICCIARDI Bank Code Number: 0861 - 5608 - 14002 - 13761 Banca Popolare di Novara - Agency 1 Via San Francesco, 54 56100 - Pisa Italy Please, enclose the check/cheque or a copy of the payment order with the registration form. On site registration fees can be paid by check/cheque, major credit cards, or cash at the Symposium Secretariat. The Secretariat will be open on Monday, December 4th, 1995 from 5:00pm to 8:00pm, and all day during the Symposium. Symposium Registration Fees: --------------------------- Advance (before November 1, 1995) Late (after November 1, 1995) Member: US$ 380 US$ 460 Non-member: US$ 480 US$ 580 Full-time student: US$ 150 US$ 180 Full Day Tutorial Fees: ---------------------- Advance (before November 1, 1995) Late (after November 1, 1995) Member: US$ 170 US$ 210 Non-member: US$ 215 US$ 260 Full-time student: US$ 170 US$ 210 Half Day Tutorial Fees: ---------------------- Advance (before November 1, 1995) Late (after November 1, 1995) Member: US$ 100 US$ 120 Non-member: US$ 120 US$ 140 Full-time student: US$ 100 US$ 120 Notes: ----- 1. Symposium registration includes admission to symposium, a copy of symposium proceedings, lunches, coffee-breaks, Welcome party on Tuesday night, and Gala dinner on Wednesday night. 2. Full-time students are asked to provide a verification of their status, either during registration or at the conference. 3. There are no special full-time student rates for tutorials. 4. Extra ticket for Wednesday's Gala dinner can be purchased at US$ 45/ea. 5. Written requests for refunds must be postmarked no later than November 13, 1995. Refunds are subject to a US$ 50 processing fee. All no-show registration will be billed in full. Registration after 11/13/95 will be accepted on-site only. . . . . . . . . . . . . . . . . . Cut Here . . . . . . . . . . . . . . . . . 1995 IEEE Real-Time Systems Symposium Registration Form First Name:_________________________ Last Name:_____________________________ Title :_____________________________ Position:______________________________ Affiliation:_________________________________________________________________ Address:_____________________________________________________________________ City:_______________________________ State:_________________________________ Country:____________________________ Zip/Postal Code:_______________________ Phone:______________________________ Fax:___________________________________ E-Mail:_____________________________ Payment: Symposium registration fee: Category___________________ $___________ IEEE/ACM Member no:___________________ Tutorial fee: 1. Real-time Systems: Specif. & Verification $___________ 2. Real-Time Communications $___________ 3. Real-Time POSIX $___________ Extra Gala dinner tickets: ($45/ea) $___________ Extra symposium proceedings: ($35/ea) $___________ Hotel reservation deposit: (single or double) $___________ first preference:_____________________ second preference:____________________ third preference:_____________________ Total amount: $___________ . . . . . . . . . . . . . . . . . Cut Here . . . . . . . . . . . . . . . . . ------------------------------------------------------------------------------- Pisa Hotel Information ------------------------------------------------------------------------------- All reservations refer to the period of December 3-8, 1995. Rooms will be available up to November 3, 1995. One night deposit is required for all reservations. All prices are in US dollars and include service and taxes. Approximate conversion rate: $ 1.00 = L 1,600 ------------------------------------------------------------------ price price stars single double ------------------------------------------------------------------ Hotel CAVALIERI ***** 100 120 Piazza della Stazione, 2 Phone: 43.290 Fax: 502.242 ------------------------------------------------------------------ Hotel DUOMO **** 95 130 Via Santa Maria, 94 Phone: 561.894 Fax: 560.418 ------------------------------------------------------------------ Hotel TOURING *** 55 75 Via Puccini, 24 Phone: 46.374 Fax: 502.148 ------------------------------------------------------------------ Hotel TERMINUS & PLAZA *** 50 75 Via Colombo, 45 Phone: 500.303 or 45.200 Fax: 500.303 (to switch) ------------------------------------------------------------------ Hotel LA PACE *** 45 60 Viale Gramsci, Gall. B Phone: 48.863 or 29.351 Fax: 502.266 ------------------------------------------------------------------ Other Hotels without reservation for RTSS price price stars single double ------------------------------------------------------------------ Hotel D'AZEGLIO **** 90 120 Piazza Vittorio Emanuele, 18 Phone: 500.310 Fax: 28.017 ------------------------------------------------------------------ Hotel VILLA KINZICA *** 65 85 Piazza Arcivescovado, 2 Phone: 560.419 Fax: 551.204 ------------------------------------------------------------------ Hotel MINERVA *** 60 80 Piazza Toniolo, 20 Phone: 501.018 Fax: 551.204 ------------------------------------------------------------------ **** IMPORTANT: Please, mention the RTSS when reserving the hotel room. ------------------------------------------------------------------------------- LOCAL INFORMATION SERVICE ------------------------------------------------------------------------------- For any information about local arrangements, please send E-mail to: Giorgio Buttazzo: giorgio@sssup1.sssup.it Ettore Ricciardi: ricciardi@iei.pi.cnr.it ------------------------------------------------------------------------------- Conference Committee ------------------------------------------------------------------------------- General Chair Krithi Ramamritham Program Chairs Alan Burns and Yann-Hang Lee Treasurers Walt Heimerdinger and Ettore Ricciardi Publicity Chairs Azer Bestavros and Ken Tindell Industrial Chairs Michelle Hugue and Christian Koza Local Arrangements Giorgio Buttazzo and Ettore Ricciardi Ex-Officio Al Mok ----------------------- Program Committee ----------------------- | | | Ted Baker Giorgio Buttazzo Juan A. DeLaPuente | | Richard Gerber Nicholas Halbwachs Hans Hansson | | Connie Heitmeyer Jozef Hooman Farnam Jahanian | | Kevin Jeffay Theodore Johnson Mathai Joseph | | Dilip Kandlur Hermann Kopetz C. Mani Krishna | | Kwei-Jay Lin Fabio Panzieri David Powell | | Lui Sha Parmesh Ramanathan Hans Rischel | | Mike Rodd Fred Schneider Dennis Shasha | | Kang Shin Sang Son Jack Stankovic | | Jay Strosnider Reino Suonio Sandra Thuel | | Kenji Toda Paulo Verissimo Andy Wellings | | Wei Zhao | ----------------------------------------------------------------- ------------------------------------------------------------------------------- For more information, including abstracts of technical papers please check The IEEE RTSS'95 Home Page at URL http://cs-www.bu.edu/pub/ieee-rts/rtss95 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------ Message 2; Postmarked Mon Aug 14 18:56:27 1995 From: "Susan Raskin" Subject: Real-time development at Silicon Graphics Content-Type: text/plain; charset=us-ascii Content-Length: 984 Presently, SGI is looking for a senior software engineer to work closely with our Real-Time Market manager to identify needs for real-time features among customers who use our high-end supercomputing platforms, such as the Challenge and the PowerChallenge. This engineer will help identify which real-time features should be developed for future generations of this platform and play a leading role in the development of them. This development will include architecting, implementing, and testing real-time functions in the unix kernel, I/O system drivers, and libraries. This position requires an MSCS or equivalent, plus extensive UNIX kernel development experience and at least some significant real-time experience. This position also requires strong interpersonal and communications skill, as it will involve working directly with customers. To apply for this position, please email resume to sraskin@sgi.com. Silicon Graphics is an equal opportunity employer. Thanks, Susan ------------------------------------------------------------------------------ Message 3; Postmarked Thu Jul 20 12:30:15 1995 Sender: owner-dbworld@cs.wisc.edu From: "Babis Theodoulidis" Subject: CHAIR in REAL-TIME SYSTEMS Content-Length: 7342 CHAIR in REAL-TIME SYSTEMS Chair in Real-Time Systems University of Manchester Institute of Science and Technology (UMIST), Manchester, United Kingdom Applications are invited for an established Chair in Real-Time Systems in the Department of Computation, UMIST. The new Professor will be expected to undertake teaching and lead a research team towards international excellence in the field of real-time systems. The successful candidate will have an outstanding academic research record and/or evidence of substantial achievements in industry in a recognised area of real-time systems. Applicants whose research is related to current departmental interests are particularly welcome. Commencing salary will be within the Professorial range, current minimum: #163#31,999 per annum. Requests for applications forms and further details, quoting reference COM/A/95, should be sent to: The Personnel Office, UMIST, PO Box 88, Manchester, M60 1QD. The closing date is 18 August 1995. An equal opportunity employer and a Centre of Excellence in education and research. UMIST Department of Computation Chair in Real-Time Systems: Further particulars 1. Introduction The primary focus of the Department of Computation lies in the specification, design, analysis and modelling of complex information processing systems. The term information processing systems is used in its widest sense to include the design of VLSI circuits, software, decision support systems, information and data base systems, embedded computer systems and so on. The more formal aspects of computer science, which provide the mathematical foundations for the discipline are also considered as the essential basis upon which the development of complex information processing systems is taught and researched. The Department of Computation is seeking to appoint a Professor of Real-Time Systems to complement its existing strengths in the key area of "Systems Engineering". The holder of this established chair will be expected to promote research in at least one of the following areas of real-time systems: specification; design; validation and verification; implementation. The following fields are of particular interest to the Department: hardware/software codesign of embedded systems; novel architectures for high performance computing; formal approaches to concurrency, reliability and correctness; specialised techniques for real-time applications; distributed and networked systems. The Department of Computation currently has 32 academic staff comprising 4 established Chairs, 9 Senior Lecturers and 19 Lecturers. To sustain its teaching and research activities the Department has 16 Computer Officers. The quality and depth of research was recognised by a 4A rating in the last Research Assessment Exercise. It is widely believed in the Department that the quality of its research together with the enthusiasm and dedication of its staff provide an excellent basis for further successes and it remains a high priority within the Department to achieve a 5 rating in the forthcoming Research Assessment Exercise. 2. Research The research activities within the Department of Computation concern the application of an engineering discipline to the construction of complex hardware and software systems for large scale applications. The academic staff are organised into five active Research Groups, each associated with an established chair: o Computer Systems Engineering o Information Engineering o Information Systems o Medical Informatics o Software Engineering With the increasing size and expansion of activity within the Information Systems Group, an Information Systems Management sub-group has recently been established which concentrates on the management of information systems development, whilst the Information Systems Group concentrates on the engineering aspects of system development. The new Professor will be expected to lead the Computer Systems Engineering Group (which may be suitably renamed). At the present time, the group contains six academic staff whose main research interests are: hardware/software cosynthesis; neural network applications and support; concurrency modelling; image recognition techniques; parallel processing architectures. Research support has been provided by the EC, EPSRC, and industry. There are currently 8 PhD students working in these areas. Where appropriate the new Professor would need to forge links with other Research Groups both within and outside the Department. In particular, members of the Software Engineering Group also undertake research and teaching in the area of real-time systems, and colleagues in the Department of Electrical Engineering and Electronics are active in the related areas of digital systems, digital communications, signal processing, and microelectronic circuit design. 3. Teaching 3.1 Undergraduate Courses The Department presently offers two largely independent families of undergraduate courses. Co-ordination of academic content of courses, timetabling, examination procedures etc. is carried out by the Departmental Curriculum Committee, which is also responsible for overseeing course accreditation by the British Computer Society and the Institution of Electrical Engineers. Boards of Studies are responsible for the day-to-day operation of courses. The current course portfolio consists of: Computation B.Sc. Computation B.Sc. Information Engineering B.Sc. Pure Mathematics and Computation B.Sc. Linguistics and Computation B.Sc. Computation and Modern Languages Systems Engineering B.Eng./M.Eng. Microelectronic Systems Engineering B.Eng./M.Eng. Software Engineering B.Eng./M.Eng. Computer Systems Engineering B.Eng./M.Eng. Electronic Systems Engineering The new Professor would be expected to play a leading role in the future development of the Systems Engineering family of courses which are run jointly with the Department of Electrical Engineering and Electronics. These courses are composed of different mixtures of hardware and software topics - the precise blend is dependent on the actual degree course. 3.2 Postgraduate Courses The Department offers four M.Sc. taught courses: o M.Sc. in Computation o M.Sc. in Information System Engineering o M.Sc. in Software Engineering o M.Sc. in Information Engineering The M.Sc. course in Computation is a conversion course which receives EPSRC support for 20 students at present. The M.Sc. courses in Information System Engineering, Software Engineering, and Information Engineering, represent specialist courses in Computing. At present the Department recruits students to the Information System Engineering course only. The Department is currently planning to pilot an external degree in Singapore commencing in September 1995, based upon the M.Sc. in Information System Engineering. The Department also contributes to the MSc course in VLSI Systems Engineering run by the Department of Electrical Engineering and Electronics. ************************************************************************* Dr Babis Theodoulidis Department of Computation, UMIST, P.O. Box 88, Manchester M60 1QD, United Kingdom tel: +44 161 200 3309 fax: +44 161 200 3324 email: babis@sna.co.umist.ac.uk ------------------------------------------------------------------------------ Message 4; Postmarked Mon Jul 24 11:59:15 1995 From: emaki@wkap.com Subject: RESPONSIVE COMPUTER SYSTEMS: A new book from Kluwer Content-Length: 3840 ************************************************************* NEW REAL-TIME PUBLICATIONS FROM KLUWER ACADEMIC PUBLISHERS contributed by Eric Maki, Kluwer Academic Publishers RESPONSIVE COMPUTER SYSTEMS: STEPS TOWARD FAULT-TOLERANT REAL-TIME SYSTEMS edited by Donald Fussell, University of Texas at Austin and Miroslaw Malek, Humbold-Universitaet, Berlin, Germany RESPONSIVE COMPUTER SYSTEMS: STEPS TOWARD FAULT- TOLERANT REAL-TIME SYSTEMS provides an extensive treatment of the most important issues in the design of modern Responsive Computer Systems. It lays the groundwork for a more comprehensive model of computation that allows critical design issues to be treated in ways that more traditional disciplines of computer research inhibited. Thus, it breaks important ground in the development of a fruitful, modern perspective on computer systems as they are currently developing and as they can be expected to develop over the next decade. This book is a road map to some of the most important emerging issues in computing. Contents: 1. A Tight Lower Bound for Processor Coordination; Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch and Mark R. Tuttle 2. Self-Stabilizing Real-Time Decision Systems; Marco Schneider 3. Management and Scheduling of Tests for Locating Failures Dependent Upon Operation-Time in Responsive Systems; Yu Lo Cyrus Chang and Leslie C. Lander 4. Adding Robustness in Dynamic Preemptive Scheduling; Giorgio C. Buttazzo and John A. Stankovic 5. Static Deadlock Analysis for CSP-Type Communications; Peter B. Ladkin and Barbara B. Simons 6. Comparing How Well Asynchronous Atomic Broadcast Protocols Perform; Flaviu Cristian, Richard de Beijer and Shivakant Mishra 7. Hard Real-time Reliable Multicast in the DEDOS System; Dick Alstein and Peter van der Stok 8. Speculative Algorithms for Concurrency Control in Responsive Databases; Azer Bestavros 9. Autonomous Transaction Managers in Responsive Computing; Nandit Soparkar, Henry F. Korth and Avi Silberschatz 10. Adaptable Fault Tolerance for Real-Time Systems; A. Bondavalli, J. Stankovic and L. Strigini 11. Fault-Tolerant Automatic Control; Marc Bodson, John Lehoczky, Ragunathan Rajkumar, Lui Sha and Jennifer Stephan 12. Design and Performance Evaluation of a Fault-Tolerant, Hard-Real-Time, Parallel Processor; Bob Clasen, Rick Harper and Edward W. Czeck IEEE TC-RTS DISCOUNT!! Readers of the IEEE TC-RTS Newsletter will receive a special 10% discount on e-mail orders for this title. For an order form, send an e-mail to emaki@wkap.com with the words "real time discount" in the subject line. 1995 288 pp. Hardbound ISBN 0-7923-9563-8 $110.00 The Kluwer International Series in Engineering and Computer Science 297 ************************************************************* Subject: Latest two issues of the Real Time Systems Journal These are the contents of the latest two issues of the journal REAL TIME SYSTEMS, published by Kluwer Academic Publishers. For information on submitting or subscribing to the journal, consult Kluwer's on-line catalogue at gopher://gopher.wkap.nl. Volume 9, Issue 2, July 1995 Zhou/Hooman - Formal Specification and Compositional Verification of an Atomic Broadcast Protocol Tindell/Burns/Wellings - Analysis of Hard Real-Time Communications Hassapis/Papadopoulos - Support Software for the Development of Programmable Logic Controller Applications Volume 9, Issue 3, September 1995 Oh/Son - Allocating Fixed-Priority Periodic Tasks on Multiprocessor Systems van der Aalst - Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets Akazan/Mammeri - On Tasks Synchronization with the MMS Protocol Thawonmas/Chakraborty/Shiratori - Fast Heuristic Scheduling Based on Neural Networks for Real-Time Systems ------------------------------------------------------------------------------ Message 5; Postmarked Fri Jul 28 23:51:42 1995 From: rich@cs.UMD.EDU (Richard Gerber) Subject: WWW/FTP Proceedings for the ACM SIGPLAN Real-Time Workshop Content-Length: 396 The ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems was held on June 21-22, 1995 in La Jolla CA. All papers from the workshop are now available electronically, and are linked to the LCT-RTS '95 home page: http://www.cs.umd.edu/projects/TimeWare/sigplan95 Papers may also be retrieved via ftp, from ftp://ftp.cs.umd.edu/pub/realtime/sigplan95 ------------------------------------------------------------------------------ Message 6; Postmarked Thu Aug 17 21:37:22 1995 From: nhowes@ida.org (Norman Howes) Subject: WPDRTS: Meeting summary Content-Length: 9245 Meeting Summary JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS The Joint Workshop on Parallel and Distributed Real-Time Systems was held in Santa Barbara April 24 - 26, 1995 as part of the 7th International Parallel Processing Symposium. The workshop combined the 3rd Workshop on Parallel and Distributed Real-Time Systems and the 7th International Real-Time Ada Issues Workshop. It was held in cooperation with the IEEE Computer Society Technical Committee on Parallel Processing, the IEEE Computer Society Technical Committee on Real-Time Systems, the IEEE Computer Society Technical Committee on Engineering of Computer Based Systems and the Software Engineering Laboratory at NJIT with support from the U.S. Naval Surface Warfare Center, the Institute for Integrated Systems Research at NJIT and the Faculty for Mathematics and Computing Science of the Eindhoven University of Technology. The workshop brought together researchers from different "communities" to address issues of mutual concern having to do with the seemingly conflicting goals associated with large complex systems that simultaneously have real-time and scalability requirements. For some time now it has been evident that the existing methods employed by these different communities have been unable to solve all the problems associated with simultaneously satisfying these seemingly conflicting goals. Topics addressed at the workshop included architecture, hardware, communication systems and protocols, operating systems, hard and soft real-time systems, scheduling, resource allocation and optimization, programming languages, object-based techniques, specification, design and requirements, applications, comparison of Ada/Ada 95 with other languages for real-time programming, Ada/Ada 95 real-time and concurrent features and using Ada/Ada 95 for real-time concurrent computing. In the theoretical sessions, applications sessions, and during the panels and discussions, there was an emphasis on the new methods, techniques and paradigms that are being employed both in the laboratory as the object of research and on real-world distributed and parallel real-time applications. Problems and limitations with some of these new paradigms were discussed freely. However, there were indications that some of these new methods are achieving what in the past have seemed to be elusive performance and timing improvements. Several important issues pertaining to Ada 95 were also addressed. The previous six International Real-Time Ada Issues Workshops had been instrumental in identifying problems not solved by Ada 83, suggesting language changes that would address these problems, and reviewing Ada 95 proposals. The 7th workshop is the first since Ada 95 obtained its ISO standardisation. It brought together both Ada and non Ada experts. The workshop consisted of formal paper presentations, informal panel presentations and round-table discussions. There was an open discussion on whether Ada 95 adequately addresses the requirements of real-time distributed systems. Unlike the previous IRTAW's, this discussion did not expose any significant problems. There seemed to be general consensus that the Ada 95 partitioning scheme and RPC mechanism provide an appropriate level of language support for distributed systems. Although there is not yet much basis in experience, no significant application or implementation problems have yet been discovered. The compiler support for distribution and child packages appears to be a potentially strong reason to use Ada, as opposed to other object-oriented languages. Other issues briefly considered included: the use of Ada with other standards, configuration issues, asynchronous message passing, clocks and fault tolerance. Three Ada 95 issues were also discussed at length: Ada Compiler Validation Capability (ACVC) Tests and the Annexes Concern was expressed that the Ada 95 Annexes were not receiving the same level of coverage in the ACVC tests as that given to other parts of the language. While the Workshop appreciated that the budget allocated to developing the ACVC tests was not unlimited, it believed that Ada95 would not be well served in the long term if compilers and their run-time support systems are not tested for their conformance to the Annexes. The Workshop therefore resolved to recommend that the AJPO (and associated organizations) use their best efforts to: 1. Ensure that the Systems Programming, Real-Time and Distributed Systems Annexes receive the same level of coverage in the ACVC tests as the Core Ada95 language. 2. Introduce into the ACVC test procedures a process which will examine the documentation provided by an implementation to ensure that all of the document requirements of the Annexes have been met. 3. Provide, as part of the ACVC tests, an implementation of the Partition Communication Subsystem which will allow adequate testing of conformance to the Distributed Systems Annex; we believe that a simple loop-back mechanism, such as that described by Richard Powers of Texas Instruments in the Workshop Proceedings [1] would be adequate for this purpose. The reason for concern here was that experience with Ada 83 shows that the priorities of compiler development are largely driven by validation tests. Features for which there exist no validation tests are the last to be implemented. Thus, the Workshop was asking for tests that verify that an implementation provides the basic functionality required by each Annex. Distributed Objects and Asynchronous Remote Procedure Calls One of the important new parts of Ada 95 is its support for distributed systems. The model allows Ada library units to be partitioned among processing nodes, with remote procedure calls being the primary mechanisms for inter-partition communication. Both synchronous and asynchronous remote procedure calls are supported, the latter only allowing input parameters to be specified. During the workshop there was much discussion about the extent to which the equivalent of asynchronous remote procedure calls with output parameters was achievable safely using the Distributed Object model of programming described by Anthony Gargaro in the Workshop Proceedings [2]. The approach is for a client to pass an instance of a remote access variable to a tagged type (called a promise or future) as an input parameter to an asynchronous service. Two operations are available on the type: one for the server to call to return the output parameters (Reply) and the other for the client to claim the Server's result. The Server on completion of the required service calls the Reply operation asynchronously; this is a dispatching operation which will call the correct client's partitions transparently to the Server. After discussion it was generally agreed that the approach was indeed safe in that the Server partition would not be affected if the client partition terminated, or if the promised variable went out of scope. However, any exceptions raised might be lost. Protected Objects and Object Oriented Programming Ada 95 is the first standard programming language to have facilities for both OOP and concurrent programming. OOP is supported by being able to extend tagged types within the language. Concurrent programming is supported by tasking and protected types. However, protected types cannot be extended. The Workshop discuused ways in which a synchronised object in Ada 95 could be extended. Three general paradigms had been described by Wellings, Mitchell and Burns in the Workshop Proceedings [3]. The first was to define the object without synchronisation and then to extend the object by adding a lock and overriding each operation so that the locking protocol could be implemented. The second was to provide the lock in the root type and allow only class-wide operations to be visible. These operations perform the locking protocol and use run-time dispatching to execute the unsynchronised operations. The third uses protected types and passes a class-wide access type as a discriminant. After discussion it was generally agreed that integrating OOP and concurrency control mechanisms was difficult to do in any language and that this is a research topic. Ada 95 had decided not to address these issues by making protected types non-extensible. Paradigms could be found for workarounds, but these were limited in their capability for extension. References [1] Testing Ada Annex E - Distributed Systems, R. Powers, Proceedings of the IEEE Workshop on Parallel and Distributed Real-time Systems, pp 72-73, Santa Barbara, April 1995 [2] Towards Distributed Objects for Real-Time Systems, A. Gargaro, Proceedings of the IEEE Workshop on Parallel and Distributed Real-time Systems, pp 36-43, Santa Barbara, April 1995 [3] Object-Oriented Programming with Protected Types in Ada 95, A.J. Wellings, S. Mitchell and A. Burns, Proceedings of the IEEE Workshop on Parallel and Distributed Real-time Systems, pp 62-68, Santa Barbara, April 1995 This workshop report was prepared by: Norman R. Howes Institute for Defense Analyses Andrew Wellings Department of Computer Science University of York ------------------------------------------------------------------------------ Message 7; Postmarked Mon Sep 25 12:10:15 1995 Subject: Temporal Verification of Reactive Systems: Safety From: Walter Borden Content-Length: 2885 Springer is pleased to announce the publication of the new volume - > > TEMPORAL VERIFICATION OF REACTIVE SYSTEMS: SAFETY > Z. Manna, Stanford University, CA > A. Pnueli, Weizmann Institute of Science, Rehovot, Israel > > 1995 512 pages, 172 illustrations. > ISBN 0-387-94459-1 Hardcover $59.95 > >This book presents temporal logic as a means of specifying properties >of reactive systems and develops an extensive verification methodology >for proving that a system meets its safety specification. > >Readers are assumed to have some familiarity with programming and >basic concurrency concepts as well as first-order logic. No previous >exposure to temporal logic is assumed since it is covered in the first >chapter. > > >The book contains the following chapters: > >Chapter 0: PRELIMINARY CONCEPTS -- Covers all the necessary > prerequisites of temporal logic and introduces reactive > systems and their temporal specifications. > >Chapter 1: INVARIANCE: PROOF METHODS -- Introduces the basic methods > for proving that an assertion is an invariant of a program. > >Chapter 2: INVARIANCE: APPLICATIONS -- Considers more advanced > examples, involving resource allocation and other > fundamental paradigms of concurrent programs, and verifies > them according to the principles advocated in Chapter 1. > >Chapter 3: PRECEDENCE -- Considers safety properties specifying the > temporal ordering between events, and provides proof > principles for their verification. > >Chapter 4: GENERAL SAFETY -- considers the most general safety > properties that can be specified in temporal logic, and > presents proof principles for their verification. > >At the end of each chapter, we present completeness proofs for the >verification rules and model-checking algorithms for the automatic verification >over finite-state systems. > >Chapter 5: ALGORITHMIC VERIFICATION OF GENERAL FORMULAS -- presents > algorithms for model checking a property specified by a > general temporal formula (not restricted to safety > properties) over a finite-state system. > > >An educational version of the Stanford Temporal Prover (STeP), a tool >that supports the verification of reactive systems, is available for >use with this book. > > >While being completely self-contained, the new volume is a sequel to >the previous volume, devoted to the specification of reactive systems >by temporal logic: > > THE TEMPORAL LOGIC OF REACTIVE AND CONCURRENT SYSTEMS: SPECIFICATION > Z. Manna, Stanford University, CA > A. Pnueli, Weizmann Institute of Science, Rehovot, Israel > > 1992 427 pages, 96 illustrations > ISBN 0-387-97664-7 Hardcover $49.95 To order: 1-800-Springer or orders@springer-ny.com or check our website at http://www.springer-ny.com ------------------------------------------------------------------------------ Message 8; Postmarked Wed Sep 27 10:55:41 1995 From: shasha@SHASHA.CS.NYU.EDU (Dennis Shasha) Subject: Biographies of Great Researchers Content-Length: 1132 Dear Colleague, You may find this book as fun to read as I found co-writing it. Thanks, Dennis Shasha, New York University ---------- OUT OF THEIR MINDS The Lives and Discoveries of 15 Great Computer Scientists Dennis Shasha and Cathy Lazere A collection of 15 short biographies of great living computer scientists. The technical level ranges from standard biography (untechnical) to a verbal description of the fundamental ideas in an algorithm, architecture, language or AI technique. The more you know, the more you'll enjoy the book, but people who simply like biographies also like the book. For more information and excerpts, please see http://cs.nyu.edu/cs/faculty/shasha/outofmind.html Publisher: Copernicus An Imprint of Springer-Verlag, New York, Inc. 175 Fifth Avenue New York, New York 10010 ISBN: 0-387-97992-1 (August, 1995), $23. To order by phone: (US and Canada) 1-800-777-4643; (Other Americas, Europe, and Africa) (49) 30-82-071, Berlin office; and (Asia and Australia) (852) 72-73-96-98, Hong Kong office. To order by email: (US, Canada, and Mexico) orders@springer-ny.com (elsewhere) orders@springer.de ------------------------------------------------------------------------------ Message 9; Postmarked Wed Sep 27 14:59:30 1995 From: Howard Wong-Toi Subject: HyTech: Tool announcement Content-Length: 738 We are pleased to announce that a new version of HyTech is now publicly available. HyTech is an automatic tool for the analysis of embedded systems. HyTech computes the condition under which a linear hybrid system satisfies a temporal requirement. Hybrid systems are specified as collections of automata with discrete and continuous components, and temporal requirements are verified by symbolic model checking. If the verification fails, HyTech generates a diagnostic error trace. HyTech is available by anonymous ftp from ftp.cs.cornell.edu in the directory ~pub/tah/HyTech, and through the World-Wide Web via URL http://www.cs.cornell.edu/Info/People/tah/hytech.html. Sincerely, Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. ------------------------------------------------------------------------------ Message 10; Postmarked Fri Sep 1 15:02:35 1995 From: Doug Niehaus Subject: CFP: Real-Time Technology and Applications Symposium Content-Length: 4934 C A L L F O R P A P E R S Second IEEE Real-Time Technology and Applications Symposium June 10-12, 1996 Boston, MA The Real-Time Technology and Applications Symposium is an emerging forum for the exchange of information on the principles and practice of real-time computing. Following the highly successful debut of this symposium in Chicago in 1995, RTAS 'T96 will bring together real-time system developers and researchers from academia, industry, and government to present recent advances in real-time systems research and discuss the challenges encountered, and solutions adopted, in the development of novel real-time systems. A variety of mechanisms for discussion and interchange are planned, including tutorials, panel discussions, paper presentations, and poster sessions. Papers and extended abstracts on all aspects of real-time computing are sought, including case studies, novel applications of real-time systems technology, application requirements, software engineering, systems integration, operating systems, scheduling, fault-tolerance, databases, programming languages, tools, communication networks, architectures, performance modeling, and formal methods. Of particular interest are papers detailing experiments, implementations, and experiences in application domains such as avionics, multimedia, process control, robotics, automated manufacturing, and communications. Submission Guidelines --------------------- Manuscripts to be considered for presentation as full papers should be limited to 20 double spaced pages. Extended abstracts to be considered for presentation at a poster session should be limited to 5 double spaced pages. Six copies of each manuscript and abstract should reach the program chair no later than January 12, 1996. Proposals for half-day tutorials in technical areas of the Symposium are also solicited. Tutorial proposals should be submitted to the program chair by January 26, 1996. Authors of all submissions will be notified of acceptance by March 15, 1996. In the case of manuscripts and abstracts, final camera- ready copy for inclusion in the Symposium proceedings will be due on April 5, 1996. All papers submitted to the Symposium should not be in submission to other technical conferences. Important Dates --------------- Paper submission: January 12, 1996 Tutorial proposal submission: January 26, 1996 Acceptance notification: March 15, 1996 Final camera-ready manuscript: April 5, 1996 Organizing Committees --------------------- General Chair: Program Chair: Wei Zhao Kevin Jeffay Texas A&M University University of North Carolina at Chapel Hill Department of Computer Science Department of Computer Science College Station, TX 77843-3112 Chapel Hill, NC 27599-3175 phone: (409) 845-5098 phone: phone: (919) 962-1938 email: zhao@cs.tamu.edu email: jeffay@cs.unc.edu Treasurer: Publicity Chair: Jianer Chen Douglas Niehaus Texas A&M University University of Kansas Local Arrangements Chair: Ex-Officio: (RTS-TC Chairs) Arkady Kanevsky John Stankovic Mitre Corporation University of Massachusetts at Amherst Al Mok University of Texas at Austin Program Committee ----------------- Ted Baker Florida State University Alan Burns University of York, UK Rebecca Callison Oregon State University David Garlan Carnegie Mellon University Richard Gerber University of Maryland Connie Heitmeyer Naval Research Laboratory Michelle M. Hugue Opsimath Research Farnam Jahanian University of Michigan Michael B. Jones Microsoft Research Dilip Kandlur IBM T. J. Watson Research Center Arkady Kanevsky Mitre Corporation Tei-Wei Kuo National Chung Cheng University, ROC Jane Liu University of Illinois Doug Locke Loral Federal Systems Sias Mostert University of Stellenbosch, South Africa Douglas Niehaus University of Kansas Raj Rajkumar Software Engineering Institute/CMU Kang G. Shin University of Michigan Jack Stankovic University of Massachusetts Jay Strosnider Carnegie Mellon University Sandra R. Thuel AT&T Bell Laboratories Farn Wang Academia Sinica, ROC ====================================================================================== Postscript of this call is available for anonymous FTP at: ftp://ftp.cs.unc.edu/pub/users/jeffay/rtas96-cfp.ps and an HTML version is available at: http://www.cs.unc.edu/~jeffay/rtas.html ------------------------------------------------------------------------------ Message 11; Postmarked Mon Sep 11 11:14:33 1995 From: Barbara Quigley From: bquigley@dimacs.rutgers.edu Subject: PROGRAM - Workshop on Verification and Control of Hybrid Systems - October 22-25, 1995 Program and Registration Information WORKSHOP ON VERIFICATION AND CONTROL OF HYBRID SYSTEMS Sponsored by DIMACS and SYCON October 22-25, 1995 New Brunswick, New Jersey This information is available at http://dimacs.rutgers.edu, http://www.cs.cornell.edu/Info/People/tah/hybrid95.html, and ftp.cs.cornell.edu/pub/tah/Conferences/Hybrid95. PROGRAM ------------------------------------------------------------------------------ Sunday, October 22 Invited Lecture I Chair: P. Varaiya, University of California at Berkeley, USA 8.30 -- 9.30 S. Sastry, University of California at Berkeley, USA A game theoretic viewpoint to verification problems for hybrid systems Invited Session I Chair: R. Alur, AT&T Bell Labs, USA 10.00 -- 10.30 Z. Manna, Stanford University, USA, A. Pnueli, The Weizmann Institute of Science, Israel Clocked transition systems 10.30 -- 11.00 A. Benveniste, INRIA-IRISA, France Compositional and uniform modelling of hybrid systems 11.00 -- 11.30 V. Gupta, XEROX PARC, USA, R. Jagadeesan, Loyola University, USA, V.A. Saraswat, D. Bobrow, XEROX PARC, USA Computing with continuous change 11.30 -- 12.00 A.K. Mackworth, University of British Columbia, Canada The evolution of hybrid intelligent systems Invited Session II Chair: P. Ramadge, Princeton University, USA 1.30 -- 2.00 H.J. Sussmann, Rutgers University, USA Partitions of the state space, regular synthesis, and piecewise smooth feedback controls 2.00 -- 2.30 M.K. Ghosh, Indian Institute of Science, India, S.I. Marcus, University of Maryland at College Park, USA, A. Arapostathis, The University of Texas at Austin, USA Controlled switching diffusions as hybrid processes 2.30 -- 3.00 W. Kohn, Sagent Corporation, USA, A. Nerode, Cornell University, USA, J.B. Remmel, University of California at San Diego, USA Hybrid systems as Finsler manifolds II: convexification of constranit manifolds 3.00 -- 3.30 W. Kohn, Sagent Corporation, USA, A. Nerode, Cornell University, USA Automata comparison procedure for the verification of hybrid systems Contributed Session I Chair: S. Sastry, University of California at Berkeley, USA 4.00 -- 4.20 H.B. Weinberg, N. Lynch, MIT, USA Verification of automated vehicle protection systems 4.20 -- 4.40 R. de Lemos, University of Newcastle, UK, J. Hall, University of York, UK Extended RTL in the specification and verification of an industrial press 4.40 -- 5.00 M. Sintzoff, Universite Catholique de Louvain, Belgium Invariance and termination in structured dynamical systems 5.00 -- 5.20 A. Deshpande, D. Godbole, A. G\"oll\"u, P. Varaiya, University of California at Berkeley, USA Design and evaluation tools for automated highway systems 5.20 -- 5.40 J.-M. Godhavn, T. Lauvdal, O. Egeland, The Norwegian Institute of Technology, Norway Hybrid control in sea traffic management systems 5.40 -- 6.00 J.A. Haddon, D.N. Godbole, A. Deshpande, J. Lygeros, University of California at Berkeley, USA Verification of hybrid systems: monotonicity in the AHS control system Monday, October 23 Invited Lecture II Chair: J. Sifakis, VERIMAG, France 8.30 -- 9.30 A. Pnueli, The Weizmann Institute of Science, Israel Hybrid systems: the computer science view Invited Session III Chair: A. Nerode, Cornell University, USA 10.00 -- 10.30 S.K. Mitter, V. Borkar, V. Chandru, MIT, USA A linear programming model of first-order logic 10.30 -- 11.00 Z. Artstein, The Weizmann Institute of Science, Israel Stabilization with hybrid feedback 11.00 -- 11.30 M.S. Branicky, MIT, USA General hybrid dynamical systems: modeling, analysis, and control 11.30 -- 12.00 T.I. Seidman, University of Maryland Baltimore County, USA The residue of model reduction Invited Session IV Chair: T.A. Henzinger, Cornell University, USA 1.30 -- 2.00 Pei-Hsin Ho, INTEL, USA Automatic analysis of hybrid systems 2.00 -- 2.30 N. Halbwachs, VERIMAG, France Verification of linear hybrid systems by means of convex approximations 2.30 -- 3.00 R. Alur, R.P. Kurshan, AT&T Bell Labs, USA Timing analysis with Cospan 3.00 -- 3.30 K.G. Larsen, Aalborg University, Denmark UPPAAL: a tool suite for verification of real-time systems Contributed Session II Chair: A. Benveniste, INRIA-IRISA, France 4.00 -- 4.20 P.E. Caines, Y.-J. Wei, McGill University, Canada On dynamically consistent hybrid systems 4.20 -- 4.40 V.D. Dimitriadis, N. Shah, C.C. Pantelides, Imperial College, UK Optimal design of hybrid controllers for hybrid process systems 4.40 -- 5.00 L.E. Holloway, University of Kentucky at Lexington, USA On-line fault monitoring of hybrid systems using templates with dynamic time scaling 5.00 -- 5.20 X. Qiwen, H. Weidong, The United Nations University, Macau Hierarchical design of a chemical concentration control system 5.20 -- 5.40 J.-E. Str\"omberg, S. Nadjm-Tehrani, Link\"oping University, Sweden Switched bond graphs as front-end to formal verification of hybrid systems 5.40 -- 6.00 W. Ji, H. Weidong, The United Nations University, Macau Formal specification of stability in hybrid control systems 7.00 -- 10.00 Banquet Tuesday, October 24 Invited Lecture III Chair: E. Sontag, Rutgers University, USA 8.30 -- 9.30 R. Brockett, Harvard University, USA Resource allocation for real-time control Invited Session V Chair: R.P. Kurshan, AT&T Bell Labs, USA 10.00 -- 10.30 C. Heitmeyer, Naval Research Laboratory, USA The role of continuous and discrete variables in analyzing requirements specifications 10.30 -- 11.00 O. Maler, VERIMAG, France, A. Pnueli, The Weizmann Institute of Science, Israel Asynchronous circuits and timed automata 11.00 -- 11.30 D. Sinclair, Dublin City University, Ireland Validation of hybrid systems by co-simulation 11.30 -- 12.00 S. Narain, Bellcore, USA Proofs from temporal hypotheses via symbolic simulation Invited Session VI Chair: B. Krogh, Carnegie Mellon University, USA 1.30 -- 2.00 P. Ramadge, Princeton University, USA On-line decision rules in hybrid control systems 2.00 -- 2.30 V.K. Garg, D. Cofer, The University of Texas at Austin, USA On controlling timed discrete event systems 2.30 -- 3.00 M.A. Shayman, University of Maryland at College Park, USA, R. Kumar, University of Kentucky at Lexington, USA Modeling and control of discrete event systems via process objects and masked composition 3.00 -- 3.30 R. Kumar, University of Kentucky at Lexington, USA, M.A. Shayman, University of Maryland at College Park, USA Supervisory control of real-time systems using prioritized synchronization Contributed Session III Chair: J. Guckenheimer, Cornell University, USA 4.00 -- 4.20 A. Puri, P. Varaiya, University of California at Berkeley, USA, V. Borkar, Indian Institute of Science, India Epsilon-approximation of differential inclusions 4.20 -- 4.40 T.A. Henzinger, H. Wong-Toi, Cornell University, USA Linear phase-portrait approximations for nonlinear hybrid automata 4.40 -- 5.00 K. Cerans, J. Viksna, University of Latvia, Latvia Deciding reachability for planar multi-polynomial systems 5.00 -- 5.20 I. Hoffmann, K.-U. Klatt, University of Dortmund, Germany Modeling hybrid dynamical systems 5.20 -- 5.40 M. Kourjanski, P. Varaiya, University of California at Berkeley, USA Stability of hybrid systems 5.40 -- 6.00 H.S. Park, Kangwon National University, Korea, Y.S. Kim, W.H. Kwon, Seoul National University, Korea Model and stability of hybrid systems 8.30 -- 10.00 Panel Discussion Hybrid Systems Research: Achievements, Problems, and Goals Moderators: T.A. Henzinger, Cornell University, USA E. Sontag, Rutgers University, USA Panelists: J. Guckenheimer, Cornell University, USA R.P. Kurshan, AT&T Bell Labs, USA A. Nerode, Cornell University, USA M. Reed, Oxford University, UK J. Sifakis, VERIMAG, France P. Varaiya, University of California at Berkeley, USA Wednesday, October 25 Invited Lecture IV Chair: A. Pnueli, The Weizmann Institute of Science, Israel 8.30 -- 9.30 N. Lynch, MIT, USA Modelling and verification of automated transit systems, using timed automata, invariants and simulations Invited Session VII Chair: H.J. Sussmann, Rutgers University, USA 10.00 -- 10.30 C.G. Cassandras, University of Massachusetts at Amherst, USA Optimal control problems in hybrid systems with some manufacturing applications 10.30 -- 11.00 P. Antsaklis, University of Notre Dame, USA Hybrid control using Petri net feedback controllers 11.00 -- 11.30 B. Krogh, Carnegie Mellon University, USA, J. Cury, Univ. Fed. Santa Catarina, Brazil, T. Niinomi, Mitsubishi Heavy Industries, Japan Control of hybrid systems using finite state approximations 11.30 -- 12.00 S. Bailey, R.L. Grossman, L. Gu, D. Hanley, University of Illinois at Chicago, USA The analysis, design, and control of hybrid systems using persistent object stores Invited Session VIII Chair: F.B. Schneider, Cornell University, USA 1.30 -- 2.00 N. Lynch, MIT, USA, F. Vaandrager, CWI, The Netherlands I/O automaton models for hybrid systems 2.00 -- 2.30 Z. Chaochen, Technical University of Denmark, Denmark A formal theory of limits of durations 2.30 -- 3.00 A.P. Ravn, Technical University of Denmark, Denmark Detecting interesting events 3.00 -- 3.30 A. Bouajjani, VERIMAG, France On the verification of duration properties Contributed Session IV Chair: M. Reed, Oxford University, UK 4.00 -- 4.20 C. Bett, M. Lemmon, University of Notre Dame, USA H-infinity gain schedule synthesis of supervisory hybrid control systems 4.20 -- 4.40 A. Savkin, R.J. Evans, University of Melbourne, Australia, I.R. Petersen, Australian Defence Force Academy, Australia A new approach to robust control of hybrid systems 4.40 -- 5.00 J. Raisch, S. O'Young, University of Stuttgart, Germany A DES approach to control of hybrid dynamical systems 5.00 -- 5.20 K.G. Larsen, Aalborg University, Denmark, P. Pettersson, W. Yi, Uppsala University, Sweden Diagnostic model-checking for real-time systems 5.20 -- 5.40 Y. Zhang, A.K. Mackworth, University of British Columbia, Canada Specification and verification of dynamic systems by timed forall-automata 5.40 -- 6.00 K.G. Larsen, Aalborg University, Denmark, B. Steffen, University of Passau, Germany, C. Weise, Technical University of Aachen, Germany Fischer's protocol revisited: a simple proof using modal constraints This workshop is 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 this workshop is SYCON, a Rutgers University Center dedicated to research in control theory and closely associated topics. Organizing Committee Rajeev Alur (alur@research.att.com) Thomas A. Henzinger (tah@cs.cornell.edu) Eduardo Sontag (sontag@control.rutgers.edu) Program Committee Rajeev Alur, co-chair (AT&T Bell Labs, USA) Albert Benveniste (INRIA-IRISA, France) John Guckenheimer (Cornell University, USA) Thomas A. Henzinger, co-chair (Cornell University, USA) Bruce Krogh (Carnegie Mellon University, USA) Amir Pnueli (The Weizmann Institute of Science, Israel) Peter Ramadge (Princeton University, USA) Shankar Sastry (University of California, Berkeley, USA) Fred B. Schneider (Cornell University, USA) Eduardo Sontag, co-chair (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 Vardi (vardi@cs.rice.edu) GENERAL WORKSHOP INFORMATION ------------------------------------------------------------------------------ Registration Please email the enclosed registration form to Pat Toci at toci@dimacs.rutgers.edu (908-445-5930). There is no registration fee. Travel and hotel information It is recommended that participants arriving by plane fly into Newark Airport. Flying into Kennedy or La Guardia can add more than an hour to the travel time to DIMACS. DIMACS has successfully and quite pleasantly used the Comfort Inn and the Holiday Inn, both in South Plainfield, New Jersey--they are next to each other. The Comfort Inn gives participants of DIMACS workshops the special rate of $47.00 ($52.00 if two guests share a room), and the Holiday Inn gives DIMACS the special rate of $60.00 per room (includes a continental breakfast). The Comfort Inn's phone number is 908-561-4488. The Holiday Inn's phone number is 908-753-5500. The Comfort Inn provides free van service to and from Newark Airport. You need to give them a 24-hour notice. To travel between Newark Airport and the Holiday Inn, we recommend ICS Van Service, 800-225-4427 (for inside the United States) or 908-566-0795. The rate is $23.00 per person. It must be booked in advance. From the New York airports, participants may take the Grayline Air (bus) Shuttle (800-451-0455) to Newark Airport, and then ICS Van service from there. The first day of the workshop (October 22) will be held at the Holiday Inn. All workshop events on October 23-25 will take place at DIMACS, located in the CoRE Building of Rutgers University, Busch Campus, in Piscataway, New Jersey. Both the Comfort Inn and the Holiday Inn provide free van service to and from DIMACS. Participants arriving to DIMACS by car need a parking permit. Parking permits will be available in the hotels and at the registration table. Please be sure to park in Lot 64. For further questions regarding local transportation and accomodations, or to obtain detailed driving directions to the hotels and to DIMACS, contact Pat Toci at toci@dimacs.rutgers.edu (908-445-5930). Up-to-date information is also available at the DIMACS web page http://dimacs.rutgers.edu. Full-time students The participation of graduate students at the workshop is strongly encouraged. DIMACS provides funds to partially reimburse the cost of travel and accommodation for students. If you are a full-time student and wish to be considered for travel support, please mark the registration form appropriately. (The support level per person will depend on the number of student participants.) REGISTRATION FORM ============================================================================== Please mail or email this registration form to toci@dimacs.rutgers.edu. DIMACS Workshop Registration Form Verification and Control of Hybrid Systems October 22-25, 1995 Name: .................................. Title: ................................. Affiliation: ........................... Student? .... Address: ............................... ......................................... ......................................... Phone: ................................. Fax: ................................... Email: ................................. Will you want to give a software demo? Yes .... No .... Other special needs, such as dietary restrictions: .......................... .............................................................................. ============================================================================== ------------------------------------------------------------------------------ Message 12; Postmarked Mon Sep 18 17:30:31 1995 From: iceccs95@homer.njit.edu (iceccs95 A. Stoyenko) Subject: Synopsis of ICECCS95 Content-Length: 3743 Dear Friends, Attached is a brief summary of the program for ICECCS'95, the First IEEE International Conference on Engineering of Complex Computer Systems, to be held in Fort Lauderdale, Florida, 6 - 10 November. This short note also gives details of how to fetch the full program and registration details via the World-Wide Web, anonymous FTP, or via e-mail. This is the inaugural conference of the TSC, and your support is greatly appreciated. We hope to see as many of you as possible there. Regards, -- Mike Hinchey ICECCS'95 Publicity Chair. ICECCS'95 First IEEE International Conference on Engineering of Complex Computer Systems Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP Westin Cypress Creek Hotel, Ft. Lauderdale, Florida, USA November 6--10, 1995 Sponsored by: IEEE Computer Society in cooperation with IFAC COMPUT Scope and Description: Complex computer systems are becoming common in many ---------------------- sectors. Such systems frequently include distributed, heterogeneous networks, and are driven by requirements on performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, etc. Many requirements conflict, and their satisfaction requires managing tradeoffs among them during system development and throughout the entire system life. ICECCS'95 will bring together industrial, academic and government researchers, practitioners, tool developers and users, to examine how various disciplines interact, to address long-term research, and to examine the requirements of complex systems, and promising and commercially available tools. Keynote Speakers: ----------------- Professor David Lorge Parnas, McMaster University Admiral George Huchting, United States Navy Honorable Anita K. Jones, Director Defense, Research & Engineering Remi Bourgonjon, Philips Research Technical Program includes 33 full papers and 75 short papers from academia, ----------------- industry and government sectors of 20 countries, and two panels of high current interest: - "Can the traditional hirearchical design be used effectively in engineering of complex systems?" - "Technical & other factors affecting complex computer systems: a practitioner's view" Exhibits of state-of-the-art ECCS tools currently include: -------- - Nu Thena Systems, Inc - George Mason University - Telelogic Inc. - Advanced Systems Technology, Inc. - Virtual Prototypes, Inc. - Alphatronix, Inc. - Carnegie Mellon University - Imperial College, UK Tutorials are planned, subject to demand: --------- - "Formal Methods for Reactive Systems (The Comparative Case Study "Production Cell"), C. Lewerentz and Th. Lindner - "Real-Time Image Processing I", P. Laplante - "Real-Time Image Processing II", E.R. Dougherty - "Object-Oriented Domain Analysis for Complex Systems: Reuse, Obstacles and Possible Solutions", M. Aksit - "Middleware Platforms for Distributed Applications", B.J. Kraemer - "Distributed Multimedia Systems and Applications", B. Furht - "Heterogeneous Processing: Concepts and Systems", V.M. Milutinovic - "Software Design Methods for Concurrent and Real-Time Systems", H. Gomaa - "Software Quality Evaluation and Certification", H.-L. Hausen - "Concepts and Design of Group-Oriented Systems", P. Verissimo - "Formal Methods: Why? What? How?", N. Dean, D. Gries and M.G. Hinchey Detailed information is available via ------------------- WWW: http://rtlab12.njit.edu:8000/rtcl_pub_html/Mosaic/act/iceccs95.html anonymous FTP: ftp://ftp.cl.cam.ac.uk/IEEE-TSC-ECCS/program.ascii e-mail requests: iceccs95@homer.njit.edu ------------------------------------------------------------------------------ Message 13; Postmarked Tue Sep 19 05:07:28 1995 From: toda@etlca0.etl.go.jp (Kenji Toda) Subject: Prog & Info on RTCSA95 in Japan Content-Length: 19529 =============== ADVANCE PROGRAM =============== Second International Workshop on Real-Time Computing Systems and Applications (RTCSA'95) Held Jointly with Youth Forum in Computer Science and Engineering (YUFORIC) October 25-27, 1995 Kitashinkan Hall, Keio Univ. Tokyo, Japan -------------------- October 24 (Tuesday) 17:00 Registration at the Art Hotels Ohmori -- 19:00 -------------------- October 25 (Wednesday) RTCSA'95 8:15 Registration at Kitashinkan Hall, Keio Univ. 9:00 Opening Remarks Mario Tokoro (Keio Univ., Japan) Kane Kim (UC Irvine, USA) Kern Koh (Seoul National Univ., Korea) Kenji Toda (ETL, Japan) 9:15 Invited Talk 1 "The Many Faces of Multi-Level Real-Time Scheduling" Jack Stankovic (Univ. of Massachusetts, USA) 9:55 Session 1: Caches and Storage Management "The Impact of Extrinsic Cache Performance on Predictability of Real-Time Systems" Jose Vicente Busquets-Mataix and Juan Jose Serrano-Martin (Universidad Politecnica de Valencia, Spain) "Real-Time Aspects of Cluster Based Caches" (short) O. Hammami (Univ. of Aizu, Japan) "An Algorithm with Constant Execution Time for Dynamic Storage Allocation" (short) Takeshi Ogasawara (IBM Japan, Japan) 10:50 Break 11:05 Session 2: Networks and Communication I "A Bandwidth Reallocation Scheme for Ethernet-Based Real-Time Communication" Junghoon Lee and Heonshik Shin (Seoul National Univ., Korea) "The Effect of Different Packet Size in a Time-Token Protocol Network that Supports Real-Time Applications" Joseph K. Y. Ng (Hong Kong Baptist Univ, Hong Kong) "Performance Analysis of Real-Time Message Delivery in FDDI Networks" P. H. H. Tsang, J. Ng, E. Chan, and C. H. Lee (City Univ. of Hong Kong, Hong Kong) 12:20 Lunch 13:40 Invited Talk 2 "Real-Time Database Systems: Present and Future" Sang Hyuk Son (Univ. of Virginia, USA) 14:20 Session 3: Scheduling I "Real-Time Scheduling of Tasks that Contain the External Blocking Intervals" In-Guk Kim (Dankook Univ., Korea), Kyung-Hee Choi, Seung-Kyu Park, Dong-Yoon Kim, and Man-Pyo Hong (Ajou Univ., Korea) "Scheduling Real-Time Transactions with Dynamic Values: A Performance Evaluation" Shin-Mu Tseng (National Chiao Tung Univ., ROC), Y. H. Chin (National Tsing Hua Univ., ROC), and Wei-Pang Yang (National Chiao Tung Univ., ROC) "A Soft Aperiodic Task Scheduling Algorithm in Dynamic-Priority Systems" (short) Sungyoung Lee, Hyungill Kim (Kyunghee Univ., Korea), and Jongwon Lee (Korea Telecom, Korea) "A Generalized Utilization Bound Test for Fixed-Priority Real-Time Scheduling" (short) Dong-Won Park (PaiChai Univ., Korea), Swaminathan Natarajan (Xerox Corp, USA), Arkady Kanevsky (MITRE Corp., USA), and Myung Jun Kim (Chungbuk National Univ., Korea) 15:40 Break 15:55 Session 4: Operating Systems "A Timeliness-Guranteed Kernel Model -- DREAM Kernel -- and Implementation Techniques" K. H. (Kane) Kim, Luiz Bacellar, Yuseok Kim, Chittur Subbaraman, Hankil Yoon (UC Irvine, USA), Jungguk Kim (HUFS, Korea), and Kee-Wook Rim (ETRI, Korea) "Experiences with Building a Continuous Media Application on Real-Time Mach" Hiroshi Tezuka (Real World Computing Partnership, Japan) and Tatsuo Nakajima (JAIST, Japan) "Dynamic Code Binding for Scalable Operating System in Distributed Real-Time Systems" (short) Boo-Geum Jung, Young-Jun Cha, Hyung-Hwan Kim, Sung-Ik Jun, and Ju-Hyun Cho (ETRI, Korea) 17:00 Break 17:15 Session 5: Databases "Virtual Deadline Assignment in Distributed Real-time Database Systems" Victor C. S. Lee, Kam-yiu Lam, and Sheung-lun Hung (City Univ. of Hong Kong, Hong Kong) "Object-Oriented Design of Main-Memory DBMS for Real-Time Applications" S. K. Cha, B. D. Park, S. J. Lee, S. H. Song, J. H. Park (Seoul National Univ., Korea), J. S. Lee, S. Y. Park, D. Y. Hur (ETRI, Korea), and G. B. Kim (Pohang Iron & Steel Company, Korea) "Performance Evaluation of a Firm Real-Time DataBase System" Stuart Shih, Young-Kuk Kim, and Sang H. Son (Univ. of Virginia, USA) "Real-Time Mobile Data Management Using a Minimal MMDB" (short) Eun-Hee Hyun and Sung-Hee Kim (ETRI, Korea) 18:45 Reception -- 19:20 -------------------- October 26 (Thursday) RTCSA'95 8:15 Registration at Kitashinkan Hall, Keio Univ. 9:00 Invited Talk 3 "Fundamental Conflicts in the Design of Real-Time Protocols" Herman Kopetz (Technical Univ. of Vienna, Austria) 9:40 Session 6: Systems and Architectures "Issues in Using Heterogeneous HPC Systems for Embedded Real Time Signal Processing Applications" Prashanth B. Bhat, Young W. Lim, and Viktor K. Prasanna (Univ. of Southern California, USA) "Constructing Distributed Real-Time Systems with DROL Real-Time Objects" Kazunori Takashio (The Univ. of Electro-Communications, Japan), Hidehisa Shitomi (Keio Univ., Japan), and Mario Tokoro (Keio Univ./Sony CSL, Japan) "Performance Comparison of Real-Time Architectures Using Simulation" Heejo Lee (Pohang Univ. of Sci. and Tech., Korea), Kenji Toda (ETL, Japan), Jong Kim (Pohang Univ. of Sci. and Tech., Korea), Kenji Nishida, Eiichi Takahashi, and Yoshinori Yamaguchi (ETL, Japan) 10:55 Break 11:10 Session 7: Predictability Enhancements "Real-Time Scalability of Nested Spin Locks" Hiroaki Takada and Ken Sakamura (Univ. of Tokyo, Japan) "The Generated Order Preserving Real-Time Garbage Collection" Hiroshi Koide (The Univ. of Electro-Communications, Japan) "Improved Performance Model of a Real-Time Software Element: The Producer-Consumer" (short) Carlos Juiz and Ramon Puigjaner (Universitat de les Illes Balears, Spain) 12:15 Lunch 13:40 Invited Talk 4 "The Middleware Services for Industrial Computer Systems" Morikazu Takegaki (Mitsubishi Elec. Corp., Japan) 14:20 Session 8: Formal Methods and Fault Tolerance "Comparing Formal Specifications by Measuring" J. van Katwijk and W. J. Toetenel (Delft Univ. of Technology, The Netherlands) "Verification System for Real-Time Specification Based on Extended Real-Time Logic" (short) Satoshi Yamane (Shimane Univ., Japan) "A New Fault-Tolerant Scheduling Technique for Real-Time Multiprocessor Systems" Tatsuhiro Tsuchiya, Yoshiaki Kakuda, and Tohru Kikuno (Osaka Univ., Japan) "Efficient NMRCD Scheme for Fault Tolerance in Responsive Systems" (short) Christopher P. Fuhrman, Sailesh Chutani, and Henri J. Nussbaumer (Swiss Federal Inst. of Technology, Switzerland) 15:40 Break 15:55 Session 9: Scheduling II "Allocation and Scheduling of Real-Time Periodic Tasks with Relative Timing Constraints" Sheng-Tzong Cheng and Ashok K. Agrawala (Univ. of Maryland, USA) "Optimal Server Allocation for Real Time Computing Systems with Bursty Priority Jobs" Sungcheol Hong (Korea Telecom, Korea) "A Processor Reservation System Supporting Dynamic QOS Control" Hiroshi Fujita, Tatsuo Nakajima, and Hiroshi Tezuka (JAIST, Japan) "Scheduling Hard-Realtime Parallel Tasks onto the Processor Network with Wrapped Mesh Topology" Yasuhiro Kokusho (Fujitsu Lab., Japan) and Norihisa Doi (Keio Univ., Japan) 17:35 Break 17:50 Session 10: Networks and Communications II "Real-Time Bus and Task Allocation for a Multiprocessor Based Programmable Controller" Gab Seon Rho and W. H. Kwon (Seoul National Univ., Korea) "Real-Time Communication in Plant Monitoring/Controlling Systems with ATM Networks" Ichiro Mizunuma, Satoshi Horiike, and Morikazu Takegaki (Mitsubishi Elec. Corp, Japan) "An Application of Real-Time IPC Controller Based ATM Cell" (short) Hee-Sook Park, S. J. Moon, H. G. Yeo, and K. S. Song (ETRI, Korea) 19:00 Banquet -- 21:00 -------------------- October 27 (Friday) YUFORIC + RTCSA'95 8:15 Registration at Kitashinkan Hall, Keio Univ. 9:00 Greeting from YUFORIC Organizer Yoshiaki Kakuda (Osaka Univ., Japan) 9:05 Invited Talk 5 "Operating System Support for Continuous Media Applications -- RT-Mach Extensions" Hideyuki Tokuda (Keio Univ., Japan / CMU, USA) 9:45 Panel Session "Future Trends in Real-Time Networking" Chair: Heonshik Shin (Seoul National Univ., Korea) 11:15 Technical Presentations -- 15:10 15:50 Visit to NTT Kasumigaseki Communication Center -- 17:00 ======================================================================== RTCSA'95/YUFORIC REGISTRATION FORM October 25-27, 1995 Kitashinkan Hall, Keio Univ. Tokyo, Japan To register, please FAX or MAIL this form to: RTCSA95 Registration, c/o TRON Association, Katsuta Bldg. 5F, 1-3-39 Mita, Minato-ku, Tokyo 108, JAPAN (FAX: +81-3-3454-3224). (Please check appropriate registration) RTCSA'95 + YUFORIC __ YUFORIC __ (Please type or print) Choose your title: Prof. Dr. Mr. Ms. Name (Last, First, MI): Affiliation: Address: City/State/ZIP: Country: Phone: FAX: E-mail: IEEE/IEEE CS/IEICE/IPSJ/KISS/TRON Association Member Number: ------------------------------ REGISTRATION FEES RTCSA95 + YUFORIC (October 25-27): Advance (before October 7) Late (after October 8) Member: 34,000Yen (or US$350) 38,000Yen (or US$400) Non-member: 43,000Yen (or US$450) 48,000Yen (or US$500) Full-time student member: 10,000Yen (or US$100) 15,000Yen (or US$150) Full-time student: 12,000Yen (or US$120) 18,000Yen (or US$180) * Member fees apply to IEEE/IEEE CS/IEICE/IPSJ/KISS/TRON Association Member. * The registration except full-time students includes a copy of proceedings, coffee-breaks, one reception, and one banquet. A banquet is not included in the full-time student registration. Students who wish to attend a banquet must purchase a banquet ticket. * Early registrations must be received until October 7th. YUFORIC only (October 27): Advance (before October 7) Late (after October 8) Member: 5,000Yen (or US$52) 7,000Yen (or US$73) Non-member: 7,000Yen (or US$73) 9,000Yen (or US$94) Full-time student member: complementary complementary Full-time student: 2,000Yen (or US$21) 2,500Yen (or US$26) * Member fees apply to IEEE and IEEE CS members only. * The registration includes coffee-breaks. * Early registrations must be received until October 7th. BANQUET: I wish to purchase ( ) banquet tickets at 6000Yen (or US$60) each, to a total of: * The registration except full-time students includes a banquet. TOTAL: I am enclosing the total of: VISIT TO NTT KASUMIGASEKI COMMUNICATION CENTER: I wish to visit NTT Kasumigaseki Communication Center: Yes No * Due to the limit of the number of visitors, we may not be able to accept all the applications. ------------------------------ Please attach the exact payment in one of the following forms. 1. A check payable on a Japanese bank and written to "RTCSA95". 2. A proof of direct transfer to Sumitomo Bank with the following. Account Name RTCSA95 Bank Name Sumitomo Bank Branch Name Shiba Branch Account No. Ordinary Acct. No.598721 3. Credit card payment (VISA or MasterCard only) Total: Yen VISA __ MasterCard __ Credit Card Number: Expiration Date: Card Holder's Name: Signature: * If you select credit card payment, you must pay in Japanese Yen. * We recommend the attendances from Japan to pay with direct bank transfer. For any questions, send E-mail to RTCSA'95 Registration Chair, Hiroaki Takada (E-mail: hiro@is.s.u-tokyo.ac.jp) or send fax to RTCSA95 Registration, c/o TRON Association (FAX: +81-3-3454-3224). ======================================================================== RTCSA'95/YUFORIC HOTEL RESERVATION FORM The Art Hotels Ohmori Tokyo, Japan To register with the hotel, please FAX or MAIL this form to: The Art Hotels Ohmori, JAPAN (FAX: +81-3-3766-7201, TEL: +81-3-3766-7001). The RTCSA'95/YUFORIC special rates are 9000Yen/15000Yen for a single/twin room per night (plus local tax (3%); breakfast and service charges included). These rates are in effect three days before through two days after the meeting. There is a cutoff date of October 7th, after which the hotel is not obligated to accommodate guests at this rate. * Bus service will be arranged from/to the Art Hotels Ohmori to/from Kitashinkan Hall, Keio Univ. during the workshop period. (Please type or print) ----------------------------cut here------------------------------------ ART HOTELS OHMORI ROOM RESERVATION (RTCSA'95/YFORIC) +------------------+----------------------------------------------------+ |GUEST NAME | | |(Last, First, MI) | | +------------------+----------------------------------------------------+ |ROOM TYPE | Single | |(circle or mark) | Twin | +------------------+----------------------------------------------------+ |NO. OF PERSONS | | | | | +------------------+----------------------------------------------------+ |ARRIVAL DATE | | | | | +------------------+----------------------------------------------------+ |DEPARTURE DATE | | | | | +------------------+----------------------------------------------------+ |TEL | | |FAX | | +------------------+----------------------------------------------------+ |AFFILIATION | | |ADDRESS | | |(City/State/ZIP) | | |(Country) | | +------------------+----------------------------------------------------+ ART HOTELS OHMORI 6-19-3 MINAMIOHI SHINAGAWA-KU TOKYO 140, JAPAN TEL +81-3-3766-7001 (03-3766-7001 in Japan) FAX +81-3-3766-7201 (03-3766-7201 in Japan) ======================================================================== GENERAL INFORMATION YUFORIC: The aim of Youth Forum in Computer Science and Engineering (YUFORIC) is to provide an opportunity for students and young researchers to come together and exchange ideas to further develop their studies. The seminar will provide a forum for stimulated exchanges between students and young researchers with an aim to advancing future research activities. As well students participants will have the extra opportunity to experience an inside view of the present research carried out in the professional community. The second YUFORIC is held jointly with RTCSA'95 to discuss the common theme real-time technology and applications. NTT Kasumigaseki Communication Center is a showroom of NTT's advanced tele-communication technologies and will show you the new styled tele-communication of the coming multimedia-era with some examples and applications. It consists of the Public Zone, Personal Zone, Business Zone, and the R&D Zone. English and Japanese guidance courses are available. Passport & Visa: Every foreign visitor entering Japan must possess a valid passport and visa. Contact the nearest Japanese diplomatic or consular mission abroad for further information. Currency: The unit of currency is Japanese Yen. There are banknotes for 1000, 5000, and 10000 Yen and coins is denominations of 1, 5, 10, 50, 100, and 500 Yen. Exchange rates rapidly fluctuate. One US dollar is equivalent to 95 - 100 Yen as of September 1995. Transportation: From New Tokyo International Airport (Narita), take the N'EX (Narita Express) of JR line or the Keisei Skyliner express train. Change trains at the Tokyo Station (N'EX) or the Ueno Station (Keisei) to JR Keihin-Tohoku Line. Take off the train at the Ohmori Station (for the Art Hotels Ohmori) or at the Tamachi Station (for Kitashinkan Hall, Keio Univ.). With either route, it takes about two hours from the airport to the hotel. We do not recommend you to use a taxi from the airport, because it is quite expensive (about 25,000 - 30,000 Yen). ======================================================================== RTCSA'95 Organization --------------------- General Co-Chairs: Mario Tokoro (Keio U./Sony CSL, Japan) Kane Kim (UC Irvine, USA) Program Co-Chairs: Kern Koh (Seoul Nat'l U., Korea) Kenji Toda (ETL, Japan) 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) ======================================================================== YUFORIC Organization --------------------- YUFORIC Organizer: Yoshiaki Kakuda, Osaka University, Japan Program Committee: Masahito Hirakawa, Hiroshima University, Japan Kenji Ishida, Hiroshima Prefectural University, Japan Yoshiaki Kakuda (Chair), Osaka University, Japan Hermann Kopetz, Technical University of Vienna, Austria Miroslaw Malek, Humboldt University, Germany Shuichi Matsumoto, KDD, Japan Al Mok, University of Texas, Austin, U.S.A. Morikazu Takegaki, Mitsubishi Electric Co., Japan Kenji Toda, MITI Electrotechnical Lab., Japan Mario Tokoro, Keio University / SONY, Japan Hideyuki Tokuda, Keio University / CMU, Japan / U.S.A. Tetsuo Wasano, ATRI, Japan Tomohiro Yoneda, Tokyo Institute of Technology, Japan ======================================================================== RTCSA'95 Home Page: For further information, access the RTCSA'95 Home Page at "http://tron.is.s.u-tokyo.ac.jp/RTCSA95/". ------------------------------------------------------------------------------ Message 14; Postmarked Thu Sep 21 09:28:23 1995 From: zalewski@db.erau.edu (Janusz Zalewski) Subject: Second IFAC Workshop on Safety and Reliability Content-Length: 11055 Second IFAC Workshop on Safety and Reliability in Emerging Control Technologies * Where Academia and Industry Meet * Adam's Mark Resort Daytona Beach, Florida, USA 1-3 November 1995 Sponsored by: IFAC (International Federation of Automatic Control) TC on Safety of Computer Control Systems in cooperation with IFIP WG5.4 on Industrial Software Quality & Certification IFIP WG10.4 on Dependable Computing & Fault Tolerance IEEE Control Systems Society IEEE Computer Society TC on Real-Time Systems TC on Engineering of Computer-Based Systems TSC on Engng of Complex Computer Systems ISA -- Instrument Society of America Divisions of Aerospace Industries; Analysis; Chemical & Petroleum Industries; Process Measurement & Control EWICS TC7 on Reliability, Safety & Security System Safety Society -- Florida Chapter Organized by Embry-Riddle Aeronautical University in cooperation with Lawrence Livermore National Laboratory on behalf of the American Automatic Control Council ----------------------------------------------------------------------------- PRELIMINARY PROGRAM *********************** November 1, 1995, Wednesday *********************** 8:45--9:00 Opening S.M. Sliwa, President, Embry Riddle Aeronautical University 9:00--10:20 Software Safety N. Leveson, U. of Washington, SESSION KEYNOTE, System Safety Approaches Applied to Software P. Goehner, IST GmbH, Specification and Verification of Safe Software Systems (Invited) P. Jalote, Y. Huang. C. Kintala, Indian Institute of Technology & Bell Laboratories, A General Framework for Building Dependable Software (Invited) M. Iglewski, J. Madey, U. de Quebec & U. of Warsaw, Software Engineering Issues Emerged from Critical Control Applications (Invited) 10:40--12:00 Hardware Safety J. Sosnowski, Warsaw U. of Technology, Hardware Fault Tolerance: Its Role in Achieving Safety (Invited) B. Bose, Derivation Systems Inc., DRS -- Derivational Reasoning System for H/W Synthesis (Invited) P. Miner, NASA Langley, Defining the IEEE 854 Floating Point Standard in PVS (Invited) M. Wilding, CLI Inc., A Detailed Processor Model for Verification of Real-Time Applications 13:00--14:00 Medical Devices J. Orkiszewski, Coherent Inc., H/W & S/W Development for Safety-Related Medical Devices (Invited) P. Hsia et al., U. of Texas--Arlington, A Usage-Model Based Approach to Test Therac-25 R.V. Vishnuvajjala et al., University of Minnesota & Cardiac Pacemakers, Monitoring Interval Properties in Real-Time Systems 14:20--15:40 Nuclear Industries C.M. Waite, Public Service Electric & Gas, Digital Equipment and Nuclear Plant Safety (Invited) P.A. Barrett, A. Saeed, U. of Newcastle, An Approach to the Specification and Verification of Reactor Control and Protection Systems G.H. Chisholm, Argonne National Laboratory, A Total Systems Approach to the Design of Dependable Systems E. Siddall, U. of Waterloo, Highly Reliable Systems: Hardwired or Computerized 16:00--17:00 Tools C. Heitmeyer, Naval Research Laboratory, Software Cost Reduction (SCR) Toolset (Invited) W. Persons, Lawrence Livermore Nat'l Lab, Safety Evaluation & Analysis Tool (Invited) R. Strong, Safety Analysis Systems Company, COSMIC -- Software for System Safety Analysis *********************** November 2, 1995, Thursday *********************** 9:00--10:20 Formal Methods in Control L. Motus, M. Rodd, Tallin U. & U. of Swansea, SESSION KEYNOTE The Impact of Timing Correctness on System Safety K. Brink et al., Delft U. of Technology, Formal Specification in Control Systems Development T. Uraoka, A. Ohsuga, S. Honiden, Toshiba, Automatic Verification of Diagrams Consistency for Process Control J. Zalewski, Embry-Riddle Aeronautical U., Real-Time Safety-Critical Systems: An Overview 10:40--12:00 Specification and Analysis C. Whetton, Ility Engineering, Sneak Analysis: Developments and Extensions to Process Safety (Invited) N. Levy, CRIN & INRIA, Improving Proplane: A Specifications Development Framework S. Yamane, Shimane U., Model Checking for Real-Time Specification C.P. Fuhrman, S. Chutani, H.J. Nussbaumer, Ecole Polytechnique Federale de Lausanne, Implementing Multiple Task Modular Redundancy 13:00--14:00 Aerospace Industries J. Hagar, G. Green, Lockheed Martin, Testing Critical Software: Practical Experiences (Invited) C. Atkinson, C. W. McKay, U. of Houston--Clear Lake, An Architecture for Distributed, Non-Stop, Mission and Safety Critical Systems C. Radley, Raytheon, Software Safety at NASA 14:20--15:40 Automotive Industries M. Holcombe, U. of Sheffield, Complete Critical Testing of Safety Critical Systems (Invited) W.P. Milam, Ford Motor Co., Formal Methods in Automotive Industries (Invited) D. Simon, D. Dragotoniu, TRW, Data Acquisition & Analysis for Automotive Air Bag Testing (Invited) J. Voas et al., Reliable Software Technology Corp., Fault Injection Technique in a Software Automobile Control System 16:00--17:00 Other Industries R. de Lemos, A. Saeed, T. Anderson, U. of Newcastle, Safety Analysis for a Chemical Batch Processing Plant Y. Hanawa et al., Toshiba, Supervisory Control of Power Systems: Reliability Improvement J. Pearson, Health and Safety Executive, The Impact of Goal Setting Legislation on the Specification and Design of Safety Systems Offshore *********************** November 3, 1995, Friday *********************** 9:00--10:40 Certification & Licensing W. Halang, Fern-Universitaet Hagen, SESSION KEYNOTE Safety Licensing of Real-Time/Control Software D. Wallace, M. Zelkowitz, Nat'l Institue of Standards and Technology, Role of a Center for High Integrity Software System Assurance (Invited) D. Lawrence, Lawrence Livermore Nat'l Lab, Overview of Software Safety Standards (Invited) L.G. Egan, Software Certification Institute, Certification of Software -- Is This Necessary? M. Weber, System Safety Inc., Evaluation of Programmable Electronic Systems 11:00--12:20 Modeling X. Laufenberg, P. Froehlich, U. of Stuttgart, Modeling of Technical Systems for Purposes of Safety and Hazard Analysis Y-J. Cheng, D. Mosse, S-K. Chang, U. of Pittsburgh, A Framework for Modeling Dependable Real-Time Distributed Systems H.F. Wedde, J.A. Lind, U. of Dortmund, Performance-Driven Design and Analysis for Distributed Mission-Critical Systems R.M. Tol, W.H. Hesselink, W.A. Halang, U. of Groningen, Formal Development of a Task-Oriented Look-Ahead Storage Management 12:20--12:30 Closing Session ------------------------------------------------------------------------------- Registration Form Please fill in the form (typing or printing legibly) and return with payment to the organizers at the following address: Ms. Pat McAllister, IFAC Workshop Dept. of Computer Science Embry-Riddle Aeronautical University 600 S. Clyde Morris Blvd Daytona Beach, FL 32114-3900, U.S.A. Fax: +1 (904) 226-6678 Phone: +1 (904) 226-6690 Email: mcallisp@CTS.db.erau.edu Conference fee (circle one): $230 (regular, before Oct. 15, 1995) $280 (late, on or after Oct. 15, 1995) $80 (student -- any time) Method of payment (circle one): VISA MasterCard Check Credit Card No.: _______________________________ Expiration Date: _______________________________ Signature: _____________________________________ Postal address: _____________________________________________________ _____________________________________________________________________ _____________________________________________________________________ _____________________________________________________________________ _____________________________________________________________________ Phone: ______________________________________________________________ Fax: ______________________________________________________________ Email: ______________________________________________________________ Hotel Reservation For a hotel reservation (the negotiated price is $79 per room/per night, single/double occupancy), please contact the hotel directly, by October 15, 1995, at the following address: Adam's Mark Resort (IFAC Workshop) 100 North Atlantic Avenue Daytona Beach, FL 32118, U.S.A. Fax: +1 (904)257-2285 Phone: +1 (904)254-8200; (800)444-ADAM ------------------------------------------------------------------------------- In case of questions, call +1 (904)226-6690 and ask: The National Organizing Committee: Thomas Hilburn Iraj Hirmanpour Soheil Khajenoori Andrew Kornecki John Wise Janusz Zalewski (Chairman) International Program Committee Greg Suski, USA (Chairman) David Alberico, USA Ron Bell, UK Phil Bennett, UK Bill Bevier, USA Robin Bloomfield, UK Sandro Bologna, Italy Stefan Chwaszczewski, Poland Dan Craigen, Canada John Cullyer, UK Michael DeWalt, USA Wolfgang Ehrenberger, Germany Bernhard Eschermann, Switzerland Robert Genser, Austria Morven Gentleman, Canada Susan Gerhart, USA Wolfgang Halang, Germany Walter Heimerdinger, USA Connie Heitmeyer, USA Rolf Isermann, Germany Paul K. Joannou, Canada Dennis Lawrence, USA 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 William F. Olsen, USA Jerry Ray, USA Felix Redmill, UK Gary W. Robertson, USA Mike Rodd, UK John Rushby, USA Erwin Schoitsch, Austria Marc N. Smotherman, USA Alex Stoyenko, USA Martyn Thomas, UK Udo Voges, Germany Jan Vytopil, The Netherlands John Waclo, USA Dolores Wallace, USA Stephanie White, USA Janusz Zalewski, USA (Secretary) ------------------------------------------------------------------------------- ------------------------------------------------------------------------------ Message 15; Postmarked Thu Jun 29 14:43:48 1995 From: mf3@doc.ic.ac.uk (Marcelo Finger) Subject: CFP: TIME-96 (preliminary CFP) Content-Length: 6463 Bearing in mind the recent interest on temporal issues displayed by the database community, I would like to bring your attention to the following call for papers. My apologies if you receive this message more than once. TIME-96: Third International Workshop on Temporal Representation and Reasoning Key West, Florida, USA May 19-20, 1996 PRELIMINARY CALL FOR PAPERS The purpose of this workshop is to bring together active researchers in the area of temporal representation and reasoning in Artificial Intelligence. Through paper presentations and discussions, the participants will exchange, compare, and contrast results in the area. The workshop is planned as a two day event to immediately precede FLAIRS-96 (Ninth Annual Florida Artificial Intelligence Research Symposium, May 20-22). Workshop participants are also encouraged to submit papers to FLAIRS and attend the conference. The workshop will be conducted as a combination of paper presentations, a poster session, an invited talk, and panel discussions. The format will provide ample time for discussions and exchange of ideas. Submission of high quality papers describing mature results or on-going work are invited for all areas of temporal representation and reasoning, including, but not limited to: temporal logics and ontologies temporal languages and architectures continuous versus discrete time point versus interval representations expressive power versus tractability belief and uncertainty in temporal knowledge temporal databases and knowledge bases temporal learning and discovery reasoning about actions and events time and nonmonotonism time and constraints time in problem solving (e.g. diagnosis, qualitative physics,...) multiple agents, communication, and synchronization applications To maximize interaction among participants, the size of the workshop will be limited. Accepted papers will be invited for full presentation or a poster presentation. All submissions must be received by December 5, 1995. Notification of acceptance or rejection will be sent to the first author (or designated author) by February 26, 1996. Prospective participants should submit 5 copies of a 6-8 page paper (indicating the selected areas) to: TIME-96 Luca Chittaro and Angelo Montanari Dipartimento di Matematica e Informatica Universita' di Udine Via delle Scienze, 206 33100 Udine -- ITALY Or preferably, submit by anonymous FTP a postscript version of the paper to: bach.dimi.uniud.it (158.110.1.140) directory: pub/time96 After submitting electronically, please communicate the title, area, and authors of the paper by sending an e-mail to time96@dimi.uniud.it (this address can also be used to obtain further information). The TIME-96 workshop has also a web page at: http://www.seas.smu.edu/~mario/time-workshop/welcome.html PUBLICATION All accepted papers will be published in the workshop proceedings. As well, a selected subset of the papers will be invited for inclusion (subject to refereeing) in a book or in a special issue of a journal. ORGANIZATION PROGRAM COMMITTEE Chairs: GENERAL Chairs: Luca Chittaro and Angelo Montanari Scott Goodwin and Howard Hamilton Universita' di Udine, Italy University of Regina, Canada PROGRAM COMMITTEE Frank Anger, University of West Florida, USA Fahiem Bacchus, University of Waterloo, Canada Mark Boddy, Honeywell Systems and Research Center, USA Luca Chittaro (co-chair), Universita' di Udine, Italy Jan Chomicki, Kansas State University, USA Philippe Dague, Universite Paris-Nord, France Tom Dean, Brown University, USA Mark Denecker, K. University Leuven, Belgium Jennifer Elgot-Drapkin, Arizona State University, USA Marcelo Finger, Imperial College, UK Dov Gabbay, Imperial College, UK Malik Ghallab, LAAS-CNRS, France Anthony Galton, University of Exeter, UK Michael Gelfond, University of El Paso, USA Michael Georgeff, Australian AI Institute, Australia Peter Haddawy, University of Wisconsin-Milwaukee, USA Pat Hayes, University of Illinois at Urbana-Champaign, USA Peter Ladkin, University of Stirling, UK Gerard Ligozat, Universite Paris XI, France Angelo Montanari (co-chair), Universita' di Udine, Italy Robert Morris, Florida Institute of Technology, USA Bernhard Nebel, Universitaet des Saarlandes, Germany Don Perlis, University of Maryland, USA Han Reichgelt, University of the West Indies, Jamaica Raymond Reiter, University of Toronto, Canada Mark Reynolds, Imperial College, UK Maarten de Rijke, CWI, The Netherlands Erik Sandewall, Linkoping University, Sweden Marek Sergot, Imperial College, UK Murray Shanahan, Imperial College, UK Peter van Beek, University of Alberta, Canada Andre Trudel, Acadia University, Canada ORGANIZING COMMITTEE Peter Haddawy, University of Wisconsin-Milwauke Robert Morris, Florida Institute of Technology Andre Trudel, Acadia University Peter van Beek, University of Alberta SPONSORING ORGANIZATIONS Sponsorship for TIME-96 is being sought from the American Association for Artificial Intelligence (AAAI), Florida Artificial Intelligence Research Society (FLAIRS), and the University of Udine. SUMMARY OF IMPORTANT DATES December 5, 1995 Submission deadline February 26, 1996 Notification of acceptance April 15, 1996 Camera-ready copy deadline May 19-20, 1996 TIME-96 Workshop May 20-22, 1996 FLAIRS-96 Conference -- ============================================================ Marcelo Finger | email: mf3@doc.ic.ac.uk Department of Computing | phone: (operator) +44 171 589 5111 Imperial College | ext. 48208 180 Queen's Gate | (direct) +44 171 594 8208 London SW7 2BZ, UK | fax: +44 171 594 8201 ============================================================ ------------------------------------------------------------------------------ Message 16; Postmarked Fri Jul 14 12:59:53 1995 From: raja neogi Subject: ICSE'96 SPECIAL SESSION ON REAL-TIME SYSTEMS Content-Length: 4916 CALL FOR PAPERS *************** SPECIAL SESSION ON REAL-TIME SYSTEMS ELEVENTH INTERNATIONAL CONFERENCE ON SYSTEMS ENGINEERING (ICSE '96) UNIVERSITY OF NEVADA, LAS VEGAS 9-11 July 1996 Session Organizer: Sajal Das, University of North Texas, Denton Raja Neogi, Motorola Inc., Austin, Texas This series of International Conferences is jointly organized on a rotational basis among the three Institutions, University of Nevada, Las Vegas, USA the Technical University of Wroclaw, Poland and Coventry University, UK. The 11th International Conference on Systems Engineering takes place at the Howard R. Hughes College of Engineering, University of Nevada, Las Vegas on July 9-11, 1996. The special session on Real-Time Systems is planned to cover various aspects of real-time systems with specific emphasis on multimedia, graphics and associated networking technologies. SPECIAL SESSION PREVIEW: ------------------------ Emerging networked multimedia applications characterized by intense video-signal/graphics processing (100-10K MIPS) and high bandwidth video traffic requirements demand specialized architectures focused on a narrow range of applications to keep the price/performance attribute attractive. The pace at which the marketplace is changing, however, calls for programmable architectures in which a common hardware platform can be used to rapidly develop new silicon solutions based on software development only. It is expected that such software/firmware layer(s) sitting atop specialized real-time kernels will allow enough dynamic reconfiguration/programmability at reasonable price points. In the past, high power-consumption and degraded performance have been the deterring factors for building such systems on silicon. It is expected that recent advances in VLSI technology will foster new research in this direction. Topics of interest include, but are not limited to: Indexing, Accessing and Processing Real-time Media Real-time Image Processing Architectures High-performance Architectures for 2D/3D Graphics Multimedia System Architectures Real-time Operating Systems for Multimedia High-performance Programmable Packet Switching Architectures Real-time Network Routing Specialized Architectures for set-top Decoders / interactive Television Models of Inter-Processor Communication VLSI Implementations Applications of Video Signal Processors SUBMISSION POLICIES: ------------------- Authors are encouraged to submit SIX copies of an abstract of their manuscript (approximately 1000 words) so as to reach to the session chairs on or before December 1, 1995. The abstract, written in English, should be typed double spaced and must be suitable for a technical review. Electronic submission of postscript files is strongly encouraged. Refereeing of abstracts submitted before the deadline date will take place on a regular basis. This will allow early decisions to be taken and should assist authors in their projected planning arrangements. At least one author of an accepted paper in the special session will be expected to attend the conference. (Abstracts, that cannot be accommodated in the special session, will be considered for other related sessions of the conference.) A special issues of a Journal is being planned to publish selected papers from this session. Since conference proceedings will be available for participants, the following deadlines for submission of abstracts/papers should be strictly adhered to. DEADLINES: --------- Submission of Abstracts Dec. 1, 1995 Acceptance Decisions Feb. 15, 1996 Submission of Full Papers Mar. 15, 1996 Please send your abstract for the session on Real-time Systems to: Professor Sajal K. Das Dr. Raja Neogi Department of Computer Science Motorola Inc. University of North Texas P. O. BOX 202873 P.O. Box 13886 Austin, Texas 78720, USA Denton, TX 76203-6886, USA Email: das@cs.unt.edu Email: raja_neogi@email.sps.mot.com Voice: (817) 565-4256 Voice: (512)-933-5401 Fax: (817) 565-2799 Fax: (512)-933-6225 PRELIMINARY ARRANGEMENTS: ------------------------ Conference fees, provisionally estimated at $250, include a copy of the Conference Proceedings, the Conference Banquet, a Civic Reception and lunch on the three conference days. Participants will have the option of being accommodated in the University dormitories at a nominal fee. The Conference fee is exclusive of accommodation charges. The working language of the Conference is English, which will be used for all presentations, discussions and printed material. A full social program for accompanying persons will be organized providing sufficient numbers are interested in participating. ------------------------------------------------------------------------------ Message 17; Postmarked Mon Jul 24 13:23:16 1995 From: broggi@verdi.eng.unipr.it (Alberto Broggi) Subject: Call-for-papers: JOURNAL OF REAL-TIME IMAGING Content-Length: 3938 ============================================================================== CALL FOR PAPERS JOURNAL OF REAL-TIME IMAGING Academic Press Special Issue on Special-Purpose Architectures for Real-Time Imaging Nowadays, a number of different problems are solved through image processing techniques (e.g. industrial inspection, robot guidance, unmanned vehicles,..., to cite only a few examples). The problem of processing images in real-time has been generally addressed and solved through the use of high-performance computer systems, developed ad-hoc to meet the specific requirements of the applications. Serial or parallel architectures have been enhanced through the addition of various bus systems, interprocessor communication networks, and other features explicitly designed to face the hard constraints imposed by real-time processing, such as I/O (data acquisition and output), data communications among processors (in multi-processor systems),... A number of different special-purpose architectures for image analysis have been proposed and developed, but seldom the presentation focuses on the discussion of both the hard real-time requirements (applications) and the hardware solutions which have been chosen (computer architectures). The TOPICS of this Special Issue include, but are not limited to: * Design of application-specific VLSI architectures; * Performance analysis and comparison among different architectural solutions; * Hardware mapping of parallel algorithms; * VLSI architectures for HDTV and image compression; * Hardware support for multimedia systems; * Vision-based real-time robot and vehicle navigation; * Massively parallel architectures for low-level vision; * Hardware neural solutions; * Experience on highly demanding vision applications. Prospective authors are encouraged to submit papers with a strong emphasis on the match between the application requirements and the chosen architectural solutions, detailing the ad-hoc hardware enhancements. Papers should describe systems which have been designed for a specific target application or which have proved to be particularly suited for a given task. MANUSCRIPT SUBMISSION: * Authors should send 5 copies of their full paper (about 15 double-spaced pages) to Alberto Broggi (whose address is indicated below). * The closing date for submission is December 10th, 1995. * Publication is tentatively expected to take place in mid 1996. Accepted manuscripts will need to comply with all author guidelines of Journal of Real-Time Imaging, available upon request from the guest editors or from jrti@rtlab12.njit.edu. GUEST EDITORS: Alberto BROGGI Francesco GREGORETTI Dip. di Ingegneria dell'Informazione Dip. di Elettronica Viale delle Scienze Corso Duca degli Abruzzi University of Parma Polytechnic of Turin I-43100 Parma, Italy I-10129 Turin, Italy Phone: +39-521-905707 Phone: +39-11-5644081 Fax: +39-521-905723 Fax: +39-11-5644099 E-Mail: broggi@CE.UniPR.IT E-Mail: gregor@PoliTO.IT An up-to-date electronic version of this call for papers and related information can be obtained via anonymous FTP from the host CE.UniPR.IT in the directory /rti or via World Wide Web at: http://WWW.CE.UniPR.IT/rti. -- Alberto Broggi phone: +39 (521) 90 5707 Dipartimento di Ingegneria dell'Informazione fax: +39 (521) 90 5723 Universita` di Parma - Viale delle Scienze E-Mail broggi@CE.UniPR.IT I-43100 Parma - Italy http://www.CE.UniPR.IT/people/broggi/ ------------------------------------------------------------------------------ Message 18; Postmarked Wed Jul 26 08:28:22 1995 Subject: AMAST'96 Call for Papers From: scollo@cs.utwente.nl (Pippo Scollo) Content-Length: 6617 ----------------------------------------------------------------------- Call for Papers Fifth International Conference on Algebraic Methodology and Software Technology AMAST '96, July 1-5, 1996, Munich, Germany Goals The major goal of the AMAST Conferences is to put software development technology on a firm, mathematical foundation. Particular emphasis is given to algebraic and logical foundations of software technology. An eventual goal is to establish algebraic and logical methodology as a practically viable and attractive alternative to the prevailing ad hoc approaches to software engineering. Previous meetings of AMAST were held at the University of Iowa (1989 and 1991), the University of Twente (1993) and Concordia University in Montreal (1995). During these meetings, AMAST has attracted an international spread of researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations. In addition, the first day of each conference has been dedicated to Mathematics Education for Software Engineers. Following this successful trend, the fifth AMAST International Conference will be held at the Ludwig-Maximilians-Universitaet, Munich, Germany, from July 1 to July 5, 1996. Submissions As in the previous years we invite papers reporting original research in algebra and logic, suitable as a foundation for software technology, as well as software technologies developed by means of logic and algebraic methodologies. A special focus of AMAST 96 will be on the use of mathematics-based formal methods to give support for requirement analysis, formal specification, and design in industrial software development. Submissions should not have been published and should not be under consideration for publication elsewhere. We also solicit submissions of system demonstrations showing the improved effectiveness of software developed on a mathematical basis. Finally, a special poster session will be devoted to student research papers. The topics of interest include, but are not limited to, the following: 1. SOFTWARE TECHNOLOGY systems software technology, application software technology, concurrent and reactive systems, formal methods in industrial software development, formal techniques for software requirements, design. 2. PROGRAMMING METHODOLOGY logic, functional, and object paradigms, constraint programming and concurrency, program verification and transformation, specification languages and tools, formal specification and development case studies. 3. ALGEBRAIC AND LOGICAL FOUNDATIONS logic, category theory, relation algebra, algebraic foundations for languages and systems, theorem proving and logical frameworks for reasoning, logics of program. 4. SYSTEMS AND TOOLS (for system demonstrations) software development environments, support for correct software development, system support for reuse, tools for prototyping, validation and verification, theorem proving systems. We invite prospective authors to submit 6 copies of previously unpublished papers of high quality (15 double spaced pages maximum for papers and 4 double spaced pages maximum for system demo proposals) in an area relevant to the conference theme. Papers should provide adequate information for the reviewers to assess the significance and anticipated impact on the foundations of software technology. All papers will be refereed by the program committee, and will be judged based on their significance, technical merit, and relevance to the conference. All submissions (both papers and system demo proposals) must be sent to the program chair at the address below; papers must be received by November 15, 1995 and system demo proposals must be received by December 15, 1995. Martin Wirsing AMAST'96 Program Chair Institut fuer Informatik Universitaet Muenchen Leopoldstr. 11B D-80802 Muenchen, Germany Phone: ++49/89/ 2180-6317 Fax: ++49/89/ 2180-6310 e-mail: amast96-info@informatik.uni-muenchen.de General Chair: Maurice