Subject: IEEE-CS TC-RTS Newsletter for Mon Jun 19, 1995 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. Jukka.Karjalainen@tko.vtt.fi (Jukka Karjalainen) (187 lines) call for papers: Euromicro workshop on Real-time Systems 1996...... 5 2. emaki@wkap.com (197 lines) New Book on Imprecise and Approximate Computation ................. 190 3. TMAYNARDC@vax7.curtin.EDU.AU (Clive Maynard) (67 lines) Professor and Head of School Opportunity........................... 387 4. hansh@Markab.DoCS.UU.SE (Hans Hansson) (66 lines) VISITING RESEARCH POSITIONS at the UNIVERSITY of UPPSALA, Sweden... 454 5. best@cs.bu.edu (Azer Bestavros) (68 lines) GAANN Fellowships: Opportunity for Real-Time Systems Research...... 520 6. nossdav@spiderman.bu.edu (NOSSDAV'95) (14 lines) Proceedings of NOSSDAV'95.......................................... 588 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Tue May 30 01:59:46 1995 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit From: Jukka.Karjalainen@tko.vtt.fi (Jukka Karjalainen) Subject: call for papers: Euromicro workshop on Real-time Systems 1996 Content-Length: 6681 8TH EUROMICRO WORKSHOP ON REAL TIME SYSTEMS Scuola Superiore G. Reiss Romoli , L'Aquila, Italy June 12-14th 1996 CALL FOR PAPERS The eigth Euromicro Workshop on Real Time Systems is a forum aimed at covering state-of-the-art research and development in real time computing, which is more and more emerging as an essential discipline in the field of computer science and engineering. Topics of interest include, but are not limited to: Specification and Design: behavior specification; description formalisms; design and verification methodologies; performance evaluation and verification; concurrent engineering. Hardware: architectures and distributed systems; real-time oriented devices; coprocessors; timing engines; hardware assisted scheduling. Software: architectures and distributed systems; languages; operating systems; scheduling; debugging; software reuse; object orientedness. Communication: communication protocols; protocol engines; analysis tools; development tools. Applications: Embedded systems for automation, sensors /actuators; knowledge-based systems; digital signal processing; animation and simulation; real-time databases; multimedia. SUBMISSION OF PAPERS Prospective authors are encouraged to send five copies of an extended summary to program chairman. Extended summary should not exceed five pages, should clearly show the name, mailing address, the e-mail address and fax number of the author to contact. The task of the referees will be made easier if a brief statement is added pointing out the aspects of the paper which are yet unpublished and of special value to the Real Time area. A reference is also suggested to the framework proposed in the back of this page. The following declaration should be added: All necessary clearances for the publication of this paper have been obtained. If accepted, the author will prepare the final manuscript in time for inclusion in the proceedings and will personally present the paper at the workshop. The closing date for submissions is November 15th 1995. Authors will be notified of acceptance by February 6th 1996. Camera-ready versions of the full papers in 6 pages IEEE format will be required by March 15th 1996. The proceedings will be published by IEEE Computer Society. Papers exceeding 6 pages will be charged NLG. 100,-- per page in excess. SPECIAL SESSIONS Proposals of special sessions or panels are welcome. Please send suggestions to the program chairman before the submissions deadline. GENERAL INFORMATION L'Aquila lies in Abruzzo at 700 meters above the sea level and is surrounded by the mountain chain of the Apennines. In spite of its geographical position, L'Aquila has a quite mild climate from Spring to Autumn (Approx. 25( Celsius). There are a number of interesting buildings to visit, i.e. the Basilica of San Berardino, the Castle, the Basilica of Collemaggio, the Fontana delle 99 Cannelle, etc. For local arrangements and tourist information, contact Mr Renato Ciampa, Scuola Superiore G. Reiss Romoli S.p.A., Str. Prov. per Coppito km 0,300, I-67010 Coppito (AQ), Italy, Ph: +39-862-336467, Fax: +39-862-336481 or the Deputy General Chairman. REFERENCE ADDRESSES General Chairman Gianfranco Ciccarella Scuola Superiore G.Reiss Romoli S.p.A. Str.Prov.per Coppito km 0,300 I-67010 Coppito (AQ), Italy Ph. +39-862-336 377 fax +39-862-336 363 e-mail ciccarella@ssgrr.it Deputy General Chairman Frédéric Patricelli Scuola Superiore G.Reiss Romoli S.p.A. Str.Prov.per Coppito km 0,300 I-67010 Coppito (AQ), Italy Ph. +39-862-336 507 fax +39-862-336 363 e-mail fredy@ssgrr.it Program Chairman Petri Pulli VTT Electronics P.O.Box 1100 FIN-90571 Oulu, Finland Ph. +358-81-551 2111 fax +358-81-551 2320 e-mail petri.pulli@vtt.fi Deputy Program Chairman Jukka Karjalainen VTT Electronics P.O.Box 1100 FIN-90571 Oulu, Finland Ph.+358-81-551 2111 fax +358-81-551 2320 e-mail jukka.karjalainen@vtt.fi IMPORTANT DATES Submission of extended summaries or proposals: November 15th, 1995 Notification of acceptance February 6th, 1996 Camera-ready full papers due March 15th, 1996 MORE INFORMATION More information on the Workshop and the final Program can be requested to the Euromicro Office ( P.O.Box 2346, NL-7301 EA Apeldoorn, The Netherlands, Ph. +31-55-557372, Fax +31-55-557393, e-mail: chiquita@info.vub.ac.be) or to the Program Chairman. A Framework for RT-Systems Real-Time Systems designers strongly need a global framework encompassing the different levels/phases of the application realizations in an integrated collection of concepts, formalisms, methodologies, tools, techniques and devices. Actually Real-Time Systems exhibit an unusually strong interdependence among their components, which does not allow the same freedom of abstractions as allowed for other computer applications. A synthetic reference framework can be layered as follows: Users Applications Requirements Architecture Implementation Technology Applications: definition of observable services to environment, users etc. Requirements: definition of states and their constraints in time and space. Architecture: modeling of computing agents and their interactions. Implementation: operating systems, algorithms and devices. In order to clarify how contributions relate to an application perspective, authors are invited to introduce their works with a brief reference to the proposed framework, possibly answering questions such as: * What level is their contribution dealing with, * What kind of analysis is required at an upper level, * What kind of simulation can be used to validate their approach upward, * How a lower level is synthesized. Some examples Occam programs define an architecture. They require an analysis in order to have a distributed state space. Validation is through prototyping with simulated multiprocessing. Synthesis is through placement on processors and links. Scheduling algorithms define an implementation. They require an architecture consisting of a set of processes with given time demands. They give a priority scheme to be used in a kernel or in specialized hardware for a multiprogrammed solution. ----------------------------------------------------------------- Jukka Karjalainen Tel. +358 81 551 2401 VTT Electronics Fax +358 81 551 2320 P.O.Box 1100 NMT +358 49 580 301 FIN-90571 Oulu, Finland Internet: Jukka.Karjalainen@vtt.fi ----------- VTT - Technical Research Centre of Finland ---------- ------------------------------------------------------------------------------ Message 2; Postmarked Wed May 31 11:18:30 1995 From: emaki@wkap.com Subject: New Book on Imprecise and Approximate Computation Content-Length: 7101 **************************************************** KLUWER NEW PUBLICATIONS IN REAL TIME SYSTEMS **************************************************** -----------------------------NEW BOOK--------------------------------------- Imprecise and Approximate Computation edited by Swaminathan Natarajan, Xerox Corporation Real-time systems are now used in a wide variety of applications. Conventionally, they were configured at design to perform a given set of tasks and could not readily adapt to dynamic situations. The concept of imprecise and approximate computation has emerged as a promising approach to providing scheduling flexibility and enhanced dependability in dynamic real-time systems. The concept can be utilized in a wide variety of applications, including signal processing, machine vision, databases, networking, etc. For those who wish to build dynamic real-time systems which must deal safely with resource unavailability while continuing to operate, leading to situations where computations may not be carried through to completion, the techniques of imprecise and approximate computation facilitate the generation of partial results that may enable the system to operate safely and avert catastrophe. Audience: Of special interest to researchers. May be used as a supplementary text in courses on real-time systems. Contents and Contributors: List of Figures. List of Tables. Preface. 1. Overload Management by Imprecise Computation; Wei Zhao, Cheng Chew Lim, J.W.S. Liu, P.D. Alexander. 2. Representing and Scheduling Satisficing Tasks; A. Garvey, V. Lesser. 3. A Survey of Scheduling Results for Imprecise Computation Tasks; J. Y.-T. Leung. 4. Approximate Reasoning Using Anytime Algorithms; S. Zilberstein, S. Russell. 5. Integrating Unbounded Software Components into Hard Real-Time Systems; N. C. Audsley, A. Burns, R.I. Burns, A.J. Wellings. 6. Replicated Imprecise Computations for Fault-Tolerant Real-Time Systems; A. C. Yu, Kwei-Jay Lin. 7. Producing Monotonically Improving Approximate Answers to Database Queries; S. V. Vrbsky, J. W. S. Liu. 8. Approximate Update of Logical Databases; A. del Val. 9. A Decision-Theoretic Treatment of Imprecise Computation; J. Yen, S. Natarajan. Index. May 1995 200 pp. Hardbound ISBN: 0-7923-9579-4 The Kluwer International Series in Engineering and Computer Science 318 To order, or to receive further information, send e-mail to emkluwer@world.std.com or consult our on-line catalogue at gopher://gopher.wkap.nl. -----------------RECENT JOURNAL PUBLICATIONS----------------------------- The following is a complete listing of papers which have appeared in the journal REAL TIME SYSTEMS over the past 18 months. For more information on the journal, consult Kluwer's complete on-line catalogue at gopher://gopher.wkap.nl, or send e-mail to emkluwer@world.std.com. REAL-TIME SYSTEMS ************************************************ Volume 9, No. 1, July 1995 Alan A. Bertossi, Massimo Bonometto, and Luigi V. Mancini, Increasing Processor Utilization in Hard Real-Time Systems with Checkpoints T.M. Ghazalie and T.P. Baker, Aperiodic Servers in a Deadline Scheduling Environment Kang Shin and Chao-Ju Hou, Analytic Evaluation of Contention Protocols Used in Distributed Real-Time Systems ************************************************ Volume 8, Nos. 2/3, March - May 1995 Bucci/Campanai/Nesi - Tools for Specifying Real-Time Systems Audsley/Burns/Davis/Tindell/Wellings - Fixed Priority Pre-emptive Scheduling: An Historical Perspective Laplante/Rose/Garcia-Watson - An Historical Survey of Early Real-Time Computing Developments in the U.S. van den Ende - A History of Real-Time Industrial Process Control in the Dutch Steel-Making Industry *********************************************** Volume 8, No. 1, January 1995 Verhoosel/Welch/Hammer/Stoyenko - A Model for Scheduling of Object- Based, distributed Real-Time Systems Malcolm/Zhao - Hard Real-Time Communication in Multiple-Access Networks Pleinevaux - Real-Time Fault tolerant Operation of the 802.5 Token Ring *********************************************** Volume 7, No. 3, November, 1994 Kakuda - Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines Oh/Son - Enhancing Fault-Tolerance in Rate-Monotonic Scheduling Schepers - Compositional Reasoning about Responsive Systems with Limited Resources Bertossi/Mancini - Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems Jahanian/Rajkumar/Raju - Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems ******************************************************** Volume 7, No. 2, September, 1994 Verissimo - Ordering and Timeliness Requirements of Dependable Real-Time Programs Schutz - Fundamental Issue in Testing Distributed Real-Time Systems Harmon/Baker/Whalley - A Retargetable Technique for Predicting Execution Time of Code Segments Stoyenko/Marlowe/Masticola/Welch - Schedulability-Analyzable Exception Handling for Fault-Tolerant Real-Time Languages ******************************************************** Volume 7, No.1, July, 1994 Sathaye - Conventional & Early Token Release Scheduling Models of the IEEE 802.5 Token Ring Schmid - Monitoring Distributed Real-Time Systems Wedde/Huizinga - Formal Timing Analysis for Distributed Real-Time Programs ******************************************************** Volume 6, No. 3, May, 1994 Rodd/Al-Rowaihi, - Temporal Modelling of Real-Time Communication Protocols Based on a Process/Channel Approach Holt/Rodd - An Architecture for Real-Time Distributed Artificial Intelligent Systems Poledna - Replica Determininism in Distributed Real-Time Systems: A Brief Survey Garvey/Lesser - A Survey of Research in Deliberative Real-Time Artificial Intelligence ********************************************************* Volume 6, No. 2, March, 1994 Tindell/Burns/Wellings, - An Extendible Approach for Analysing Fixed Priority Hard Real-Time Tasks Sacha, - Real-Time Software Specification and Validation with Transnet Hooman, - Compositional Verification of a Distributed Real-Time Arbitration Protocol Homayoun/Ramanathan - Dynamic Priority Scheduling of Periodic and Aperiodic Tasks in Hard Real-Time Systems ***************************************************** Volume 6, No. 1, January, 1994 -Editorial -Yuan/Saksena/Agrawala, - A Decomposition Approach to Non- preemptive Real-Time Scheduling -J. Blazewicz/K. Ecker, - Multiprocessor Task Scheduling with Resource Requirements -Chen/Towsley, - Scheduling Customers in a Non Removal Real-Time System with an Application to Disk Scheduling pages) -Burns/Wellings, - HRT-HOOD - A Structured Design Method for Hard Real-Time Systems ------------------------------------------------------------------------------ Message 3; Postmarked Mon Jun 5 21:09:54 1995 From: TMAYNARDC@vax7.curtin.EDU.AU (Clive Maynard) Subject: Professor and Head of School Opportunity Content-Length: 2855 CURTIN UNIVERSITY OF TECHNOLOGY Perth, Western Australia Professor and Head (Tenurable) Electrical and Computer Engineering (Ref: 1888) Applications are invited from international recognised researchers and academic leaders to administer and lead the activities of the School in the areas of Electrical and Computer Engineering, including electronic engineering and computer technology. The assignment of duties as Head will be for an initial period of 3 years. The appointee will lead the research thrust of the School in the field of computer engineering as applied to the areas of process control and real time systems, and guide the further development of all programs within the School. The appointee is expected to foster relationships in fields of research with appropriate local and national bodies, such as the Australian Telecommunications Research Institute (which is the lead partner in the Co-operative Research Centre for Broadband Telecommunications and Networking), the Australian Mining Industries Research Association and the Perth International Centre for Applications for Solar Energy. The School of Electrical and Computer Engineering is one of the largest and most diverse academic units within the Division of Engineering and Science, with a total of 480 undergraduates enrolled in 4 bachelor degree programs and a postgraduate enrolment of 30 students studying by research towards a master or doctorate degree. The School's establishment currently stands at 20 full-time academics, 12 technical and 4 administrative staff. The successful applicant will have a PhD and a demonstrated internationally recognised research record as well as proven managerial skills within the field of tertiary education. General Information Salary Range: $80,176 per annum. Tenurable appointments provide permanent academic tenure after 3 years' satisfactory service. Conditions for interstate and overseas appointees include airfares and removal assistance. Curtin reserves the right to appoint by invitation. Applications quoting the position reference number, and including the names, addresses and telephone/fax numbers of 3 referees should be submitted to Dr W Mueller, Director, Human Resources by 30 June 1995. Address: Curtin University of Technology, GPO Box U1987, Perth, Western Australia 6001. Position Descriptions are available by phoning (61 9) 351 2723. ------------| Clive Maynard, Head, Dept. of Computer Engineering | Curtin University of Technology --_ |\ | Box U1987, PERTH 6001,Western Australia / \ |------------------------------------------- -->*_.--._/ | Internet: Maynard_CA@cc.curtin.edu.au v | WWW: http://kernow.curtin.edu.au ------------------------------------------------------- "Education is what survives when what has been learnt has been forgotten" ------------------------------------------------------------------------------ Message 4; Postmarked Sun Jun 18 10:18:41 1995 From: hansh@Markab.DoCS.UU.SE (Hans Hansson) Subject: VISITING RESEARCH POSITIONS at the UNIVERSITY of UPPSALA, Sweden Content-Length: 2884 VISITING RESEARCH POSITIONS at the UNIVERSITY of UPPSALA, Sweden The department of Computer Systems at Uppsala University offers several positions as visiting researcher starting in Autumn 1995. Uppsala is located 70 km north of Stockholm. The departments of computer systems, computing science, mathematics, numerical analysis, and automatic control, are located together on a newly renovated campus. Research at the department of Computer Systems is focussed on - formal methods and tools for design and analysis of distributed systems, real-time systems, and hardware circuits. - real-time systems. - high performance software communication system architectures. - neural networks. Researchers at the department inlude Parosh Abdulla, Lars Asplund, Roland Bol, Mats Bjorkman, Ivan Christoff, Per Gunningberg, Hans Hansson, Bengt Jonsson, Jey Ngole, Joachim Parrow(20%), Ken Tindell(20%), Wang Yi, and a number of Ph.D. students. We participate in ESPRIT collaboration projects and working groups, e.g. within the Esprit project HIPPARCH we work with high performance protocol architectures. Within ASTEC, a newly started ``competence centre'' focussing on advanced software technology, we are engaged in several cooperation projects with Swedish industry. The neighbouring department of Computing Science is conducting research in the area of logic programming. The positions are intended for one (possibly two) years. We seek applicants with a PhD and a research record in area(s) that are relevant to the research at the department. In particular we are looking for applicants in the following areas. - FORMAL PROGRAM DEVELOPMENT and semantics for distributed and real-time systems; current project includes basic research in the following areas: - Automated Verification of Distributed and Real-Time Systems - Specification, Semantics, and Refinement of Distributed and Real-Time Systems. and industrial collaboration with Swedish Telephone companies on Specification and Analysis of Services and Protocols. For more information contact Bengt Jonsson, bengt@docs.uu.se - REAL-TIME SYSTEMS; current projects cover the development of a real-time testbed, scheduling theory, execution time analysis, real-time networking, and methods for development of real-time software. For more information, contact Hans Hansson, hansh@docs.uu.se - END-TO-END PROTOCOLS, PROTOCOL IMPLEMENTATIONS and EXECUTION ENVIRONMENTS for multimedia and other real time applications. For more information contact Per Gunningberg, per.gunningberg@docs.uu.se Interested? Please send CV and state your interests and requirements by e-mail, fax or physical mail. (Bengt Jonsson | Hans Hansson | Per Gunningberg) Uppsala University Dept of Computer Systems Box 325 S - 751 05 Uppsala, Sweden, fax: +46 - 18 - 55 02 25 e-mail: (bengt|hansh|perg)@docs.uu.se ------------------------------------------------------------------------------ Message 5; Postmarked Mon Jun 19 12:58:38 1995 From: best@cs.bu.edu (Azer Bestavros) Subject: GAANN Fellowships: Opportunity for Real-Time Systems Research Content-Length: 2525 If you are interested in pursuing a PhD degree in Real-Time Systems, then please consider applying to the following program. More information about the research interests of the Real-Time group at Boston University is available at our group's Home Page at: http://cs-www.bu.edu/groups/realtime Please forward this to any students who may be interested. Thanks, --Azer DOCTORAL FELLOWSHIPS IN COMPUTING SYSTEMS COMPUTER SCIENCE DEPARTMENT BOSTON UNIVERSITY The Computer Science Department of Boston University invites applications for several GAANN doctoral fellowships, to begin full-time study during the 1995/96 and 1996/97 academic years. These fellowships provide tuition, stipend, and allowances for incoming graduate students who plan teaching or research careers in the broad area of computing systems. The Computer Science Department at Boston University has active research groups in the following research areas: high performance computing and communication, digital multimedia computing, real-time systems, parallel and distributed systems, fault-tolerant computing, and expert systems. Prospective graduate students interested in one of these fields are encouraged to apply. The GAANN doctoral fellowships are granted by the US Department of Education, and aim to recruit talented U.S. citizens and permanent residents with strong academic records in computer science. Students from groups traditionally underrepresented in computer science (women and minorities) are particularly encouraged to apply. For more information regarding our academic and research programs, please visit the BU CS department web pages at: http://cs-www.bu.edu Applicants for the 1995-96 academic calendar are urged to submit their application before August 1, 1995. For application materials, please contact the department's office at: Computer Science Department/GAANN Boston University 111 Cummington St Boston, MA 02215 Email: gaann@cs.bu.edu Phone: (617) 353-8919 A copy of this announcement and any updates thereof will be available on the web at: http://cs-www.bu.edu/gradprogram/gaann ------------------------------------------------------------------------------ Message 6; Postmarked Wed May 24 14:09:28 1995 From: nossdav@spiderman.bu.edu (NOSSDAV'95) Subject: Proceedings of NOSSDAV'95 Content-Length: 284 The proceedings of the 5th International Workshop on Network and Operating Systemn Support for Digital Audio and Video (NOSSDAV'95) are now available via the WWW at: http://spiderman.bu.edu/nossdav95/NOSSDAV95.html Regards, Tom Little, Boston University Riccardo Gusella, HP Labs ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* END OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The TC-RTS repository is maintained by Azer Bestavros at Boston University WWW Home Page of the TC-RTS is at: http://cs-www.bu.edu/pub/ieee-rts/Home.html Internet address for anonymous FTP to the TC-RTS repository is: cs-ftp.bu.edu Contributions to this forum should be sent via E-mail to: IEEE-RTTC@cs.bu.edu Requests / inquiries should be sent via E-mail to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------