------------------------------------------------------------------------------- __ __ __ __ , __ __ /_/ / /_ /_ /_//_ 16th IEEE REAL-TIME SYSTEMS SYMPOSIUM / \ / __/__/ __/__/ December 4-7, 1995 -- Pisa, Italy ------------------------------------------------------------------------------- T U T O R I A L S ------------------------------------------------------------------------------ Tutorials on Dec. 4 (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: Doug Locke and Michael Gonzalez Harbour ============================================================================ Tutorial 1: Real-time Systems: Specification & Verification ----------------------------------------------------------- Instructors: Henk Schepers, Jozef Hooman, Zhiming Liu, ------------ Steve Schneider, Kim Larsen, and Wang Yi Course outline: --------------- This tutorial provides an introduction to different formal techniques for specifying and verifying real-time systems: e.g. using an assertional framework, the duration calculus, a timed process algebra and timed automata (with automated verification using the new verification tool UPPAAL). The presentations will use the common example of the mine pump (described in "A Framework for Building Dependable Systems", A. Burns & A.M. Lister, Computer Journal, 34}(2), 1991 and "A Case-Study in Timed Refinement: A Mine Pump", B.P. Mahony & I.J. Hayes, IEEE Trans. on Softw. Eng., 18(9), 1992) to allow participants to compare the different techniques. Participants will receive copies of a new book "Real-time Systems: Specification, Verification & Analysis", M. Joseph (Ed.), Prentice-Hall International, which contains detailed material on many of the methods to be presented at the tutorial as well as material on introductory and advanced scheduling theory. Biography: ---------- Henk Schepers did his doctorate at Eindhoven University of Technology with the thesis "Fault-tolerance and Timing of Distributed Systems" and now works at the Philips Research Laboratories, Eindhoven, where he is responsible for the compiler technology programme for Philips Electronics. Jozef Hooman is a Lecturer at Eindhoven University of Technology, where he also received his Ph.D. degree in Computer Science for a thesis entitled "Specification and Compositional Verification of Real-Time Systems" (Springer-Verlag, LNCS 558, 1991). He has published widely on the development of formal methods for distributed real-time and fault-tolerant systems, in particular on the formulation and application of compositional methods. Zhiming Liu did his doctorate at the University of Warwick and has worked there and at the Technical University, Denmark, on formal aspects of fault-tolerance and real-time. He is now a Lecturer at the University of Leicester and he has worked on the development of the duration calculus and the probabilistic duration calculus. Steve Schneider} did his doctorate at the Programming Research Group, University of Oxford, where he was one of the originators of Timed CSP. He is now a Lecturer in the Computer Science Department of the Royal Holloway College, University of London, and organiser of the M.Sc. course on Dependable Systems. Kim Guldstrand Larsen is a professor in Computer Science at Aalborg University, Denmark, and founding and steering member of the new joint (with Aarhus University) basic research center, BRICS. He received his Ph.D. degree in Computer Science from Department of Computer Science, University of Edinburgh in 1986 on "Relativized Bisimulation between Processes" and during the last five years his main interests have been in the specification and verification of real-time and/or probabilistic systems with particular emphasis on compositionality and automatic tools for verification. Wang Yi received his Ph.D. in Computer Science at Chalmers University of Technology with a thesis entitled "A Calculus of Real-Time Systems". His current research interests include specification and automatic verification of real-time systems, in particular, symbolic and compositional methods. He is now an Associate Professor at Uppsala University. ============================================================================= Tutorial 2: Real-Time Communications ------------------------------------ Instructors: Ken Tindell and Jay Strosnider ------------ Course outline: (Part 1) --------------- This tutorial develops a unified framework for reasoning about timing correctness of packet-switched networks. The unification is in the form of a set of consistent scheduling models for a variety of network architectures and protocols including IEEE 802.5, FDDI, DQDB and ATM switches. The unification is important as it allows heterogeneous network types to be analyzed using a consistent, repeatable methodology that can be used by non-experts to construct accurate scheduling models of most network types. A Distributed Pipelining Framework is then summarized that supports the composition arbitrarily large, heterogeneous networks with fully predictable timing properties. Examples will be provided which show how IEEE and FDDI Token Rings can be combined with DQDB networks and ATM switches in a consistent, fully predictable fashion. The models and methodologies have been captured in a Systems Engineering Workbench which will be used during the tutorial to do online design and evaluation of real-time networks. Course Outline: (Part 2) -------------- This tutorial will describe the new de facto embedded systems communication protocol standard called CAN (Controller Area Network). The protocol uses a low-speed (up to 1Mbit/sec) serial broadcast bus to provide atomic multicast messaging. The protocol has almost perfect real-time properties: messages are arbitrated by priority, with urgent messages delayed for only a short time. The tutorial describes in brief the low-level protocol, covering the available silicon implementations. The higher level aspects are addressed in detail: how to guarantee real-time performance and how to configure a system. The current state-of-the-art in CAN software is discussed, and the future outlined. Biography: ---------- Jay K. Strosnider is an Associate Professor in the Electrical and Computer Engineering Department at Carnegie Mellon University. He received his B.S. in Electrical Engineering and Biotechnology in 1977, and his M.S. in Electrical Engineering in 1978 at CMU. He worked for IBM developing distributed real-time systems for submarines for 1978 to 1985 when he started his Ph.D. studies. Mr. Strosnider obtained his Ph.D. in Computer Engineering from CMU in 1988. He joined the CMU faculty as an Assistant Professor in 1988, and was promoted to Associate Professor in 1993. His current research focus is upon integrating wide ranging technologies within a scheduling theoretic framework. Within the application domains of real-time/multimedia systems, his research interests include: operating systems, networks, buses, disks, window managers fault-tolerance and AI. Author's Present Address: Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213, strosnider@ece.cmu.edu. =========================================================================== Tutorial 3: Real-Time POSIX --------------------------- Instructors: Doug Locke and Michael Gonzalez Harbour ------------ Course outline: --------------- The real-time POSIX standards represent an effort by both vendors and users of real-time operating systems to support, for the first time, real-time applications that exhibit a high degree of portability across diverse hardware and software environments. The first commercial products that conform to the real-time POSIX standards 1003.1b (process interfaces) and 1003.1c (thread interfaces) are now appearing. These standards are specified for the C programming language, but work on Ada interfaces (1003.5b) is nearing completion, allowing both Ada and C programmers to write portable applications based upon these operating systems. In this tutorial we will present an overview of the different standards that are known as real-time POSIX. For each of these standards we will review the main operating systems services specified, and we will map these services onto the most important requirements of real-time applications. We will also give a brief overview of the standard POSIX subsets (i.e., profiles), which allow a wide range of real-time operating system implementations: from the small and highly efficient embedded real-time system to the large system with real-time requirements. Finally, we will also discuss the basic features and metrics that must be taken into account when selecting a POSIX operating system, to ensure that it meets the requirements of your particular applications. 1. Introduction. Real-Time operating systems 2. The basic POSIX standard 3. Real-time extensions 4. Threads extension 5. Additional real-time extensions 6. POSIX subsets: Application environment profiles 7. Implications of POSIX features - which to use and avoid 8. Selecting a POSIX-conforming real-time OS 9. Summary and conclusions Biography: ---------- Doug Locke is a Senior Technical Staff Member with Loral Corporation's Federal Systems Group (formerly IBM's Federal Systems Division), where he has spent more than 25 years designing and building large real-time systems over a wide range of applications including command & control, space, aircraft, shipboard, submarine systems, and information systems. He is a principal author of the chapters on scheduling in the POSIX real-time standards, and is also deeply involved in the Ada community. Michael Gonzalez Harbour is an Associate Professor in the Group of Computers and Real-Time Systems at the University of Cantabria. He works in software engineering for real- time systems. He is an active member of the POSIX real-time working group, and he is a co-author of "A Practitioner's Handbook on Real-Time Analysis". He has been involved in several projects using Ada to build real-time controllers for robots. ------------------------------------------------------------------------------- Real-Time Symposium and Tutorial Registration Information ------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------