Subject: IEEE-CS TC-RTS Newsletter for Mon Mar 22, 1999 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. Lisa Dipippo (407 lines) RTAS'99 Advance Program / WIP Call for Papers...................... 3 2. Azer Bestavros (142 lines) CFP: QoS Support For RT Internet Applications (Deadline 4/16)...... 410 3. "Wei Zhao [mailto:zhao@cs.tamu.edu] (257 lines) IEEE RTSS'99 Call for Papers....................................... 552 4. Peter Puschner (71 lines) CFP: Special Issue on Worst-Case Execution-Time Analysis........... 809 5. Gerhard Fohler [mailto:gfr@idt.mdh.se] (213 lines) Advance Program, 11th EUROMICRO Conference on RT Systems........... 880 6. Alceu.Frigeri@FernUni-Hagen.de (Alceu Heinke Frigeri) (484 lines) WRTP'99 & ARTDB-99 Call for Participation.......................... 1093 7. "David B. Stewart" (194 lines) CFP: IEEE Symposium on High Assurance Systems Engineering.......... 1576 8. "Sang Hyuk Son [mailto:son@cs.virginia.edu] (222 lines) WECWIS'99: Call for participation.................................. 1771 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Wed Mar 17 18:29:28 1999 From: Lisa Dipippo Subject: RTAS'99 Advance Program / WIP Call for Papers Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Length: 16646 Fifth IEEE Real-Time Technology and Applications Symposium Vancouver, British Columbia, Canada Sheraton Wall Centre Hotel June 2-4, 1999 Sponsored by The IEEE Computer Society Technical Committee on Real-Time Systems ------------------------------------------------------------------------ Preliminary Program And Call For Participation http://rtas99.cs.uri.edu ------------------------------------------------------------------------ Symposium Highlights ==================== Along with a diverse program of technical papers, this year's RTAS includes several venues that highlight the state-of-the-art of real-time applications and research. Workshop: The symposium is kicked-off with a Workshop on QoS Support for Real-Time Internet Applications coordinated by Azer Bestavros. This workshop will bring together researchers interested in the design and implementation of novel protocols and architectures to support the requirements of applications that are subject to QoS constraints. Tutorials: The symposium includes four tutorials on Real-Time Java by Greg Bollella and Kelvin Nielsen, Real-Time Analysis Tools by Peter Kortman and Ragunathan Rajkumar, Real-Time CORBA by Jon Curry and Real-Time Communication by Wei Zhao. Work-in-Progress Sessions: There will be two WIP sessions throughout the symposium. These sessions will provide researchers with an opportunity to discuss their evolving ideas and gather feedback from the real-time community at large. See http://www.cs.concordia.ca/~faculty/manas/rtas99wip/ for information regarding submission of papers. ------------------------------------------------------------------------ Objectives and Scope ==================== The IEEE Real-Time Technology and Applications Symposium brings together real-time system developers and researchers from academia, industry and government to present the latest advances in real-time systems research, and discuss the practical challenges encountered and the solutions adopted. An exciting program that fosters discussions and technical exchanges is planned, including tutorials, panel discussions, technical paper presentations and work-in-progress sessions on various aspects of real-time computing and communication, ranging from multimedia applications, case studies, systems integration, application requirements, scheduling, operating systems, software engineering, dependability, databases, programming languages, system development tools, communications, performance modeling and formal techniques. The technical program for RTAS'99 is organized into nine sessions, covering various aspects of real-time systems technology and applications: namely Scheduling, Languages and Timing Constraints, Databases and Operating Systems, Real-Time Windows NT, Real-Time Middleware, Real-Time Communication, Quality ofService, and Experiences and Case Studies. In addition to these eigth technical sessions, this year's RTAS program features four tutorials on Real-Time Java, on Real-Time CORBA, on Real-Time Communication, and on Real-Time Analysis Tools. This year's RTAS will also include special Work-In-Progress (WIP) sessions. These sessions will feature a number of short technical presentations to elicit the community's feedback on and interest in on-going research projects and system building efforts. ---------------------------------------------------------------------- Workshop on QoS Support for Real-Time Internet Applications =========================================================== (accepting submissions until April 16) The Internet is increasingly being used to support a wide range of applications that are subject to QoS constraints for proper operation. This 1-day workshop preceding the RTAS'99 aims at bringing together researchers interested in the design and implementation of novel protocols and architectures to support the requirements of such applications in the context of the existing ubiquitous infrastructure of the Internet (i.e. HTTP, TCP/IP, UDP, MBone, etc.) For more information about paper submission, please visit the Workshop web site at http://www.cs.bu.edu/pub/rtaw99/. ------------------------------------------------------------------------ Tutorials ========= Real-Time Java by Greg Bollella and Kelvin Nielsen Wed. June 2, 13:30-15:30 Real-Time Analysis Tools by Peter Kortman and Ragunathan Rajkumar Wed. June 2, 18:15-19:30 Real-Time CORBA by Jon Curry Thur. June 3, 13:30-15:30 Real-Time Communication by Wei Zhao Fri. June 4, 10:30-12:00 (see http://rtas99.cs.uri.edu for more details about tutorials) ------------------------------------------------------------------------ Work-in-Progress Sessions ========================= (accepting submissions until April 15) RTAS'99 WIP will be devoted to the presentation of new and on-going projects in real-time systems and applications. The prime purpose of this session is to provide researchers an opportunity to discuss their evolving ideas and gather feedback from the real-time community at large. Submissions on all aspects of real-time computing, applications, and systems are sought for this work-in-progress session. Of particular interest are papers exploring promising new ideas and approaches. There will be two RTAS'99 WIP sessions held on the first two days of the conference. These sessions will consist of 10-minute presentations of all accepted submissions. Also, accepted submissions will be included in a special RTAS'99 WIP proceedings that will be distributed to all RTAS'99 conference participants, and will be available electronically from the IEEE-CS TC-RTS Home Page on the WWW. For information on submitting papers to the session, please visit the WIP web site at http://www.cs.concordia.ca/~faculty/manas/rtas99wip/. ------------------------------------------------------------------------ Technical Program ================= Tuesday June 1, 1999 * 08:00-17:00 / IEEE Workshop on QoS Support for RT Internet Applications * 17:00-19:00 / Symposium Registration and Informal Reception Wednesday June 2, 1999 * 07:30-08:15 / Registration * 08:15-08:30 / Opening Remarks o Azer Bestavros (General Chair) and Victor Fay Wolfe (Program Chair) * 08:30-10:00 / Session I: Scheduling o "Responsiveness Approach for Scheduling Fault Recovery Operations in Real-Time Systems", Pedro Mejia-Alvarez and Daniel Mosse. o "Adaptive Scheduling: Overloading Scheduling for Mission Critical Systems", Paul Richardson and Susanta Sarkar. o "Scalable Scheduling Support for Loss and Delay Constrained Media Streams", Richard West, Karsten Schwan and Christian Poellabauer. * 10:00-10:30 / Morning Break * 10:30-12:00 / Session II: Case Studies I o "A Dynamic Real-Time Benchmark for Assessment of QoS and Resource Management Technology", Lonnie R. Welch and Behrooz A. Shirazi. o "Static Properties of Commercial Embedded Real-Time Programs, and Their Implication for Worst-Case Execution Time Analysis", Jakob Engblom. o "Implementation of a Transient-Fault-Tolerance Scheme on DEOS - A Technology Transfer from and Academic System to an Industrial", Libin Dong, Rami Melhem, Daniel Mosse, Sunondo Ghosh, Walt Heimerdinger, Aaron Larson. * 12:00-13:30 / Lunch * 13:30-15:30 / Tutorial: Real-Time Java * 15:30-16:00 / Afternoon Break * 16:00-17:30 / Session III: Languages and Timing Constraints o "Implementation of JEM - A Java Composite Event Package", Guangtian Liu and Aloysius K. Mok. o "Tighter Timing Predictions by Automatic Detection and Exploitation of Value-Dependent Constraints", Christopher Healy and David Whalley. o "Timing Constraint Remapping to Avoid Time Discontinuities in Distributed Real-Time Systems", Minsoo Ryu, Jungkeun Park and Seongsoo Hong. * 17:30-18:15 / Work-in-Progress Session I * 18:15-21:00 / RTAS'99 Reception and Dinner * 18:15-19:30 / Tutorial and Demonstration: Real-Time Analysis Tools: Thursday June 3, 1999 * 08:00-8:30 / Breakfast * 8:30-10:00 / Session IV: Databases and Operating Systems o "MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases", Ming Xiong, Krithi Ramamritham, Jayant Haritsa and John Stankovic. o "Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior", Shuichi Oikawa and Ragunathan Rajkumar. o "Experiences Using RT-Linux to Implement a Controller for a High Speed Magnetic Bearing System", Marty Humphrey, Edgar Hilton and Paul Allaire. * 10:00-10:30 / Morning Break * 10:30-12:00 / SessionV: Real-Time Windows NT o Invited Paper - MicroSoft (TBA). o "Using Windows NT in Real-Time Systems", Allan Baril. o "Comparing Real-Time Performance of Windows NT to an NT Real-Time Extension", Kevin M. Obenland, John Kowalik, Tiffany Frazier and Jin S. Kim.. * 12:00-13:30 / Lunch * 13:30-15:30 / Tutorial: Real-Time CORBA * 15:30-16:00 / Afternoon Break * 16:00-17:30 / Session VI: Real-Time Middleware o "The Design and Performance of RIO", Fred Kuhns, Douglas C. Schmidt, David L. Levine and Rajeev Bector. o "User Level Scheduling of Communicating Real-Time Tasks", Chia Shen, Oscar Gonzalez, Krithi Ramamritham and Ichiro Mizunuma. o "An End-to-End QoS Management Architecture", Mallikarjun Shankar, Miguel DeMiguel, Jane W.S. Liu. * 17:30-18:30 / Work-in-Progress Session II * 18:30-19:00 / Semi-Annual IEEE-CS RTS Technical Committee Meeting: Chair Doug Locke, Lockheed Martin Corporation. Friday June 4, 1999 * 08:00-08:30 / Breakfast * 08:30-10:00 / Tutorial: Real-Time Communication * 10:00-10:30 / Morning Break * 10:30-12:00 / Session VII: Real-Time Communication o "Statistical Real-Time Communication Over Ethernet for Manufacturing Automation Systems", Seok-Kyu Kweon, Kang G. Shin and Qin Zheng. o "Analyzing Multimedia Traffic in Real-Time ATM Networks", Mikael Sjodin and Hans Hansson. o "QDMR: An Efficient QoS Dependent Multicast Routing Algorithm", Liang Guo and Ibrahim Matta. * 12:00-13:30 / Lunch * 13:30-15:00 / Session VIII: Case Studies II o "A Event Channel-Based Embedded Software Architecture for Developing Telemetric and Teleoperation Systems on the WWW", Jae-Chul Moon, Myung-Jin Lee and Soon-Ju Kang. o "General Purpose Architecture for Real-Time Feedback Control in Nuclear Fusion Experiments", A. Luchetta and G. Manduchi. o "A Summary of Communication Middleware Requirements for Advanced Shipboard Computing Systems", Mark Swick, James White and Michael Masters. o "Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics", Lorraine E. P. Rice and Albert M. K. Cheng. * 15:00-15:30 / Afternoon Break * 15:30-16:30 / Session IX: Quality of Service o "Adaptive QoS and Resource Management Using a Posteriori Workload Characterizations", Lonnie R. Welch, Paul V. Werme, Larry A. Fontenot, Michael W. Masters, Behrooz A Shirazi, Binoy Ravindran and D. Wayne Mills. o "On Quality of Service Optimization With Discrete QoS Options", Chen Lee. * 16:30-16:40 / Closing Remarks ---------------------------------------------------------------------- Hotel Information ================= The Conference will be held at the Sheraton Wall Centre Hotel, which is located at the heart of beautiful downtown Vancouver, minutes away from the Waterfront and from many other attractions. For more information contact the hotel at the address below or visit it on the Web at http://www.sheratonwallcentre.com. The hotel guarantees the following rates for rooms: * CND$195 for single/double rooms (equivalent to approximately US$127 based on today's exchange rate). * To get this rate mention "IEEE RTAS'99" * The rooms are guaranteed if reserved before May 7th. Sheraton Wall Centre Hotel 1088 Burrard Street Vancouver, British Columbia V6Z 2R9, Canada Tel: (604) 331-1000 Fax: (604) 893-7200 ---------------------------------------------------------------------- Conference/Workshop Registration ================================ Mail to: Ms. Linda Buss RTAS'99 E3774 - 550th Ave. Menomonie, WI 54751 USA Phone: 715-235-0487 Fax: (715) 235-2258 or (715) 232-6243 Email: ljbuss@win.bright.net Name: ____________________________________________ Affiliation: _____________________________________ Address: _________________________________________ Address: _________________________________________ Phone: ____________ Fax: _________________________ Email: ___________________________________________ IEEE Membership No: ______________________________ (All fees in US$$) RTAS'99 Fees On or Before May 7 After May 7 IEEE Members $390 $470 Non-Members $490 $585 Full-time Students$190 $220 Workshop Fees On or Before May 7 After May 7 Members $100 $120 Non-Members $125 $150 Full-time Students$100 $120 Registration can be done through electronic mail. The e-mail address is ljbuss@win.bright.net. Conference registration includes all the events of the symposium. To receive student rate, students are required to have advisor's name and signature at the time of registration. Advisor Name: _______________________________ Advisor Signature: __________________________ Written request for refunds, subject to a processing fee, must be made no later than May 7, 1999. Payment can be made by check, money order, or credit card. Please make checks or money orders payable, in U.S. dollars, to RTAS'99. Payments in other currencies will not be accepted. Credit Card: [ ] Visa [ ] Mastercard [ ] American Express Credit Card Number: __________________________ Cardholder Name: _____________________________ Credit Card Expiration Date:__________________ Total Charges Authorized:_____________________ Signature: ___________________________________ ---------------------------------------------------------------------- Organizing Committee ==================== General Chair o Azer Bestavros, Boston University Program Committee Chair o Victor Fay Wolfe, University of Rhode Island Publicity Chair o Lisa Cingiser DiPippo, University of Rhode Island Tutorials Coordinator o Neeraj Suri, Boston University Program Committee Members o Alia Atlas , BBN Technologies USA o Neil Audsley, University of York, England o Hanene Ben-Abdallah, FSEG, Univ. de Sfax, Tunisia o Lisa Cingiser DiPippo, University of Rhode Island, USA o Steve Goddard, University of Nebraska-Lincoln, USA o Michael Gonzalez Harbour, Universidad de Cantabria, Spain o Jorgen Hansson, University of Skovde, Sweden o Marty Humphrey, University of VirginiaUSA o Farnam Jahanian, University of Michigan, USA o E. Douglas Jensen, MITRE Corporation, USA o Russell Johnston, US Navy SPAWAR SYSCEN San Diego, USA o Michael B. Jones, Microsoft Research, USA o Peter Kortman, Tri-Pacific Software, USA o Tei-Wei Kuo, National Chung Cheng University, Taiwan o Jane Liu,University Of Illinois USA o Douglass Locke, Lockheed Martin Corporation, USA o Peter H. Mills, Applied Research Associates, Inc., USA o Daniel Mosse', University of Pittsburgh, USA o Susan Nagy, EMC Corp., USA o Raj Rajkumar, Carnegie Mellon University, USA o Manas Saksena,Concordia University, Canada o Douglas C. Schmidt, Washington University, USA o Anoop Singhal, AT&T Labs, USA o Jack Stankovic, University of Virginia, USA o Wei Zhao, Texas A&M University, USA ---------------------------------------------------------------------- For more information check RTAS'99 Home Page at http://rtas99.cs.uri.edu ------------------------------------------------------------------------------ Message 2; Postmarked Wed Mar 10 17:27:14 1999 From: Azer Bestavros Subject: CFP: QoS Support For RT Internet Applications (Deadline 4/16) Content-Length: 4923 WORKSHOP ON QOS SUPPORT FOR REAL-TIME INTERNET APPLICATIONS In Conjunction with The 5th IEEE Real-Time Technology and Applications Symposium Vancouver, British Columbia, Canada Sheraton Wall Centre Hotel Tuesday June 1, 1999 PRELIMINARY CALL FOR PAPERS http://www.cs.bu.edu/pub/rtaw99 OBJECTIVE --------- The Internet is increasingly being used to support a wide range of applications that are subject to QoS constraints for proper operation. This 1-day workshop (preceding the 1999 IEEE RTAS'99 Symposium) aims at bringing together researchers interested in the design and implementation of novel protocols and architectures to support the requirements of such applications in the context of the existing ubiquitous infrastructure of the Internet (i.e. HTTP, TCP/IP, UDP, MBone, etc.) SCOPE ----- The following are examples of important questions that the workshop aims to address. - While much effort has been devoted in the recent past to the investigation of transport mechanisms capable of delivering demanding Quality of Service (QoS) requirements (e.g. RSVP and DiffServ), little attention has been paid to the QoS issues at servers. Interesting issues include the design and implementation of architectures and protocols that allow HTTP servers to be cognizant of request priorities or QoS requirements. This is particularly important for ISP Web hosting environments. - Delivering QOS guarantees in distributed systems is fundamentally an end-to-end issue, that is, from application-to-application. Perhaps the main practical problem to widely deploying technologies that provide QoS is that they are incompatible with the existing ubiquitous infrastructure of the Internet. Interesting issues include the design and implementation of middleware support that enables applications to monitor the delivered QoS through real-time traffic measurement, policing, and control. - There are a number of new technologies and standards for IP switching architectures to support QoS in the network. Yet, it is not clear how end-to-end application requirements will be presented to such architectures. Interesting issues include the identification of a small set of network switching capabilities that could be composed together and used to deliver the requested end-to-end QoS requirements. Along the themes stated above, contributions are solicited in any of the following topics: - Issues related to supporting mobile clients and servers - Directory Enabled Networking (DEN) issues - Policy-based service differentiation - Active networking and QoS support - Multicasting QoS issues - Mechanisms for real-time differentiated services - NGI applications (distributed interactive virtual environments, etc.) - QoS-based routing - Dynamic Management of Communication Resources - Internet2 - Measurement, Characterization, and Modeling issues PAPER SUBMISSION ---------------- Extended abstracts of papers to be presented at the Workshop are solicited. Submissions should be limited to 10 double-spaced pages. Accepted papers will be published in the Workshop proceedings and will be considered for publication as articles in an edited book on the subject. The preferred format for electronic submission is PDF suitable for Acrobat Reader. Postscript with US Letter size pages will also be accepted. Papers should be emailed as attachments to Azer Bestavros by April 16, 1999. IMPORTANT DATES --------------- The deadline for submission of extended abstracts is April 16th 1999. Notification of acceptance will be sent out on April 30th. Camera-ready versions of accepted manuscripts will be due on May 14th. HOTEL INFORMATION: ----------------- The Workshop will be held at the Sheraton Wall Centre Hotel, which is located at the heart of beautiful downtown Vancouver, minutes away from the Waterfront and from many other attractions. For more information contact the hotel at the address below or visit it on the Web at http://www.sheratonwallcentre.com/ Sheraton Wall Centre Hotel 1088 Burrard Street Vancouver, British Columbia V6Z 2R9, Canada Tel: (604) 331-1000 Fax: (604)331-1001 Program Co-Chairs: ----------------- Azer Bestavros, Boston University Ragunathan Rajkumar, Carnegie Melon University Program Committee Members: ------------------------- Alia Atlas, BBN Marty Humphrey, University of Virginia Kevin Jeffay, University of North Carolina Ibrahim Matta, Northeastern University Ashish Mehra, IBM Katia Obraczka, USC Information Science Institute Karsten Schwan, Georgia Institute of Technology Kang Shin, University of Michigan Jack Stankovic, University of Virginia For more information check the workshop's home page on the Web at http://www.cs.bu.edu/pub/rtaw99 ------------------------------------------------------------------------------ Message 3; Postmarked Mon Mar 22 17:12:20 1999 From: "Wei Zhao [mailto:zhao@cs.tamu.edu] Subject: IEEE RTSS'99 Call for Papers Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Length: 6489 The 20th IEEE Real-Time Systems Symposium December 1-3, 1999 Phoenix, Arizona Sponsored by IEEE Computer Society TC on Real-Time Systems ============================================================== Symposium Home Page: http://www.cs.tamu.edu/conferences/rtss/ ============================================================== Scope of the Conference: The purpose of this symposium is to bring together researchers and developers from academia, industry and government to advance the scientific and engineering technologies of real-time computer and communication systems. Papers on all aspects of real-time systems are sought, including operating systems and scheduling, fault- tolerance, databases, programming languages, tools, communication networks, architectures, performance modeling, formal methods, case studies, and applications. Of particular interest are reports describing practical experiences and experimental results based on system building efforts, and real-time issues in applications such as avionics, multimedia, robotics, military C3I systems, automated process control, and manufacturing. ============================================================== Paper Submission Guidelines: Papers should describe original work, and be 20 double- spaced pages (5,000 words) or less in length. All accepted submissions will appear in the proceedings published by IEEE. The best papers from the conference may be considered for publication in a special issue of a journal (to be decided). The deadline for submission is May 1, 1999. If possible, submissions should be made electronically, either in postscript or PDF format. Additional details on submission guidelines will be posted at the conference home page. While electronic submissions are preferred, postal submissions will be accepted for review, provided they arrive by the submission deadline of May 1, 1999. All authors taking this option should mail eight (8) copies of their submitted papers to the Program Chair at the address below. A text file containing paper title, full name, affiliations, complete addresses, phone and fax numbers, email addresses, and an abstract of up to 150 words should also be emailed to the Program Chair. Prof. Wei Zhao c/o RTSS99 Assistant Department of Computer Science Texas A&M University College Station, TX 77843-3112 Phone: +1 409 845 3535 Email: realtime@cs.tamu.edu ============================================================== Workshop and Exhibition: RTSS'99 will co-host a workshop on November 30, 1999, directly before the conference. The focus of the workshop will be a "hot topic" of special interest to researchers and developers of real-time systems. Details on the workshop will be announced later. RTSS'99 will include an industrial exhibition in a centrally located space, for vendors to demonstrate state-of-the-art systems, development tools and applications, where RTSS attendees can engage in technical discussions with product engineers and developers; and where company representatives meet (and potentially recruit) young researchers specializing in real-time and embedded systems. To reserve space for the exhibition, please contact the RTSS'99 Exhibition Chair: Professor Lonnie R. Welch (welch@ohio.uta.edu) Work-in-Progress Session: As in previous years, RTSS'99 will include a Work-In-Progress (WIP) session, featuring short presentations on new and evolving work. Accepted WIP papers will be included in a special proceedings, and distributed to RTSS'99 conference participants. The proceedings will then be ypublished electronically on the IEEE-CS TC-RTS Home Page. WIP papers will be due approximately one month before the Symposium. ============================================================== Important Dates: * May 1, 1999 -- Deadline for paper submissions * July 31, 1999 -- Notification of acceptance * September 1, 1999 -- Final paper due * November 30, 1999 -- Workshop, Phoenix, Arizona * December 1-3, 1999 -- RTSS'99, Phoenix, Arizona ============================================================== RTSS'99 Organization Committee: General Chair Richard Gerber University of Maryland Program Chair Wei Zhao Texas A&M University Finance Chair Walt Heimerdinger Honeywell Technology Center Workshop and Exhibition Chair Lonnie R. Welch University of Texas at Arlington International Liaison Co-Chairs Wolfgang Halang Fern Universitaet Tei Wei Kuo National Chung Cheng University Industrial Liaison Co-Chairs Rakesh Jha Honeywell Technology Center Arkady Kanevsky The MITRE Corporation Work-In-Progress Paper Chair Biao Chen University of Texas at Dallas Ex-Officio (IEEE RTS-TC Chair) Lui Sha University of Illinois at Urbana-Champaign ============================================================== RTSS'99 Program Committee Theodore P. Baker Florida State University Riccardo Bettati Texas A&M Univesity Sanjoy K. Baruah The University of Vermont Alan Burns University of York Giorgio Buttazzo Scuola Superiore S. Anna Lisa Cingiser DiPippo University of Rhode Island Hans A. Hansson Malardalen University Jim Huang Honeywell Technology Center Jennifer Hou Ohio State University Gerhard Fohler Malardalen University Farnam Jahanian University of Michigan Kevin Jeffay University of North Carolina at Chapel Hill Michael B, Jones Microsoft Corporation Sanjay Kamat IBM T.J. Research Center Hermann Kopetz Vienna University of Technology Insup Lee University of Pennsylvania Kwei-Jay Lin University of California, Irvine Jane Liu University of Illinois at Urbana-Champaign Doug Locke Lockheed Martin Corporation Dave Marlow Naval Surface Warfare Center Joseph Kee-Yin Ng Hong Kong Baptist University Ragunathan (Raj) Rajkumar Carnegie Mellon University Krithi Ramamritham University of Massachusetts Karsten Schwan Georgia Institute of Technology Lui Sha University of Illinois at Urbana-Champaign Chia Shen MERL-A Mitsubishi Electric Research Lab Heonshik Shin Seoul National University Kang G. Shin The University of Michigan Sang Hyuk Son University of Virginia Neeraj Suri Boston University Horst F. Wedde University of Dortmund Farn Wang Taiwan Academia Sinica Wei Zhao (Chair) Texas A&M University ============================================================== ------------------------------------------------------------------------------ Message 4; Postmarked Tue Jan 12 09:59:39 1999 From: Peter Puschner Subject: CFP: Special Issue on Worst-Case Execution-Time Analysis Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 2958 REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Editors-in-Chief: John A. Stankovic, Wolfgang A. Halang and Kim-Fung Man Special Issue on WORST-CASE EXECUTION-TIME ANALYSIS The goal of worst-case execution time (WCET) analysis is to compute safe and tight bounds for the execution times of tasks. This knowledge about the worst-case timing of tasks is crucial for the development and verification of dependable real-time systems. WCET information must be available to allocate resources, to guide scheduling decisions, and to demonstrate the temporal correctness of real-time application programs. Papers are solicited for a Special Issue of Real-Time Systems on Worst-Case Execution Time Analysis. The aim of this issue is to document the state of the art in this crucial area of real-time systems research. Specific topics for this issue include, but are not limited to: * programming languages and constructs that support WCET analysis, * path analysis and path description, * combined WCET analysis and compilation, * hardware modeling (instruction execution, pipelining, caching, etc.), * alternative approaches to WCET analysis, and * execution-time testing. Submission Procedures: All manuscripts are subject to review. To be considered for publication, prospective authors should submit five hard copies of their complete manuscript to one of the following guest editors by April 15, 1999: Peter Puschner Alan Burns Institut für Techn. Informatik Department of Computer Science Technische Universität Wien University of York Treitlstr. 3/182 York, Y01 5DD A-1040 Vienna, Austria United Kingdom Email: peter@vmars.tuwien.ac.at Email: burns@cs.york.ac.uk Prospective authors are encouraged to make use of Kluwer's LaTeX journal style file. For detailed guidelines, please refer to the Instructions for Authors which is published regularly in the back of the journal. They may also be obtained by referring to Kluwer Academic Publishers' homepage http://www.wkap.nl, or by contacting Ms. Melissa Fearon at Kluwer Academic Publishers, 101 Philip Drive, Assinippi Park, Norwell, MA 02061, Tel: 781-871-6600, Fax: 781-871-7507, Email: . Real-Time Systems is a premier, top-quality, peer reviewed, archival journal publishing both research papers and reports on case studies. It is published in six issues annually with worldwide distribution to engineers, researchers, educators and libraries. Readers interested in subscribing to this journal should contact Kluwer Academic Publishers, Journals Department, P.O. Box 358, Accord Station, Hingham, MA 02018-0358, USA, Tel: 781-871-6600, Fax: 781-871-6528, Email: . ------------------------------------------------------------------------------ Message 5; Postmarked Mon Mar 22 11:34:40 1999 From: Gerhard Fohler [mailto:gfr@idt.mdh.se] Subject: Advance Program, 11th EUROMICRO Conference on RT Systems Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Length: 5550 Call for Participation and Advance Program The 11'th Euromicro Conference on Real-Time Systems University of York, York, UK June 9-11, 1999 http://www.idt.mdh.se/ecrts99 Important dates: April 15th Deadline for Work in Progress submissions May 4th Last day for early registration June 9-11 The Conference Programme June 9th 8:00 - 9:00 Registration 9:00 - 10:00 Opening and Keynote Session Chair: Alan Burns (UK) Please visit the Conference web for information about the keynote. 10.00-10.30 Coffee 10.30-12.30 Session 1 Real-Time & Control Chair: Guy Juanole (F) Improved scheduling of control tasks Anton Cervin (S) The Case for Feedback Control Real-Time Scheduling John A. Stankovic, Chenyang Lu, Sang H. Son (US) Rate Modulation of Soft Real-Time Tasks in Autonomous Robot Control Systems G. Beccari, S. Caselli, M. Reggiani, F. Zanichelli (I) Adaptation of Control System Performance by Task Reallocation and Period Modification Kang G. Shin, Charles L. Meissner (US) 12:30 - 2:00 Lunch 2.00-4.00 Session 2 Scheduling Chair: John A. Stankovic (US) Static-priority scheduling of multiframe tasks Sanjoy Baruah, Deji Chen, Aloysius Mok (US) An Approach to Task Attribute Assignment for Uniprocessor Systems Iain Bate, Alan Burns (UK) Rate Monotonic scheduling of real-time control systems with the minimum number of priority levels R. Cayssials, J. Santos, J. Orozco, E. Ferro (AR) Handling Sporadic Tasks in Off-line Scheduled Real-Time Systems Damir Isovic, Gerhard Fohler (S) 4.00-4.30 Tea 4.30-6.30 Session 3 Languages and Timing analysis Chair: Neil Audsley (UK) Worst-Case Execution Times and Schedulability Analysis of Statecharts Models Edwin Erpenbach, Peter Altenbernd (D) Time-Constrained Sorting - A Comparison of Different Algorithms Peter Puschner (A), Alan Burns (UK) Implementing mode changes with shared resources in Ada Jorge Real (SP), Andy Wellings (UK) Thursday, June 10th 8.30-9.30 Session 4 Work in Progress I Chair: Andy Wellings (UK) Please visit the Conference web for information about the WiP sessions 9.30-10.00 Coffee 10.00-12.00 Session 5 Formal Methods Chair: Eric Rutten (F) Splitting Reachability Analysis in Hybrid Automata Patrice Boisieau, Olivier Roux (F) Timed Automaton Model for Simple Programmable Logic Controllers Angelika Mader, Hanno Wupper (NL) Formally Specified Monitoring of Temporal Properties M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, O. Sokolsky (US) Experiments with parametric verification of real-time systems J. van Katwijk, R.C.M. de Rooij, W.J. Toetenel (NL) 12.00-1.30 Lunch 1.30-2.30 Session 6 Invited talk Chair: Ken Tindell (UK) Automotive Electronics Hermann Kopetz (A) 2.30-4.00 Session 7 Automotive and Distributed Systems Chair: JUri Vain (ES) A Comparison of Fixed-Priority and Static Cyclic Scheduling for Distributed Automotive Control Applications Henrik Lonn, Jakob Axelsson (S) Cluster Simulation -- Support for Distributed Development of Hard Real-Time Systems using TDMA-Based Communication Thomas M. Galla, Roman Pallierer (A) Distributed Real-Time Task Monitoring in the Safety-Critical System MELODY Horst F. Wedde, Jon A. Lind, Guido Segbert (D) 4.00-4.30 Tea 4.30-6.30 Session 8 Real-Time Communication Chair: Jean-Dominique Decotignie (CH) Protocol for Wireless Real-Time Systems Henrik Bengtsson, Elisabeth Uhlemann, Per-Arne Wiberg (S) Adding Local Priority-Based Dispatching Mechanisms to P-NET Networks: a Fixed Priority Approach Eduardo Tovar, Francisco Vasques (P), Alan Burns (UK) Finding the worst-case available transmission time for the timed token MAC protocol Sijing Zhang, E.Stewart Lee, Alan Burns, Hongji Yang (UK) Adaptive Dissemination of Data in Time-Critical Asymmetric Communication Environments Jesus Fernandez-Conde, Krithi Ramamritham (US) Friday, June 11th 8.30-9.30 Session 9 Work in Progress II Chair: Andy Wellings (UK) Please visit the Conference web for information about the WiP sessions 9.30-10.00 Coffee 10.00-11.00 Session 10 Hardware Chair: Lorenzo Mezzalira (I) Scheduling Coprocessor for Enhanced Least-Laxity-First Scheduling in Hard Real-Time Systems Jens Hildebrandt, Frank Golatowski, Dirk Timmermann (D) Hardware-Software Coverification of Concurrent Embedded Real-Time Systems Pao-Ann Hsiung (TW) 11.00-12.30 Session 11 QoS and Multimedia Chair: Martin Adelantado (F) On the Correctness of Multimedia Applications Erwan Demairy, Emmanuelle Anceaume, Valerie Issarny (F) Scheduling Real-Time Multi-Task Applications in an Open System Giuseppe Lipari, Giorgio Buttazzo (I) QoS Guarantee Using Probabilistic Deadlines Luca Abeni, Giorgio Buttazzo (I) 12.30-2.00 Lunch 2.00-3.00 Session 12 Reliability Chair: Anders Torne (S) Global Fault Tolerant Real-Time Scheduling on Multiprocessors Frank Liberato, Sylvain Lauzac, Rami Melhem, Daniel Mosse (US) Shadowing-based Crash Recovery Schemes for Real-Time Database Systems LihChyun Shu, Huey-Min Sun, Tei-Wei Kuo (TW) 3.00-3.30 Tea 3.30-5.00 Session 13 Overload Scheduling Chair: Giorgio Buttazzo (I) Dynamic Value-Density For Scheduling Real-Time Systems Saud Aldarmi, Alan Burns (UK) Value-Density Algorithms to Handle Transient Overloads in Scheduling Sijing Zhang, E.Stewart Lee, Alan Burns and Hongji Yang (UK) Performance of Algorithms for Scheduling Real-Time Systems with Overrun and Overload Mark K. Gardner, Jane W.S. Liu (US) 5pm Closing Visit our web at http://www.idt.mdh.se/ecrts99/ for more information. ------------------------------------------------------------------------------ Message 6; Postmarked Wed Mar 10 11:21:35 1999 From: Alceu.Frigeri@FernUni-Hagen.de (Alceu Heinke Frigeri) Subject: WRTP'99 & ARTDB-99 Call for Participation Content-Length: 19611 WRTP'99 & ARTDB-99 Second Announcement and CALL FOR PARTICIPATION Joint 24th IFAC/IFIP Workshop on Real-Time Programming and The Third International Workshop on Active and Real-Time Database Systems Schloss Dagstuhl, Saarland, Germany May 30th - June 2nd, 1999 Sponsored by IFAC Technical Committee on Real-Time Software Engineering IFIP Working Group on Industrial Software Quality and Certification [IFAC] [IFIP] and [Skovde] University of Skovde Organised by GI/GMA - Fachgruppe "Echtzeitsysteme" and [FernUniversitaet] FernUniversitaet in Hagen Co-Organised by University of Skovde and Schloss Dagstuhl Scope: The workshop will consist of formal presentations, discussions, and informal meetings covering recent advances and current issues in theory, applications, and technology of real-time programming and real-time database management. It is intended to promote interaction among researchers and practitioners and to evaluate the maturity of new directions in real-time software and real-time database systems. The topics to be covered include, but are not limited to: * Advances in real-time software engineering o Real-time programming languages o Requirements engineering methods for real-time systems o Software analysis and design methods for predictable behaviour and verification & validation o Object orientation in real-time environments * Real-time systems issues o Scheduling of real-time tasks and transactions o Real-time concurrency control and resource management o Real-time operating and database systems o Real-time system architectures o Communication in real-time systems o Distributed real-time and database systems * New directions in real-time database systems o Active and real-time databases, time-constrained rule management o Event monitoring under temporal constraints o Transactions with temporal urgency and validity constraints * Real-time software quality aspects o Verification and validation, esp. of timing and safety properties o Quality of service issues: Dependability, quality assurance etc. * Real-time applications and experience o Industrial applications and experience o Evaluation of current real-time systems and databases o Real-time/control systems with challenging time constraints Workshop Chair: Alceu Heinke Frigeri Faculty of Electrical Engineering FernUniversitaet Email: Alceu.Frigeri@FernUni-Hagen.de International Programme Committee: Co-chairs: Wolfgang A. Halang Faculty of Electrical Engineering FernUniversitaet Email: Wolfgang.Halang@FernUni-Hagen.de Sang H. Son Dept. of Computer Science University of Virginia Email: Son@CS.Virginia.edu ------------------------------------------------------------------ Members: Brad Adelberg Northwestern University, USA Sten F. Andler University of Skovde, Sweden Sven-Arne Andréasson Chalmers University of Technology, Sweden Azer Bestavros Boston University, USA Alan Burns University of York, UK ------------------------------------------------------------------ Matjaz Colnaric University of Maribor, Slovenia Alfons Crespo Universitat Politecnica de Valencia, Spain Anindya Datta University of Arizona, USA Jorgen Hansson University of Skovde, Sweden Mike Hinchey University of Nebraska-Omaha, USA ------------------------------------------------------------------ Joerg Kaiser Universitaet Ulm, Germany Tei-Wei Kuo National Chung Cheng University, Taiwan Swamy Kutti Deakin University, Australia Kam-Yiu Lam City University of Hong Kong, Hong Kong Phillip Laplante Pennsylvania Institute of Technology, USA ------------------------------------------------------------------ Kwei-Jay Lin University of California, USA C. Douglas Locke Lockheed Martin Corporation, USA Kin-F. Man City University of Hong Kong, Hong Kong Karlotto Mangold ATM Computer, Germany Marga Marcos Muñoz Universidad del Pais Vasco, Spain ------------------------------------------------------------------ Sias Mostert University of Stellenbosch, South Africa Leo Motus Tallinn Technical University, Estonia Carlos E. Pereira Universidade Federal do Rio Grande do Sul, Brazil Juan A. de la Puente Universidad Politecnica de Madrid, Spain Ragunathan Rajkumar Carnegie Mellon University, USA ------------------------------------------------------------------ Helmut Rzehak Universitaet der Bundeswehr Muenchen, Germany Abd-El-Kader Sahraoui Ecole Nationale Superieure D'Ingenieur des Constructions Aeronautiques, France Jean-Jacques Schwarz Institut National des Sciences Appliquees de Lyon, France Bran V. Selic ObjecTime Limited, Canada Alan Shaw University of Washington, USA ------------------------------------------------------------------ Jacques Skubich Institut National des Sciences Appliquees de Lyon, France Jack A. Stankovic University of Virginia, USA Tomasz Szmuc Stanislaw Staszic University of Mining and Metallurgy, Poland Theodor Tempelmeier Fachhochschule Rosenheim, Germany Paulo Jorge Verissimo Universidade de Lisboa, Portugal ------------------------------------------------------------------ Horst Wedde Universitaet Dortmund, Germany Janusz Zalewski University of Central Florida, USA Lichen Zhang Shantou University, P.R. China Wei Zhao Texas A&M University, USA National Organising Committee: Chair: Mohammad A. Livani Universitaet Ulm Rechner Strukturen D-89.069 Ulm, Germany Phone: +49(731)502 4177 Fax: +49(731)502 4182 Email: mohammad@informatik.uni-ulm.de Members: Sten F. Andler Joakim Eriksson Wolfgang A. Halang Alceu Heinke Frigeri Janine Magnussen Nicole Probst Language: English will be the working language of the workshop and will be used for the proceedings, the presentations and discussions. No simultaneous translation will be provided. Important Dates: Registration: until April 10th, 1999 Workshop: May 30th - June 2nd, 1999 Participation: Attendance will be limited to approx. 60 active workers in the field. Participants are requested to register in advance not later than April 10th, 1999. Advance Programme: * Discussion Panel Chair: Alex Buchmann Sunday: 19:00-20:30 o Anders Torne o Hoerst Wedde o Anindya Datta * Session: Requirements Engineering & Software Engineering Chair: TBA Monday: 8:30-10:00 o Aspects Of Flight Control Software - A Software Engineering Point Of View Alfred Rosskopf, Theodor Tempelmeier o A Tool For Validating Timing Requirements Of Industrial Applications Based On The Foundation Fieldbus Protocol R. Wild, C. E. Pereira o Timing Constraints And Object Oriented Design Mark Hermeling, Onno Van Roosmalen, Bran Selic * Session: Active and Real Time Data Base Systems Chair: TBA Monday: 10:30-12:30 o A Completely Integrated Approach To Developing, Implementing, Evaluating Distributed Active Database Management And Its OS Support Kwei-Jay Lin, Aloysius K. Mok, Krithivasan Ramamritham, Horst F. Wedde o Towards A General Real-Time Database Simulator Software Library Juha Taina, Sang H. Son o How To Construct Predictable Rule Sets Esa Falkenroth o Distributing Control Systems Using Active Rules Sten F. Andler, Joakim Eriksson, Mats Lundin * Keynote: TBA Monday: 14:00-15:00 * Session: Communication & Clock Synchronization I Chair: TBA Monday: 15:30-17:00 o Real-Time Treatments And Communications In SICODI DCS Miguel A. Garcia, Cesar De Prada o Developing A Testbed For Distributed Real-Time Applications P.T.Woolley, W.M.Walker, A.Burns o Distributing GPS Time Over LANs Using COTS Components Ulrich Schmid, Herbert Nachtnebel * Session: Embedded Systems & Case Studies Chair: TBA Monday: 17:30-19:00 o Well-behaved Applications Allow For More Efficient Scheduling Hans Otto Trutmann o A Hard Real Time Controller: A Case Study Krzysztof Sacha o Real-time Systems For Mobile Robotic Applications Based On A Behavioural Model F. Buendia, H. Hassan, J. Simo, A. Crespo * Session: Communication & Clock Synchronization II Chair: TBA Tuesday: 8:30-10:00 o Supporting Communicating Real-Time State Machines By A Customisable Actor Kernel Giancarlo Fortino, Libero Nigro, Francesco Pupo o Achieving Internal Synchronization Accuracy Of 50 Microseconds Under Message Delays Varying More Than 3 Msec Horst F. Wedde, Jon A. Lind, Guido Segbert o Congestion Control For ATM Real Time Upsurge Service Yuan Peijiang, Zhang Lichen * Session: Formal Methods Chair: TBA Tuesday: 10:30-12:30 o Modular Verification Of Function Block Based Industrial Norbert Voelker, Bernd J. Kraemer o Verification Of Real-time System Requirements: A Petri Net Approach Marcin Szpyrka o An Analyzable SDL Execution Model For Embedded Real-Time Systems. Manuel Diaz o H-Astral And Its Use In The Development Of Real-Time Control Systems K. Brink, R. Lutje Spelberg, W. Toetenel, J. Van Katwijk, J. Zalewski * Keynote: Janusz Zalewski Tuesday: 19:00-20:00 * Session: Operating Systems & Scheduling I Chair: TBA Wednesday: 8:30-10:00 o Real-Time Operating Systems On The Test-Bench M. Maechtel, H. Rzehak o Timing Analysis Of PL Programs Man Lin o Using Timed Automata For Response Time Analysis Of Distributed Real-Time Systems Steven Bradley, William Henderson, David Kendall * Session: Operating Systems & Scheduling II Chair: TBA Wednesday: 10:30-12:00 o Efficient Dynamic CPU Scheduling With Imprecise Knowledge Of Computation-Time Saud A. Aldarmi, Alan Burns o Schedulability Analysis For Real-time Processes With Age Constraints Dieter Zoebel o On The Schedulability Analysis For Distributed Real-Time Systems Shuhua Wang, Georg Faerber * Reserve Papers o An Object-Oriented Approach To Task-Graph Representation Ami Silberman, Alexander D. Stoyen, Karthik Sundaram o A Total Ordering Scheme For Real-Time Multicasts In CAN Mohammad Ali Livani, Joerg Kaiser o A Flexible Model Of Time Constraints For Control And Multimedia Real-Time Systems Jose M. Lopez, Daniel Garcia o Concepts From Deadline Non-Intrusive Monitoring Matthew Harelick, Alexander Stoyen o Developing Provably Correct Systems With OBSERV Shmuel Tyszberowicz, Amiram Yehudai o Building Re-Usable Components Using Formal Specifications For Complex Evolving Systems Grace Tsai, Wolfgang A. Halang o Building Safety-Critical Real-Time Systems With Synchronous Software Components Michael Gunzert o From Timed Automata To Testable Untimed Automata Eric Petitjean, Hacene Fouchal WRTP'99 & ARTDB-99 Online Registration: You may register yourself directly in our WWW home page. Otherwise, submit the following information to the National Organising Committee Chairman (address below): -------------------------------------------------------------------- Last Name: First Name: Affiliation: Street/POB: ZIP/Postal Code: City: Country: Phone: Fax: Email: Your Email address is the most important information for us to contact you. Arrival date: Sunday, May 30th or Saturday, May 29th -------------------------------------------------------------------- Please register me as follows Conference Fee(before April 10th): 200.00 Euro For late registration after April 10th, the charge increases to 300.00 Euro!! The conference fee includes the proceedings pre-prints, a single room and full board at Dagstuhl Castle from the afternoon of May 30th to noon of June 2nd, and social activities. Payment form: Please send a banker's cheque (in Europe a Eurocheque) made payable to Wolfgang Halang to the National Organising Committee Chairman: Mohammad A. Livani University of Ulm Rechnerstrukturen D-89.069 Ulm, Germany (Note: This form of payment is not to make Prof. Halang richer, but to save banking fees. He has a bank charging no fees!) -------------------------------------------------------------------- Location: International Conference and Research Center for Computer Science Schloss Dagstuhl or Dagstuhl manor house was built in 1760 by the then reigning prince Count Anton von Oettingen-Soetern-Hohenbaldern. After the French Revolution and occupation by the French in 1794, Dagstuhl was temporarily in the possession of a Lorraine ironworks. In 1806 the manor house along with the accompanying lands was purchased by the French Baron Wilhelm de Lasalle von Louisenthal. In 1959 the House of Lasalle von Louisenthal died out, at which time the manor house was taken over by an order of Franciscan nuns, who set up an old-age home there. In 1989 the Saarland government purchased the manor house for the purpose of setting up the International Conference and Research Centre for Computer Science. The first seminar in Dagstuhl took place in August of 1990. Every year approximately 2,000 research scientists from all over the world attend the 30-35 Dagstuhl Seminars and an equal number of other events hosted at the centre. Address: Schloss Dagstuhl Octavieallee D-66687 Wadern, Germany Phone: +49(6871) 905 0 Fax: +49(6871) 905 133 Features and Facilities: * Optimal working atmosphere and accommodation * Lecture halls, conference rooms, computer facilities with Internet access for each guest (every participant of the WRTP'99 ARTDB-99 workshop is going to have a personal account) * Comprehensive computer science research library * 60 rooms (single rooms cost about 135,-DM per day, and double rooms cost about 85,-DM per day per person); * dining halls capable of accommodating up to 80 persons * Communication-inducing climate * Centre nestled in scenic countryside making for an enjoyable stay Copyright Conditions: The material submitted for presentation at an IFAC workshop must be original, not published or being considered elsewhere. All papers accepted for presentation will appear in the Preprints of the meeting and will be distributed to the participants. Papers duly presented will be archived and offered for sale, in the form of Proceedings, by Elsevier Science Ltd., Oxford, UK. The presented papers will be further screened for possible publication in the IFAC journals Automatica and Control Engineering Practice, or in an IFAC affiliated journals. A record of all presented papers will also appear in Control Engineering Practice. Copyright of material presented at an IFAC meeting is held by IFAC. Authors will be sent a copyright transfer form. Automatica, Control Engineering Practice and, after these, IFAC affiliated journals have priority access to all contributions presented. However, if the author is not contacted by an editor of these journals, within three months after the meeting, the author is free to re-submit the material for publication elsewhere. In this case, the paper must carry a reference to the IFAC meeting where it was originally presented. For more detailed information see the WWW-Servers: http://www.fernuni-hagen.de/IT/wrtp99/ http://www.ifac-control.org ******* WRTP'99 ******* ARTDB-99 ******* WRTP'99 ******* ARTDB-99 ******* ------------------------------------------------------------------------------ Message 7; Postmarked Wed Mar 10 19:53:51 1999 Subject: CFP: IEEE Symposium on High Assurance Systems Engineering From: "David B. Stewart" Content-Length: 8081 Call For Papers HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering Special Theme in 1999: Integration Issues in High Assurance Embedded Systems Washington DC Metropolitan Area November 17-19, 1999 Objectives and Scope: Systems engineering is a discipline that focuses on the processes, methods, and tools needed to design, implement, integrate, and test complete systems. It requires cross-disciplinary expertise, ranging from formal methods and software engineering to experimental validation and hardware design. High assurance systems have demanding requirements either to ensure the safety of the users and environment or for economic survivability of the product. Requirements are typically in the form of high reliability, permanent availability, real-time constraints, security, and fault-tolerance. The HASE Symposium is a forum for discussion of systems engineering issues specifically for high-assurance systems. As a special theme for the fourth HASE Symposium, the focus will be on the development of embedded systems. Examples of high assurance embedded applications include large complex systems such as flight control systems, medical surgery equipment, unmanned air vehicles, military command and control, nuclear reactors, and secure telecommunication devices, as well as dedicated embedded systems such as vehicle braking, pacemakers, traffic-light control, MEMS, micro-robots, and satellites. In the past, experts from industry and government R&D labs represented close to half the attendees, while academicians represented the other half. Our goal is to maintain and improve this interaction between government, industry, and academia through a high-quality program of research papers, panel discussions, demonstrations, focussed workgroups, and presentations of case studies and experiences in systems engineering for high assurance embedded systems. Topics of interest include, but are not limited to: - software engineering for embedded systems - reliability of multi-sensor integration techniques - evolutionary design of complex systems - modeling user interaction with high assurance systems - high assurance optimization - hardware architectures for high assurance systems - security issues for information warfare - experimental evaluation of design trade-offs - documenting failures of high assurance systems - case studies of practical applications of formal methods - system life-cycle of critical embedded systems - assurance monitoring techniques - available all-the-time quality-of-service - criteria and methods for evaluating and testing - debugging tools and techniques - real-time analysis, verification, and validation of existing systems - automated design and integration of real-time systems - resource management for complex embedded systems - high-performance vs. low power/low cost trade-offs - interoperability of secure systems - architectures for fault detection and handling - securing information in portable devices ----------------------------------------------------------------------------- Submissions that emphasize interdisciplinary collaboration to meet the challenges of achieving high assurability, and experiences that describe the obstacles faced when integrating the embedded system, are strongly encouraged. ----------------------------------------------------------------------------- Submissions should be 11pt, 1.5 spacing, sent electronically as a PDF file, with a cover email to the Program Chair that includes the Title, Authors, Abstract, and Category for which it should be considered. Details for electronic submission are posted on the HASE 99 website (http://www.eng.umd.edu/hase99). Submission categories are the following: Research Paper [max 15 pages], primary for academicians, describing original research results and prototype development. Experience Paper Abstracts [max 2 pages], primarily for practitioners to relay experiences in creating high assurance systems. The abstract must discuss both strengths and weaknesses of the methods used for systems that have been built and deployed. Authors of accepted abstracts will have the opportunity to include a full paper in the proceedings. Position Papers: [max 1 page]. Members who want to be considered for a panel session can submit a position paper that discusses their view of any issue pertaining to high-assurance systems. Persons with strong position papers will be selected to participate in a related panel session. Panel Session Proposal [max 2 page overview, plus a 1-page position paper from each proposed panel member]. The proposal overview should introduce controversial issues related to systems engineering of high assurance systems. The position papers should be from panelists representing both sides. For example, find an industry person who is willing to say "xxxx theory is useless", and get a person doing the "xxxx theory"! Panels should have 3 to 5 members, plus the chair. At least half of the allotted time for the session should be for questions and answers. Thus, each member will be allotted approx. 5 minutes to summarize their view on the debatable issue. For the remainder of the time, the floor will be open to questions. Special Track Proposal. [max 2 pages] An overview of the proposed track should include the authors and titles of papers that have been submitted to the symposium that the chair would like to include in this special track. If at least three of those papers are accepted, the special track will be granted, and the track chair will have the opportunity to ask one additional person to present an invited paper. Persons seeking these special tracks should try to encourage people in the area to submit papers, to provide them maximum choice and highest quality in selecting papers. Focussed Workgroup Proposal. [max 1 page] A focussed workgroup consists of discussion by up to 10 people working in closely related areas, discussing possible new research issues or areas. At the symposium, each registrant will have the opportunity to participate in one of the selected focussed workgroups. Important Dates: Deadline for all submissions: April 7, 1999 Notification of acceptance: July 19, 1999 Camera-ready copy due: August 18, 1999 Organizing Committee: General Chair Raymond Paul paulra@acq.osd.mil Department of Defense Vice-General Chair David B. Stewart dstewart@eng.umd.edu University of Maryland http://www.ee.umd.edu/~dstewart Program Chair Catherine Meadows meadows@itd.nrl.navy.mil Naval Research Laboratory Finance and Registration Chair Bojan Cukic cukic@csee.wvu.edu West Virginia University Local Arrangements Chair Ing-Ray Chen irchen@cs.vt.edu Virginia Tech http://www.cs.vt.edu/~irchen Program Committee Andrea Bondavali CNUCE-CNR, Italy Ing-Ray Chen Virginia Tech Bojan Cukic West Virginia University Mario Dal Cin University of Erlangen, Germany Herb Hecht SoHaR, Inc. Mats Heimdahl University of Minnesota Carol Hoover Carnegie Mellon University Bruce Jacob University of Maryland Farnam Jahanian University of Michigan Myong Kang Naval Research Laboratory Taghi Khoshgoftaar Florida Atlantic University Sukumaran Nair Southern Methodist University Tolety Perraju GTE Bill Sanders University of Illinois at Urbana-Champaign Ann Tai IA Tech Victor Winter Sandia National Laboratories I-Ling Yen University of Texas at Dallas For more information (including details on electronic submissions), see http://www.eng.umd.edu/hase99. For samples of papers from previous years, see our past special issues: HASE 96: Communications of the ACM January 1997 HASE 97: IEEE Computer April 1998 ------------------------------------------------------------------------------ Message 8; Postmarked Fri Feb 19 10:41:52 1999 From: "Sang Hyuk Son [mailto:son@cs.virginia.edu] Subject: WECWIS'99: Call for participation Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Length: 6554 WECWIS'99 International Workshop on Advance Issues of E-Commerce and Web-based Information Systems Santa Clara, California, April 8-9, 1999 Workshop Hompage: www.eng.uci.edu/~klin/Wecwis.html Advance Program of WECWIS'99 --------------------- Day 1 (April 8, Thursday) ------------------ 8:15. Openning Remarks 8:30 - 9:30. Keynote: Stuart Feldman, IBM 10:00 - 12:00. Session I. Real-Time Issues in E-Commerce and WIS * A Real-Time Protocol for Stock Market Transactions S. Subramanian and M. Singhal, Ohio State University, USA * Data Broadcast for Time-Constrained Read-Only Transactions in Mobile Computing Systems Kam-yiu Lam, E. Chan, and C. Yuen City University of Hong Kong, Hong Kong * Mirror: A State-conscious Concurrency Control Protocol for Replicated Real-Time Databases Ming Xiong, K. Ramamritham, J. Haritsa, J. Stankovic Univ. of Massachusetts, USA * A Real-Time Monitoring System for Financial Transactions Q. Zhong and H. Wang, Chinese Academy of Science, China 12:00 - 1:30. Lunch 1:30 - 3:30. Session II. Web-based Business Models and Architectures * A Quantitative Analysis of the Behavior of a Large Non-English E-Broker V. Almeida, W. Meira Jr., V. Ribeiro, N. Ziviani, Univ. Federal de Minas Gerais, Brazil * Proposal of Application Architecture in E-Commerce Service between Companies M. Mori, H. Tsuru, R. Itsuki, H. Yajima, Hitachi, Japan * Customization Rule Generation for Electronic Sales Promotion System in Wholesale Industry M. Yumoto, K. Oh, N. Komoda, T. Mori, Osaka University, Japan * Business-to-Business E-Commerce with Open Buying on the Internet L. Liu, J. Tian, J. Li, J. Chung, IBM China Research Lab, China 4:00 - 6:30. Work-in-Progress/Industrial Session Chair: Jen Yao Chung 7:00. Banquet ------------------------ Day 2 (April 9, Friday) ------------------ 8:30 - 10:00. Session III. New Approaches and Infrastructures * A Component-Oriented Approach For Enterprise-Devoted E-Commerce M. Abolhassani and G. Szentivanyi Delft University of Technology, The Netherlands * An Advanced Multimedia Infrastructure for WWW-based Information Systems F. Rousseau and A. Duda, Open Group Research Institute, France * Active and Real-Time Functionalities for Electronic Brokerage Design M. Beck, P. Konana, G. Liu, Y. Liu, A. Mok, University of Texas at Austin, USA * The Evolution of Business-to-Business Commerce Systems: The Influence of New Information Technology Models Jim Senn, Georgia State University, USA 10:30 - 12:30. Session IV. Invited Papers * A Conceptual Annotation Approach to Indexing in a Web-based Information System E. Bertino, B. Catania, G. Zarri, University of Milan, Italy * Customization in Online Trade Processes A. Basu and S. Muylle, Vanderbilt University, USA * The Effect of Bargaining in Electronic Commerce T.-P. Liang and H.-S. Doong, National Sun Yat-sen University, Taiwan 12:30 - 2:00. Lunch 2:00 - 3:00. Session VII. Metadata and Security * Semantic Metadata for the Integration of Web-based Data for E-Commerce Christof Bornhovd, Darmstadt University of Technology, Germany * Towards a scalable PKI for E-commerce systems C. Wang and W. Wulf, University of Virginia, USA 3:30 - 5:00. Panel 5:00. Closing Remarks ------------------------------------------------------------------------ International Workshop on Advance Issues of E-Commerce and Web-based Information Systems Santa Clara, California, April 8-9, 1999 Workshop Hompage: www.eng.uci.edu/~klin/Wecwis.html Please fill in all the fields, and then send the form to the Workshop Co-Chair, Kwei-Jay Lin. ________________________________________________________________________ WECWIS'99 Registration Form First Name: ___________________________________________________________ Last Name: ___________________________________________________________ Affiliation: ___________________________________________________________ Address: ___________________________________________________________ ___________________________________________________________ City: ___________________________________________________________ State/Provice: ____________________ Country: ___________________ Zip/Code: _____________________ Email: ___________________ Phone: ______________________ Fax: ___________________ IEEE Number: ______________________ Vegetarian? ___________________ REGISTRATION Fee By 20 March After 20 March IEEE Member $300 $375 Regular $325 $400 Full-Time Student $200 $250 Extra Banquet Tickets _____ @ $50.00 ea = $ ________ Total: Add up your above charges, and enter the total due below, payable in US dollars. The total fee below is the amount you will be charged on your credit card, if one is used. Enter the card type, number, expiration date, and your name as it appears on the card. Payment can me made with Visa, MasterCard, Check or Money Order. Total Due: US $ __________ Payment Method: _________ Card Number: ________________ Exp Date (MM/YY): __________ Name on card: ______________________________________________ Signature: ______________________________________________ Email, FAX or mail your form to the following address: Kwei-Jay Lin Dept ECE University of California, Irvine Irvine, CA 92697-2625 Fax: 1-949-824-2321 Email: klin@uci.edu Hotel Information Please call hotel (1-800-255-9925) directly to make your reservation. Biltmore Hotel & Suites 2151 Laurelwood Road, Santa Clara, CA 95054 Res: (800) 255-9925, (408) 988-8411, fax: (408) 988-0225 http://www.hotelbiltmore.com Room Rate for WECWIS'99 Participants: Wednesday April 7: Courtyard $139, Tower Suite $179 Thursday and Friday, April 8-9: Courtyard $99, Tower Suite $119 Local Information The Biltmore is three miles from San Jose International Airport, one mile from Santa Clara Convention Center and Paramount's Great America theme park, and an easy five miles to downtown San Jose and its Convention Center. Museums, restaurants and entertainment are nearby. Please visit http://www.hotelbiltmore.com/locat.htm for map and direction. ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------