Subject: IEEE-CS TC-RTS Newsletter for Mon Jul 05, 1993 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. joe@erix.ericsson.se (Joe Armstrong) (198 lines) New Book Announcement: Concurrent Programming in Erlang............ 3 2. alfons@aii.upv.es (163 lines) CFP: AIRTC-94...................................................... 201 3. Jay Strosnider (66 lines) CFP: Workshop on the role of RT in Multimedia/Interactive Systems.. 365 4. ken@minster.york.ac.uk (45 lines) Report available via FTP........................................... 430 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Wed Jun 9 10:29:15 1993 From: joe@erix.ericsson.se (Joe Armstrong) Subject: New Book Announcement: Concurrent Programming in Erlang New Book Announcement "Concurrent Programming in Erlang" J. Armstrong M. Williams R. Virding Prentice Hall, 1993 ISBN 0-13-285792-8 -oOo- Erlang is a concurrent functional programming language designed for large industrial real-time systems. Erlang is dynamically typed and has a pattern matching syntax. Functions are defined using recursion equations. Erlang provides explicit concurrency, has asynchronous message passing and is relatively free from side effects. Distributed Erlang programs can run transparently on cross-platform multi-vendor systems. The language has primitives for detecting run-time errors and for dynamic code replacement (i.e. changes to code can be made in a running real-time system, without stopping system). Erlang has real-time GC, modules and a foreign language interface. Erlang was developed at the Ellemtel Telecommunication Systems Laboratories and is used within Ericsson for product development and prototyping. -oOo- Part I. Programming. Chapter 1 An Erlang Tutorial 1.1 Sequential Programming 1.2 Data Types 1.3 Pattern Matching 1.4 Built-In Functions 1.5 Concurrency A simple tutorial introduction to the Erlang language. Chapter 2 Sequential Programming 2.1 Terms 2.2 Pattern Matching 2.3 Expression Evaluation 2.4 The Module System 2.5 Function Definition 2.6 Primitives 2.7 Arithmetic Expressions 2.8 Scope of Variables Sequential Erlang Programming. Everything you always wanted to know about sequential programming. Chapter 3 Programming with Lists 3.1 List Processing BIFs 3.2 Some Common List Processing Functions 3.3 Examples 3.4 Common Patterns of Recursion on Lists 3.5 Functional Arguments Examples of list programming. Chapter 4 Programming with Tuples 4.1 Tuple Processing BIFs 4.2 Multiple Return Values 4.3 Encrypting PIN Codes 4.4 Dictionaries 4.5 Unbalanced Binary Trees 4.6 Balanced Binary Trees Examples of programming with tuples. Chapter 5 Concurrent Programming 5.1 Process Creation 5.2 Inter-Process Communication 5.3 Timeouts 5.4 Registered Processes 5.5 Client--Server Model 5.6 Process Scheduling, Real Time and Priorities Basic concurrent programming techniques. Creating and monitoring processes. Sending messages between process. Monitoring processes. The client-server model is introduced. Primitives for real-time programming. Chapter 6 Error Handling 6.1 Catch and Throw 6.2 Process Termination 6.3 Linked Processes 6.4 Run-Time Failure 6.5 Changing the Default Signal Reception Action 6.6 Undefined Functions and Unregistered Names 6.7 Catch versus Trapping Exits Basic error handling methanisms. Catch and throw. Detecting process termination. Chapter 7 Programming Robust Applications 7.1 Guarding against Bad Data 7.2 Robust Server Processes 7.3 Isolating Computations 7.4 Keeping Processes Alive 7.5 Discussion Basic programming techniques for programming fault-tolerant applications. Chapter 8 Miscellaneous Items 8.1 Last Call Optimisation 8.2 References 8.3 Code Replacement 8.4 Ports 8.5 Process Dictionary Changing code in a running system without stopping the system. Interfacing to foreign languages. Part II. Applications. The applications part of the book is a set of case studies. Here we build on the programming techniques of Part I to construct complete programs. Many of the studies are based on real-world applications. Chapter 9 Databases 9.1 The Access Functions 9.2 Simple Database 9.3 A Multi-Level Database 9.4 Transaction Management 9.5 External Databases Simple database programs, with transactions, roll-back, fault-tolerance, etc.. Chapter 10 Operating Systems 10.1 Overview of the Standard Erlang OS 10.2 System Startup 10.3 Code Management 10.4 The Input/Output System 10.5 The Standard Shell An overview of the standard Erlang operating system. Chapter 11 Real-Time Control 11.1 A Lift Control System 11.2 A Satellite Control System Two real-time (process control) applications. Chapter 12 Telephony 12.1 Typical Aspects of Switching System Software 12.2 POTS 12.3 Robustness 12.4 SDL A telephony application. This is sub-set of a much larger program which used to control an Ericsson PABX in a real-world application. Chapter 13 An ASN.1 Compiler 13.1 Background 13.2 About ASN.1 13.3 BER -- Basic Encoding Rules 13.4 Implementation 13.5 ASN.1 Applications A cross compiler from ASN.1 (The CCITT specified data transport definition language) to Erlang. This again is from a real-world application. Chapter 14 Graphics 14.1 The User Interface 14.2 Basic Graphics Primitives 14.3 A Pocket Calculator 14.4 A Prompter 14.5 A TV Simulation Building a graphic user interface in Erlang. This shows how Erlang can be interfaced to the X-windows system to build an advanced GUI. Chapter 15 Object-Oriented Programming 15.1 Basic Concepts 15.2 Mapping to Erlang 15.3 An Object-Oriented Interface 15.4 Object-Oriented Programming 15.5 Object-Oriented Design Discusses the relation between Erlang and Object-Orientated programming ------------------------------------------------------------------------------ Message 2; Postmarked Mon Jun 14 07:41:30 1993 From: alfons@aii.upv.es Subject: CFP: AIRTC-94 ================================================================== = CALL FOR PAPERS = = = = IFAC/IFIP/IMACS Symposium on = = = = ARTIFICIAL INTELLIGENCE IN REAL TIME CONTROL = = = = AIRTC'94 = = 3-5 October 1994 = = Valencia, Spain = ================================================================== INTERNATIONAL PROGRAM COMMITTEE Chairman: J.A. de la Puente (E) P. Albertos (E) P. Borne (F) L. Boullart (B) F. Charpillet (F) H.J. Efstathiou (UK) M. Fjeld (N) A. Halme (SF) C.C. Hang (Sin) C.J. Harris (UK) A. Jimenez (E) D. Kersual (F) A.J. Krijgsman (NL) H.G. Kaliakov (Bu) I.M. MacLeod (SA) A. Mensch (F) L. Motus (EE) S. Narita (J) A. Ollero (E) E. De Pablo (E) Y.H. Pao (USA) L.F. Pau (F) U. Rembold (D) M.G. Rodd (UK) A.G. Schmidt (D) S.Q. Su (PRC) G.J. Suski (USA) B. Verbruggen (NL) E.A. Woods (N) NATIONAL PROGRAM COMMITTEE Chairman: A. Crespo (E) F. Barber V. Botti A. Espinosa A. Garcia F. Morant J.L. Navarro J. J. Serrano R. Vivo E. Onaindia SCOPE This Symposium is intented to provide an international forum for presentation and discussion of concepts and application of artificial intelligence techniques in the design, implementation, testing, supervision and monitoring of real time control systems. The previous Symposium was held in Delft (1992), and was the first symposium after o three succesful workshops in the same field. The objective of the Symposium is to bring toghether control systems specialists, artificial intelligence specialists and end-users. The main topics covered in the Symposium are: - Real time expert systems shells - Knowledge representation - Intelligent control systems applications - Fuzzy control - Neural networks control - Process monitoring and supervision - Temporal reasoning in process control - Intelligent components architecture - Real-time distributed A.I. architectures - Human interaction - Multi-sensor fusion - Fault detection and emergency control - Adaptive learning control systems - Parallel and distributed knowledge processing - Intelligent controllers CONTRIBUTIONS The Symposium will include both invited sessions and contributed papers. Regular papers Four copies of an extended abstract (2-3 pages, 1000 words) or a draft paper should be received no later than December 15, 1993 by the secretariat address. It must be clearly indicate the new contributions and the relevance to the scope of the Symposium. Invited sessions Proposals for invited sessions including a brief description of the topics and a list of prospective authors and titles should be sent to the Symposium secretariat by December 15, 1993. Paper acceptance The final copy of each accepted papers should reach the organizers by May 1, 1994, after a letter of acceptance in February 1994. Papers are to be prepared according to the Instructions which will be sent to the authors.The papers presented at the Symposium will be published in the AIRTC'94 Preprints,which will be distributed by Pergamon Press. DEADLINES ----------------------------------------------------------------------------- Submission of abstracts, drafts and invited sessions .... December 15, 1993 Acceptance notification ................................. February 15, 1994 Camera-ready papers due ................................. May 1, 1994 ----------------------------------------------------------------------------- SYMPOSIUM LOCATION: The symposium will be held at the Facultad de Informatica of the Universidad Politecnica de Valencia. SECRETARIAT ADDRESS: AIRTC 1994 D.I.S.C.A. Universidad Politecnica de Valencia P.O. Box 22012, E -46071 Valencia, Spain Phone: +34 6 3877571 Fax: +34 6 3877579 E-mail: airtc94@aii.upv.es RELATED EVENTS This event will follow the 13th Workshop on Distributed Computer Control Systems (DCCS'94) to be held in Toledo, september 28-30, 1994. COPYRIGHT The copyright of all accepted papers is automatically transferred to IFAC. Papers published in IFAC preprint volumes will also be considered for publication in the IFAC Journals Automatica and Control Engineering Practice which have priority access to all such material. LANGUAGE The official symposium language is English. No simultaneous translation will be provided. SPONSORED BY: International Federation of Automatic Control (IFAC) Technical Committees on Computers, Manufacturing Technology, Applications and Social Effects of Automation. Comite Espanol de IFAC (CEA-IFAC). CO-SPONSORED BY: International Federation for Information Processing (IFIP). International for Mathematics and Computer in Simulation (IMACS) ORGANIZED BY: Departamento de Ingenieria de Sistemas, Computadores y Automatica. Universidad Politecnica de Valencia =============================================================================== AIRTC'94 Reply form Please send this form preferably by before 1 November 1993 by e-mail. Name: ______________________________________ First name: _____________________ Company/Institute: ___________________________________________________________ Address: ____________________________________|________________________________ ____________________________________|________________________________ ____________________________________|________________________________ City: __________________________ Country: __________________________________ Fax: ______________________ Phone: _______________________ E-mail: _____________________________________________________________________ _ |_| I intend to participate in the Symposium _ |_| I intend to submit a paper provisionally entitled: ___________________ ______________________________________________________________________ ______________________________________________________________________ =============================================================================== Please re-send this call for papers or send us an e-mail list of people you consider that could be interested in the topic of this symposium to airtc94@aii.upv.es. ------------------------------------------------------------------------------ Message 3; Postmarked Mon Jun 21 13:04:51 1993 From: Jay Strosnider Sender: best@cs.bu.edu (Azer Bestavros) Subject: CFP: Workshop on the role of RT in Multimedia/Interactive Systems CALL FOR PAPERS WORKSHOP ON THE ROLE OF REAL-TIME IN MULTIMEDIA/INTERACTIVE COMPUTING SYSTEMS November 30, 1993, Raleigh-Durham, North Carolina Sponsored by the IEEE Computer Society TC on Real-Time Systems SCOPE: There will be a workshop on the "Role of Real-Time in Multimedia/Interactive Computing" in conjunction with the 14th IEEE Real-Time Systems Symposium. Opinions range from "there is no role for real-time, just buy a faster processor" to "multimedia/interactive are real-time systems not unlike Command, Control and Communication (C3) Systems". This workshop is an attempt to bring together researchers and practitioners from across this opinion spectrum to cleanly identify and delineate the role of real-time in commercial multimedia/interactive systems. The emergence of multimedia systems into the commercial mainstream is creating new opportunities and challenges for the real-time research community. The opportunity is for the real-time community to have broad commercial impact. The challenge is for the real-time community to clearly demonstrate its value added to the commercial community. Specifically, the theory and practice of real-time computing is not only necessary, but is also the cost effective engineering approach for commercial multimedia/interactive systems. SUBMISSIONS: We are seeking 5 page position papers which: - illustrate where real-time capabilites are/are not required, - articulate the relationship between classical real-time systems, multimedia/interactive commercial systems, and general purpose computing systems, - capture the research challenges associated with widespead commercially available multimedia/interactive systems, - characterize multimedia data types and control types, - propose multimedia/interactive computing benchmarks, - summarize industry specific computing requirements, - report on tools and programming support for evaluation and realization of multimedia/interactive applications. Please send 5 copies of your submission to Jay K. Strosnider, Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213. DEMO/VIDEO SESSION: On the evening of the workshop there will demo/video session where interested parties are encouraged to bring demonstrations of their respective technologies and/or videos. This session will be open not only to workshop participants, but also to all RTSS attendees arriving that evening. Reservations for space and/or video equipment are required. SCHEDULE: Position papers and demo/video session proposals are due by September 15, 1993, Notification to authors will be by November 1, 1993. For more information, contact Jay K. Strosnider by email at strosnider@ece.cmu.edu STEERING COMMITTEE: Jay Strosnider (CMU), Kevin Jeffay (UNC), Karsten Schwan (Georgia Tech), Roger Dannenberg (CMU), Duane Northcutt (Sun Microsystems), Dave Sincoskie (Bellcore), Wei Zhao (Texas A&M). ------------------------------------------------------------------------------ Message 4; Postmarked Thu Jul 1 06:40:33 1993 From: ken@minster.york.ac.uk Subject: Report available via FTP A report entitled ""Data Consistency in Hard Real-Time Systems", by N. C. Audsley, A. Burns, M. F. Richardson, and A. J. Wellings is available by FTP from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the file: YCS203.ps.Z The file is stored in compressed postscript format so be sure to set binary mode when FTPing the report. The abstract of the report is as follows: "The incorporation of database technology into hard real-time systems presents an important but difficult challenge to any system designer. Notions of consistency and failure atomicity are attractive for architects of dependable hard real-time applications. Unfortunately the hard real-time requirements of bounded access times are not easily imposed upon the concurrency control methods usually found in current database models. The model of data consistency presented here uses temporal consistency constraints in order to ensure that data values are \fIsufficiently\fR recent to be usable. Blocking is avoided by imposing the restriction that only one type of transaction can write to a particular data object, and by using a non-blocking access mechanism. Data itself is considered to be either perishable or non-perishable." A number of other papers and reports written by the Real-Time Systems Research Group at York are also available; the file INDEX in the directory /pub/realtime/papers lists these. -- Ken Tindell Internet : ken@minster.york.ac.uk Computer Science Dept., Local FTP site: minster.york.ac.uk University of York, Tel. : +44-904-433244 YO1 5DD, UK Fax. : +44-904-432708 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* END OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The TC-RTS repository is maintained by Azer Bestavros at Boston University Internet address for anonymous FTP to the TC-RTS repository is: cs.bu.edu Contributions to this forum should be sent via E-mail to: IEEE-RTTC@cs.bu.edu Requests / inquiries should be sent via E-mail to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------