Subject: IEEE-CS TC-RTS Newsletter for Mon Oct 25, 1999 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. Wei Zhao [realtime@cs.tamu.edu] (419 lines) Call for Participation: RTSS99 Dec 1 - 3, 1999..................... 3 2. "Azer Bestavros" (198 lines) Call For Paper: RTAS 2000.......................................... 422 3. Insup Lee (154 lines) ISORC'2000 CFP..................................................... 619 4. Gerhard Fohler [mailto:gerhard@vmars.tuwien.ac.at] (76 lines) REAL-TIME SYSTEMS: Special Issue CFP............................... 774 5. Marty Humphrey [mailto:humphrey@cs.virginia.edu] (193 lines) Call for Papers (due Dec 1): 12th Euromicro RT Systems Conference.. 850 6. "Lonnie Welch" (87 lines) International Workshop on Real-Time Mission-Critical Systems....... 1043 7. "E. Allen Emerson" (150 lines) CAV 2000 call for papers........................................... 1130 8. "Catherine A. Meadows" (276 lines) HASE99 Call for participation and advance program.................. 1280 9. Alfons Crespo (177 lines) Call for Papers WRTP2000........................................... 1556 10. "Bruce H. Krogh" (26 lines) Hybrid Systems: Computation And Control............................ 1733 11. Farnam Jahanian [mailto:farnam@eecs.umich.edu] (127 lines) International Conference on Dependable Systems and Networks........ 1759 12. Amy W. Apon [mailto:aapon@comp.uark.edu] (76 lines) Call for Papers, WPDRTS 2000....................................... 1891 13. "Azer Bestavros" (73 lines) Job: Assistant Professorships at Boston University................. 1962 14. Ibrahim Kamel (33 lines) Job: Scientist at Panasonic Research............................... 2035 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Wed Oct 13 17:32:29 1999 From: Wei Zhao [realtime@cs.tamu.edu] Subject: Call for Participation: RTSS99 Dec 1 - 3, 1999 Content-Length: 15656 Hi, We would like to invite you to attend RTSS'99. This year, we will celebrate the 20-th anniversary of this symposium. Special events have been planned. Please join us for the celebration! No, It is not too late to submit your paper to RTSS'99! Contributions to Work-In-Progress (WIP) sessions of RTSS'99 are being sought. Submission guidelines are posted at http://rtss99.cs.tamu.edu:8082/wip_submit.html We apologize to those who receive multiple copies of this email. Please let me know if you do not wish to be on this mailing list. The rest of this email contains the detailed information about the conference. You may always visit http://www.cs.tamu.edu/conferences/rtss to find out the latest information about RTSS'99 See you in Phoenix! Wei Zhao, P.C. Chair of RTSS'99 ============ Call For Participation ==================== The 20th IEEE Real-Time Systems Symposium 0. Important Dates 1. Highlights of the Program 2. Advance Program 3. Hotel Information 4. Registration 5. Organization Committee ============ 0. Important Dates ======================= ** November 1, 1999 -- Submission deadline for WIP papers ** November 10, 1999 -- Deadline for hotel reservations ** November 15, 1999 -- Deadline for advance registration ** November 30, 1999 -- Pre-Conference Workshop, Phoenix, Arizona ** December 1-3, 1999 -- RTSS '99, Phoenix, Arizona ============ 1. Highlights of RTSS'99 Program ========= This year, we will celebrate the 20-th anniversary of this symposium. Special events have been planned: ** Keynote Speeches: * David Tennenhouse, Chief Scientist, Defense Advanced Research Projects Agency (DARPA), 'It's Time to Get Physical' * Jim Kurose, Professor and Chair, Department of Computer Science, University of Massachusetts at Amherst, 'Scalable Network Support for Multimedia, Real-Time Communication' * C. L. Liu, President, National Tsing Hua University, 'From Time Sharing to Real Time - Sharing of a Really Good Time in the Last 40 Years' ** Award Ceremony. The IEEE CS Technical Committee on Real- Time Systems will present awards to those who have made significant contributions in leadership, technology advances, and service. **Panel on Challenges of Real-Time Computation and Communication, chaired by Lui Sha, Department of Computer Science, University of Illinois at Urbana-Champaign **Publication of a CD that contains all the papers in 20 RTSS Proceedings. Many of these RTSS papers have made significant impact in advancing the real-time technology. This CD collects them all. **Banquet for celebrating twenty years of achievement in the field of real-time systems. The banquet will also feature a surprise jazz concert. Regular Symposium Programs -------------------------- **Multi track paper presentations. 40 papers of high quality, selected from more than 140 submissions, will be presented in 12 sessions. **Workshop. On November 30, 1999, RTSS'99 will co-host a Workshop on Real-Time Mission Critical Systems. For details, visit http://www.cs.tamu.edu/conferences/rtss/workshop.html **Exhibition. RTSS'99 will include an industrial exhibition in a centrally located space, for vendors to demonstrate state-of-the-art systems, tools and applications. To reserve space for the exhibition, please contact the RTSS'99 Exhibition Chair: Lonnie Welch (welch@ohio.edu) **WIP Sessions. It is not too late to submit a paper to RTSS! We will have two sessions for work-in-progress (WIP) papers. WIP paper submissions are due on November 1, 1999. For details, please visit http://rtss99.cs.tamu.edu:8082/wip_submit.html ============= 2. RTSS'99 Advance Program ============= November 30, 1999 , Workshop on Real-Time Mission-Critical Systems For details, see http://www.cs.tamu.edu/conferences/rtss December 1, 1999 8:00am Continental Breakfast 8:30am Welcome (R. Gerber and W. Zhao) 8:45am - 9:45am Keynote Speech 'It's Time to Get Physical', David Tennenhouse, Chief Scientist, DARPA 9:45am - 10:15am Coffee break 10:15am - 12:00noon Session I: Timing Issues (Chair: L. Welch) Timing Anomalies in Dynamically Scheduled Microprocessors, T. Lundqvist and P. Stenstrvm Analysis of the Impacts of Overestimation Sources on the Accuracy of Worst Case Timing Analysis, S. Kim, R. Ha, and S. Min Deriving Deadlines and Periods for Real-Time Update Transactions, M. Xiong and K. Ramamritham QoS Provisioning with qContracts in Web and Multimedia Servers, T. Abdelzaher and K. Shin 12:00noon - 1:00pm Lunch 1:00pm - 2:45pm Session II: Scheduling Algorithms (Chair: C. Shen) Design and Evaluation of a Feedback Control EDF Scheduling Algorithm, C. Lu, J. Stankovic, G. Tao, and S. Son New Results on Fixed Priority Aperiodic Servers, G. Bernat and A. Burns Optimal Reward-Based Scheduling for Periodic Real-Time Tasks, H. Aydin, P. Mejia-Alvarez, R. Melhem, and D. Mosse Cooperative Scheduling of Multiple Resources, S. Saewong and R. Rajkumar 2:45pm - 3:00pm Coffee Break 3:00pm - 4:00pm Panel (Chair: L. Sha) Challenges of Real-Time Computation and Communication 4:00pm - 5:00pm Session A: WIP Papers (Chair: B. Chen) The deadline for paper submission to the WIP sessions is Nov. 1, 1999. For details, see http://www.cs.tamu.edu/conferences/rtss 6:00pm - 7:00pm Meeting of IEEE TC on Real-Time Systems (Chair: L. Sha) December 2, 1999 8:00am Continental Breakfast 8:30am - 9:30am Keynote Speech 'Scalable Network Support for Multimedia, Real-Time Communication' Jim Kurose, Professor and Chair, University of Massachusetts at Amherst 9:30am - 10:00am Coffee break 10:00am - 12:00pm Session III: Specification and Verification (Chair: G. Fohler) Specification and Analysis of Soft Real-Time Systems: Quality and Quantity, P. D'Argenio, J. Katoen and E. Brinksma High-Level Modeling and Analysis of TCAS, J. Lygeros, Livadas, and N. Lynch Formal Techniques for Dependable RT Protocols, P. Sinha and N. Suri SRDE-Application of Data Similarity to Process Control, D. Chen and K. Mok 10:00am - 12:00noon Session IV: Task Coordinations (Poster) On the Efficient Scheduling of Non-Periodic Tasks in Hard Real-Time Systems, M. Thomadakis and S. Liu Enabling Deadline Scheduling for Java Real-Time Computing, C. Lizzi A Framework for Scheduler Synthesis, K. Altisen, G. Goesler, A. Pnueli, J. Sifakis, S. Tripakis and S. Yovine On Scheduling Tasks in Reliable RT Control Systems, R. Chandra and L. Sha 12:00noon - 1:00pm Lunch 1:00pm - 2:50pm Session V: RT Communication (Chair: A. Bestavros) A Framework for Provisioning of Temporal QoS in Core- Based Multicast Routing, H. Tyan, C. Hou, and B. Wang Transport of MPEG Video with Statistical Loss and Delay Guarantees in ATM Networks, S. Kweon and K. Shin Efficient Delay Computation Methods for an ATM Network with Real-Time Video Traffic, J. Ng, S. Song, and B. Tang Parallel Switching in Connection-Oriented Networks, J. Anderson, S. Baruah, and K. Jeffay 1:00pm - 2:50pm Session VI: New Applications (Poster) Remote Controlled Mobile Imaging in a High Temperature Tunnel Environment, G. Mauer and C. Fernando The HoneyWEB: Embedded Web-based Control Applications, C. Iaccarino, D. Perozzi, M. Sigel, A. Staikos, R. Taylor Jr., and P. Morreale IP Security Impact on System Performance in a Distributed Real-Time Environment, B. Chappell, D. Marlow, P. Irey IV, and K. O'Donoghue Time-based Linux for Real-Time NOWs and MPI/RT, M. Apte, S. Chakravarthi, A. Skjellum, and X. Zan 3:10pm - 5:00pm Session VII: System Development (Chair: S. Liu) FARACost: An Adaptation Cost Model Aware of Pending Constraints D. Rosu and K. Schwan System-Level Issues for Software Thread Integration: Guest Triggering and Host Selection, A. Dean and J. Shen Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel, Y. Wang and K. Lin An FPD Open Environment for RT Applications, T. Kuo and C. Li 3:10pm - 5:00pm Session VIII: Design and Implementations (Poster) Testing the Temporal Behavior of Real-Time Tasks using Extended Evolutionary Algorithms, J. Wegener, H. Sthamer, and H. Pohlheim Design and Implementation of SRMS in Linux, A. Atlas and Bestavros RT Garbage Collection in Multi-Threaded Systems, F. Siebert Proportional Time Simulation of ATM Networks, S. House, S. Murthy, and D. Niehaus 5:30pm - 6:30pm Session B: WIP Papers (Chair: T. Znati) 7:00pm - 9:00pm Award Ceremony and Conference Banquet December 3, 1999 8:30am - 9:30am Keynote Speech 'From Time Sharing to Real Time - Sharing of a Really Good Time in the Last 40 Years', C. L. Liu, President, National Tsing Hua University 9:30am - 10:00am Coffee Break 10:00am - 12:00noon Session IX: Resource Management (Chair: J. Huang) Sharing Resources among Periodic and Aperiodic Tasks With Dynamic Deadlines, M. Caccamo, G. Lipari, and G. Buttazzo Pfair Scheduling of Fixed and Migrating Tasks on Multiple Resources M. Moir and S. Ramamurthy The Rate-Based Execution Model, K. Jeffay and S. Goddard A Scalable Solution to the Multi-Resource QoS Problem, C. Lee, J. Lehoczky, D. Siewiorek, R. Rajkumar and J. Hansen 12:00noon - 1:15pm Lunch 1:15pm - 3:15pm Session X: Distributed Systems (Chair: D. Locke) Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems, J. Palencia and M. Harbour Priority Inheritance and Ceilings for Dis. Mutual Exclusion, F. Mueller Hierarchical Scheduling of Periodic Messages in Open System, L. Zhang, J. Liu, Z. Deng, and I. Philp Towards Systematic Testing of DRT Systems, H. Thane and H. Hansson ============= 3. RTSS'99 Hotel Information ============= RADISSON RESORT & SPA SCOTTSDALE 7171 North Scottsdale Rd., Scottsdale, AZ 85253 USA Telephone: (480) 991-3800; Fax: (480) 948-1381 The Radisson Resort & Spa Scottsdale is a 318-room building located on 76 acres of lushly landscaped resort grounds located in the heart of Scottsdale's resort and golf area. Enjoy splendid views of the McDowell Mountains, and 36 holes of championship golf. Room amenities include coffee maker, hairdryer, iron/ironing board, with 21 lighted tennis courts, 3 outdoor heated pools and a brand new state-of-the-art health spa. Hotel self-parking is complimentary for overnight guests. The hotel is located north of downtown Scottsdale Road at Indian Bend. Take I-10 to 60 East. Take Rural Road North Exit, which turns into Scottsdale. The resort is located past Indian Bend on the right. Accommodations: RTSS'99 has arranged a block of rooms at the Radisson Resort & Spa Scottsdale at a special conference rate of $125.00 + 10.67% tax single or double per day. Triple Occupancy is $135.00 + 10.67% tax, and Quad Occupancy is $145.00 + 10.67% tax per day. In order to receive this group rate, it is imperative that individuals indicate the following group name: 'IEEE Real-Time Systems Symposium' when making reservations on or before November 10, 1999. For reservations call (800) 333-3333 or (480) 991-3800, or Fax: (480) 948-1381. Cancellation: Individuals must cancel 72 hours or 3 days prior to arrival date in order not to be charged for the first night's room and tax. Check-in Time: 4:00 p.m. Check-out Time: 12:00 noon Cut-off Date for guaranteed guest room reservations is NOVEMBER 10, 1999. Please make your reservations EARLY in order to guarantee a room. All reservations must be guaranteed and accompanied by a first night room deposit, or guaranteed with a major credit card. After NOVEMBER 10, 1999, all excess rooms will be released. Any reservation received after the cut-off date will be accepted on a space available basis at the group rate. Transportation: All Trans Service to/from hotel: Please pick up phone at Baggage Claim area for Radisson Resort & Spa Scottsdale, and All Trans will arrange to pick you up. You will have a choice of shuttle service ($12.00 per person), or Town Car Service ($14.00 per person., unless after 4:00 p.m., then cost is $28.00 per car). No reservations required for service from Airport to Radisson Resort & Spa Scottsdale. Taxi to or from Phoenix Skyharbor Airport is approximately $25.00. Directions From Phoenix Skyharbor International Airport: Phoenix Skyharbor International Airport is 12 miles, or a 20-25 minute drive from the resort. From the airport, take 44th St. Exit it will turn into McDonald Drive. Take McDonald Drive to Scottsdale Road and turn left on Scottsdale the resort will be on the right. ============= 4. RTSS'99 Registration ============= You may register in three different ways: 1) fill in this form and mail it to Linda Buss (see the address below); 2) visit the conference home page for on-line registration; 3) email the required information to realtime@cs.tamu.edu Name _____________________________________________ Affiliation ______________________________________ Street Address ___________________________________ City ______________ State ______ Zip Code ________ Country _____________ Email ______________________ Phone _______________ Fax ________________________ If you are going to register as an IEEE Member, please provide your IEEE Membership No: ___________ Workshop Fees Category Before Nov. 15 After Nov. 15 IEEE Members $150 $180 Non-Members $180 $220 Symposium Fees Category Before Nov. 15 After Nov. 15 IEEE Members $450 $550 Non-Members $570 $690 Full-time Students $240 $300 Workshop Fee $ ____________________________________ Symposium Fee $ ___________________________________ Total Due $ _______________________________________ Conference registration includes admission to conference, copy of proceedings, one copy of the CD, continental breakfasts, lunches, coffee breaks, and the conference banquet. The workshop fees include continental breakfast, lunch, coffee breaks and a copy of the workshop proceedings. The student fee includes admission to all the events of the symposium, and a copy of the proceedings. To receive the student rate, the student should present the advisor name and signature at the time of registration. Advisor name ________________ Signature ___________________ Written requests for refunds must be postmarked no later than Nov. 15, 1999. Refunds are subject to a $50 processing fee. All no-show registrations will be billed in full. Registrations after 11/15/99 will be accepted on-site only. NOTE: To save on postage, receipts will be given out at the conference. Credit Card [] Visa [] Master [] American Express Credit Card Number ________________________________ Cardholder Name ___________________________________ Credit Card Expiration Date _______________________ Total Charges Authorized __________________________ Signature of Card Holder __________________________ For any questions on registration, please contact Linda Buss, E3774 - 550th Ave., Menomonie, WI 54751; Phone 715- 235-0487; Fax 715-235-2258 or 715-232-6244; email LJBuss@win.bright.net ========== 5. RTSS'99 Organization Committee ============ General Chair Richard Gerber University of Maryland Program Chair Wei Zhao Texas A&M University Finance Chair Walt Heimerdinger Workshop and Exhibition Chair Lonnie R. Welch International Liaison Co-Chairs Wolfgang Halang Tei Wei Kuo Industrial Liaison Co-Chairs Rakesh Jha Arkady Kanevsky WIP Paper Chair Biao Chen Ex-Officio (IEEE RTS-TC Chair) Lui Sha Program Committee Theodore P. Baker Riccardo Bettati Sanjoy K. Baruah Alan Burns Giorgio Buttazzo Lisa Cingiser DiPippo Hans A. Hansson Jim Huang Jennifer Hou Gerhard Fohler Farnam Jahanian Kevin Jeffay Michael Jones Sanjay Kamat Hermann Kopetz Insup Lee Kwei-Jay Lin Jane Liu Doug Locke Dave Marlow Joseph Kee-Yin Ng Ragunathan (Raj) Rajkumar Krithi Ramamritham Karsten Schwan Lui Sha Chia Shen Heonshik Shin Kang G. Shin Sang Hyuk Son Neeraj Suri Fang Wang Horst F. Wedde ------------------------------------------------------------------------------ Message 2; Postmarked Sat Sep 11 19:47:27 1999 From: "Azer Bestavros" Subject: Call For Paper: RTAS 2000 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Length: 7167 Sixth IEEE Real-Time Technology and Applications Symposium Washington D.C., USA May 31-June 2, 2000 Sponsored by The IEEE Computer Society Technical Committee on Real-Time Systems 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, full-paper presentations and work-in-progress sessions. Full-length papers, work-in-progress abstracts and tutorial proposals on various aspects of real-time computing and communication are sought, including QoS issues in computation and networking, systems integration, scheduling, operating systems, middleware, software engineering, dependability, databases, programming languages, system development tools, performance modeling, and various applications like multimedia, telecommunication and embedded systems. Of particular interest are papers detailing experiments, implementations, and experiences in application domains including, but not limited to, the following: Intelligent highway systems Robotics and automation Avionics Digital libraries Information appliances and home networks Internet applications and e-commerce Multimedia systems and video on demand Object-oriented design techniques Process control Testbeds and measurements Wireless applications The highest-quality student paper will be selected for a Best student paper award. To be considered for this award, the work in the paper must be conducted mainly by a student or students, the first author should be a student, and the student must present the paper at RTAS00. The best papers presented at the Symposium will be forwarded to the IEEE Transactions for fast-track publication (most likely in the IEEE/ACM Transactions on Networking, IEEE Transactions on Parallel and Distributed Systems, and Real-Time Systems Journal.) ------------------------------------------------------------------------ Submission Guidelines Manuscripts to be considered as full papers should be limited to 20 double-spaced pages. Work-in-progress abstracts to be considered for an "Ongoing Work" session should be limited to 6 double-spaced pages. Paper submissions should reach the program chair by December 10, 1999. Both hard-copy and electronic submissions will be accepted (electronic submission is preferred) as explained below. Any paper submitted to the Symposium must not have been published in or submitted elsewhere. Electronic Manuscript Submission: The preferred format for electronic submission is PDF suitable for Acrobat Reader. Postscript with US Letter size pages will also be accepted. Details on web submission guidelines is posted at http://rtas.eng.ohio-state.edu/paper_submission.html Hard-copy Manuscript Submission: If electronic submission is not possible, then six copies of each full-paper manuscript or work-in-progress abstracts should be mailed to the program chair Prof. Jennifer C. Hou Department of Electrical Eng. Email: jhou@ee.eng.ohio-state.edu The Ohio State University Phone: 614-292-7290 2015 Neil Ave Fax: 614-292-7596 Columbus, OH 43210-1272 In addition, a 150-word abstract (in ASCII) must be e-mailed to the Program Chair at by December 10, 1999. Tutorial Proposals Submission: Proposals for half-day tutorials in technically appealing areas of the Symposium are also solicited. Tutorial proposals should be submitted to the tutorial chair, Dr. Sandra R. Thuel, by December 17, 1999. Inquiries and Questions: For more information about the Symposium, send e-mail to the General Chair Kang G. Shin at kgshin@eecs.umich.edu. For questions regarding conference submissions, send e-mail to the Program Committee Chair Jennifer C. Hou at rtas@ee.eng.ohio-state.edu. The Web page for the conference can be accessed at http://rtas.eng.ohio-state.edu/. ------------------------------------------------------------------------ Important Dates December 10, 1999 -> Deadline for full-length manuscript submission December 17, 1999 -> Deadline for tutorial proposal submission February 28, 2000 -> Notification of acceptance of papers and tutorials March 10, 2000 -> Deadline for WIP abstract submission April 7, 2000 -> Deadline for camera-ready of accepted manuscripts May 30, 2000 -> Tutorials May 31 --June 2, 2000 -> RTAS'00, Washington D.C. ------------------------------------------------------------------------ Organizing Committee General Chair * Kang G. Shin, University of Michigan Program Committee Chair * Jennifer C. Hou, Ohio State University Finance Chair * Kwei-Jay Lin, Univ. of California, Irvine Tutorial Chair * Sandra R. Thuel, Lucent Bell Labs Research Work-In-Progress Paper Chair * Parmesh Ramanathan, University of Wisconsin, Madison Publicity Co-Chairs * Sarit Mukherjee, Panasonic Technologies, Inc. * Steven C. Hsueh, National Chung Cheng Univ., Taiwan Local Arrangements Chair * David Stewart, University of Maryland, College Park Program Committee Members * Vaduvur Bharghavan, University of Illinois, Urbana Champaign * Jon Crowcroft, University College London * Rene Cruz, University of California at San Diego * J. J. Garcia-Luna-Aceves, University of California at Santa Cruz * Mario Gerla, UCLA * Roch Guerin, Univ. of Pennsylvania * Marty Humphrey, Univ. of Virginia * Michael Jones, Microsoft Research * Kevin Jeffay, Univ. of North Carolina at Chapel Hill * Tei-Wei Kuo, National Chung-Cheng Univ., Taiwan * T.V. Lakshman, Lucent Bell Labs Research * Insup Lee, Univ. of Pennsylvania * K.-J. Lin, Univ. of California at Irvine * Jane Liu, University of Illinois, Urbana Champaign * Ibrahim Matta, Boston University * Ashish Mehra, IBM T.J. Watson Research * Sarit Mukherjee, Panasonic Research Labs * Joseph Ng, Hong Kong Baptist Univ. * Kihong Park, Purdue University * Sanjoy Paul, Lucent Bell Labs Research * Raj Rajcumar, Carnegie Mellon Univ. * Parmesh Ramanathan, Univ. of Wisconsin at Madison * Sandra R. Thuel, Lucent Bell Labs Research * Jennifer Rexford, AT&T Research * Debanjan Saha, Lucent Bell Labs Research * Lui Sha, University of Illinois, Urbana Champaign * Hyun-Sik Shin, Seoul National Univ. * Douglas Schmidt, WUSL * Jack Stankovic, Univ. of Virginia * Mori Takegaki, Mitsubishi Electric Corp. * Rose Tsang, Sandia National Laboratories * Farn Wang, Acad. Sinica, Taiwan * Andy Wellings, Univ. of York, UK * Wei Zhao, Texas A&M Univ. ------------------------------------------------------------------------ For more information check RTAS'00 Home Page at http://rtas.eng.ohio-state.edu/ ------------------------------------------------------------------------------ Message 3; Postmarked Sun Aug 8 11:21:08 1999 Subject: ISORC'2000 CFP From: Insup Lee Content-Length: 6088 CALL FOR PAPERS (http://dream.eng.uci.edu/isorc2k/) ISORC '2K The 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing March 15 - 17, 2000 Newport Beach, CA Sponsored by: IEEE Computer Society TC on Distributed Processing In Cooperation with: IFIP WG 10.4, OMG SCOPE: This is the third IEEE Computer Society symposium dealing with the rapidly expanding field of object-oriented real-time distributed computing (ORC) technology. The increased interest in this area means that the symposium has outgrown the capacity of an attendance-limited workshop. ISORC was created with the goal of becoming an exemplary symposium series characterized by a spirit of openness, where diverse views and new approaches can be freely discussed. The principal theme of ISORC is the use of the object-oriented computing paradigm - which has prevailed in many non-real-time applications in the past decade - in a wide variety of real-time applications. Papers pertaining to all aspects of ORC are sought, including but not limited to the following: * New ORC paradigms * Object models * Requirements engineering * System (incl. communication), hardware, and software architectures (real-time CORBA, DCOM, real-time Java, etc.) * Specification and design * Real-time system architectures * Languages and tools for structuring real-time objects * Highly-dependable ORC, including fault-tolerant and secure ORC * Resource allocation and Memory management (garbage collection, etc.) * Operating system support for ORC and real-time object request brokers * Database architectures for ORC * Real-time simulation * Testing, verification, and evaluation of system properties, including output accuracy, timeliness, dependability, etc. * System/software engineering methodology * Multimedia processing and WAN communication applications * Application areas such as embedded systems (automotive, avionics, consumer electronics), business and industrial applications, etc. Papers dealing with other issues that are related to the specification, design, implementation, and evaluation of ORC systems are also welcome. To promote dialogue between researchers and users of ORC, contributions from industry are particularly welcome. The Program Committee will use the following guidelines in evaluating the submitted papers and composing the technical program: * Papers must be relevant, directly or indirectly, to the central themes of real time and object orientation. * Papers presenting practical techniques, ideas, or evaluations will be favored. Experience reports or experimental developments are particularly welcome. Originality will not be interpreted too narrowly. * Papers that are based on extremely unrealistic assumptions will not be accepted however mathematically or logically sophisticated the discussion may be. SUBMISSION GUIDELINES Research Papers Papers should describe original work, and be 20 double-spaced pages (5,000 words) or less in length. Industry papers Industrial papers and practitioner reports, describing experiences of using object-oriented technology in real-time application or tool development projects, are an integral part of the technical program of ISORC. A majority of them are expected to be shorter and less formal than research papers. They should clearly identify, and discuss in detail, the issues that represent the main contribution. Reports with project metrics supporting their claims are particularly sought, as well as those that show both benefits and drawbacks of the approaches used in the given project. Short synopses (3 double-spaced pages or less in length) of substantial real-time applications are also invited, and should contain enough information for the program committee to understand the scope of the project and evaluate the novelty of the problem or approach. All accepted submissions will appear in the proceedings. Submission Deadline: September 22, 1999. Instructions for electronic submission can be found at the ISORC '2K web page, http://dream.eng.uci.edu/isorc2k/ ============================================================== SYMPOSIUM CO-CHAIRS Insup Lee, University of Pennsylvania, USA, lee@cis.upenn.edu Joerg Kaiser, University of Ulm, Germany, kaiser@informatik.uni-ulm.de Tohru Kikuno, Osaka University, Japan, kikuno@ics.osaka-u.ac.jp Bran Selic, ObjectTime, Canada, bran@objectime.com PROGRAM COMMITTEE CO-CHAIRS Eltefaat Shokri, Compaq, USA, Eltefaat.Shokri@compaq.com Vinny Cahill, Trinity College, Ireland, vinny.cahill@cs.tcd.ie Makoto Takizawa, Tokyo Denki University, Japan, taki@takilab.k.dendai.ac.jp Bhavani Thuraisingham (Industry Subcomittee Chair), Mitre Corp., USA, thura@mitre.org SPECIAL EVENT COMMITTEE CO-CHAIRS Greg Bollella (to be confirmed), IBM, USA, bollella@us.ibm.com Doug Jensen, Mitre Corp., USA, jensen@mitre.org Edgar Nett, Magdeburg University, Germany, nett@ivs.cs.uni-magdeburg.de ADVISORY AND PUBLICITY COMMITTEE Richard Soley, OMG, USA, soley@omg.org Hermann Kopetz, T. U. Vienna, Austria, hk@vmars.tuwien.ac.at Ichizo Kogiku, NTT, Japan, kogiku@exa.onlab.ntt.co.jp Raymond Paul, Dept. of Defense, USA LOCAL ARRANGEMENT COMMITTEE CO-CHAIRS Michael Franz, University of California, Irvine, USA, franz@ics.uci.edu Philip Sheu, University of California, Irvine, USA, sheu@ece.uci.edu Kane Kim (TC Liason), University of California, Irvine, USA Banquet Speaker: Dr. Richard Soley, Chairman & CEO, OMG =============================================== ------------------------------------------------------------------------------ Message 4; Postmarked Thu Aug 12 10:46:54 1999 From: Gerhard Fohler [mailto:gerhard@vmars.tuwien.ac.at] Subject: REAL-TIME SYSTEMS: Special Issue CFP Content-Length: 3035 Call for Papers ~ Call for Papers ~ Call for Papers 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 Flexible Scheduling of Real-Time Systems Scheduling coordinates the execution of application and system activities, such that requirements about their temporal behavior can be met. Guarantees are essential for the development and verification of dependable real-time systems. A vast number of scheduling algorithms has been presented in the literature, demonstrating well established theory. A next generation of scheduling methods aims at overcoming current restrictions, in particular along two lines: flexible scheduling for handling more than a single specified load assumption and adapting to changing environments; and multi-class scheduling for combining different scheduling methods, ranging from diverse paradigms to the integration of real-time and non real-time activities. Papers are solicited for a special issue of Real-Time Systems on flexible scheduling algorithms for real-time systems to appear in late 2000. The aim of this issue is to document state-of-the-art and progress in this essential area of real-time systems research. Specific topics for this issue include, but are not limited to: + combination of scheduling paradigms + coexistence of real-time and non real-time activities + adaptive algorithms + algorithms handling changing or evolving load assumptions + overload handling + QoS control for reactive systems Submission Procedures All manuscripts are subject to review. To be considered for publication, prospective authors should send an electronic version of their complete manuscript via email to one of the following guest editors by November 15, 1999: Giorgio Buttazzo Gerhard Fohler giorgio@sssup.it gerhard.fohler@mdh.se Scuola Superiore S. Anna Department of Computer Engineering Via Carducci, 40 Malardalen University 56100 Pisa, Italy Box 883 S-72480 Vasteras, Sweden www.sssup.it/~giorgio/rtsj-cfp.html www.idt.mdh.se/gfr/rtsj-cfp.html Prospective authors may find detailed Instructions for Authors published in the back of the journal. They may also be obtained by referring to Kluwer's homepage http://www.wkap.nl, or by contacting Ms. Melissa Fearon at Kluwer Academic Publishers, 101 Philip Drive, Norwell, MA 02061, U.S.A, Tel: 781-681-0574; 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-681-9045, Email: . ------------------------------------------------------------------------------ Message 5; Postmarked Wed Sep 1 11:18:00 1999 From: Marty Humphrey [mailto:humphrey@cs.virginia.edu] Subject: Call for Papers (due Dec 1): 12th Euromicro RT Systems Conference Content-Length: 7232 CALL FOR PAPERS 12th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS'00) Royal Institute of Technology, Stockholm, Sweden June 19th-21st, 2000 ============================================================== Conference Home Page: http://ecrts00.twi.tudelft.nl ============================================================== SCOPE OF THE CONFERENCE ----------------------- The twelfth Euromicro Conference on Real-Time Systems (ECRTS'00) in the series of Euromicro events dedicated to Real-Time systems is a forum aimed at covering state-of-the-art research and development in real time computing. The 2000 conference will have a special emphasis on Real-Time World-Wide-Web Computing, Real-Time Object Oriented Design Methods and architectures for embedded Real-Time systems. The special session on Real-Time World-Wide-Web Computing will focus on the rapidly growing use of the internet as a computing platform for distributed real time systems. The session on Real-Time Object Oriented Design Methods is motivated by the increasing use and demand for methods and tools such as RT-UML. Submissions related to these areas are welcome, as are general Real-Time Systems contributions. These include, but are not limited to: -- Specification and Design: behavior specification; description formalisms; design and verification methodologies and tools; performance evaluation and verification tools; concurrent engineering. -- Applications: multi-media systems; distributed real-time information systems/databases; embedded systems; sensors/actuators; knowledge-based systems; digital signal processing; animation and simulation; Real-Time control applications. -- Software: design and analysis (tools); validation; languages; operating systems; distributed systems; scheduling; monitoring; software reuse; object oriented approaches. -- Hardware: architectures; real-time oriented devices; coprocessors; timing engines; scheduling. -- Communication: communication protocols; protocol engines; analysis tools; development tools. GENERAL INFORMATION ------------------- The conference will take place at Royal Institute of Technology in Stockholm, the capital of Sweden. The Royal Institute is the oldest and largest engineering university in Sweden. It is situated in central Stockholm with good connections by underground, car and bus. Stockholm is sometimes called "Venice of the North". The central part of the town is built on islands with the lake Malaren on one side and the Baltic Sea on the other. The archipelago of Stockholm is famous. The most popular tourist attraction is the Wasa-museum, a 17th century ship of war, one of the largest of the time. June is an excellent time to visit Stockholm. SUBMISSION OF PAPERS -------------------- Prospective authors are encouraged to use our web-form (at ecrts00.twi.tudelft.nl) to submit a pdf or Postscript version of their full papers. If web-submission is not possible, e-mail submission (in either of the above formats), or sending five hard copies of the full paper, to the PC-chair is acceptable. The material must be unpublished and not under submission elsewhere. The paper should not exceed 4000 words, and include an abstract of up to 150 words. The title page should clearly show the name, mailing address, e-mail address and fax number of the author to contact. In the cover letter the relevant topic areas should be pointed out. The following signed statement should be included on the title page: "Neither this paper nor any version close to it has been or is being offered elsewhere for publication. All necessary clearances have been obtained for the publication of this paper. If accepted, the paper will be made available in Camera-ready forms by March 15th, 2000, and it will be personally presented at ECRTS'00 by one of the authors. The presenting author(s) will pre-register for ECRTS'00 before the due date of the Camera-ready paper." The proceedings will be published by IEEE Computer Society. Papers exceeding 8 pages (in IEEE format) will be charged NLG 100 per page in excess. In recent years, authors of the best ECRTS-papers have been invited to submit papers to a special issue of the Journal of Systems Architecture. A special Work in Progress (WiP) session will be organized. This session is mainly intended for presentation of on-going and recent work. Accepted papers will not be included in the conference proceedings; instead they will be published through the WWW. Submission in the above areas should be sent in the same format (but not exceeding 2000 words) to WiP session chair Peter Puschner (peter@vmars.tuwien.ac.at). Program Chair: Hans Toetenel Faculty of Information Technology and Systems Delft Univ. of Technology Zuidplantsoen 4 2628 BL Delft, The Netherlands Email:W.J.Toetenel@its.tudelft.nl IMPORTANT DATES --------------- Submission of papers: December 1, 1999 Notification of acceptance: February 15, 2000 Camera-ready paper due: March 15, 2000 Submission of WiP papers: April 15, 2000 ORGANIZING COMMITTEE -------------------- General Co-Chairs: Anders Torne Carlstedt Research & Technology Email: andto@crt.se Martin Torngren KTH Stockholm Email: martin@damek.kth.se Program Chair: Hans Toetenel Faculty of Information Technology and Systems Delft Univ. of Technology Zuidplantsoen 4 2628 BL Delft, The Netherlands Email:W.J.Toetenel@its.tudelft.nl WiP session Chair: Peter Puschner Real-Time systems group, Vienna Email: peter@vmars.tuwien.ac.at Publicity Chair: Marty Humphrey University of Virginia Email: humphrey@cs.virginia.edu Program Committee: Martin Adelantado, F, Peter Altenbernd, D, Karl-Erik Arzen, S, Neil Audsley, UK, Azer Bestavros, US, Alan Burns, UK, Giorgio Buttazzo, I, Rachel Cardell-Oliver, UK, Alfons Crespo, SP, Jean-Dominique Decotignie, CH, Gerhard Fohler, S, Pep Fuertes, SP, Michael Gonzales-Harbour, SP, Wolfgang Halang, D, Hans Hansson, S, Marty Humphrey, US, Guy Juanole, F, Tei-Wei Kuo, TW, Kwei-Jay Lin, US, Jane Liu, US, Lorenzo Mezzalira, I, John Moelgaard, DK, Frank Mueller, D, Anders P. Ravn, DK, Frederic Patricelli, I, Carlos Eduardo Pereira, BR, Juan A. de la Puente, SP, Peter Puschner, A, Raj Rajkumar, US, Daniela Rosu, US, Eric Rutten, F, Jorge Santos, AR, Karsten Schwan, US, Jean-Jacques Schwartz, F, John A. Stankovic, US, Hans Toetenel, NL, Anders Torne, S, Eduardo Tovar, PT, Juri Vain, ES, Francisco Vasques, PT, Horst Wedde, D, Andy Wellings, UK, Wang Yi, S, Jan Wikander, S, Wei Zhao, US. ------------------------------------------------------------------------------ Message 6; Postmarked Tue Sep 7 15:03:59 1999 From: "Lonnie Welch" Subject: International Workshop on Real-Time Mission-Critical Systems Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit Content-Length: 2701 CALL FOR PAPERS The 1st International Workshop on Real-Time Mission-Critical Systems: Grand Challenge Problems November 30, 1999; Phoenix, Arizona USA This is the first in a series of symposia to address the technological challenges of engineering large, complex real-time mission-critical systems (RTMCSs). Real-time systems are those which are time- constrained. Mission-critical systems are those which have important strategic roles within an enterprise; success or failure of the enterprise is linked strongly to success or failure of the mission-critical system. To establish the focus of the RTMCS community, the workshop theme will be Grand Challenge Problems. Approximately ½ of the program will be dedicated to real-time mission-critical application systems which present grand challenges, and ½ of the program will focus on grand challenge technology problems. The symposium agenda will include presentations that define grand challenge problems by describing the problem requirements and identifying current technological challenges presented by the problems. Additionally, a representative of the IEEE Technical Committee on Real-Time Systems will present Grand Challenge Problems identified in a recent practitioner survey. Potential presenters are invited to submit a 1- 5 page description of a grand challenge problem and its technological challenges. All submissions must relate clearly to a specific real-world application. Submissions should be made in electronic form to one of the Workshop Chairs by Sept. 15, 1999. Authors will be notified of review decisions by Oct. 15, 1999, and camera-ready papers will be due by Nov. 5, 1999. Topics of interest for grand challenge real-time mission-critical application systems include: * Space Systems, Air Traffic Control, Avionics, and Air Defense * Telecommunications and Mobile Computing * Automotive and Transportation * Plant and Process Control * Medical * Signal Processing * Command and Control * Surveillance * Weapons Control * Fire Support Coordination Topics of interest pertaining to grand challenge technology problems include: * Networking, Fault Tolerance, and Security * System Composition * Support for Dynamic and Stochastic Real-time Systems * Distributed Resource Management * System Engineering, System Certification Workshop Chairs Michael W. Masters Code B35 The Naval Surface Warfare Center MastersMW@nswc.navy.mil Lonnie R. Welch Electrical Engineering & Computer Science Ohio University welch@oucsace.cs.ohiou.edu Note: This workshop will be held in conjunction with The 20th IEEE Real-Time Systems Symposium (RTSS) (see http://www.cs.tamu.edu/conferences/rtss/ for details about the symposium). ------------------------------------------------------------------------------ Message 7; Postmarked Thu Sep 16 20:33:39 1999 From: "E. Allen Emerson" Subject: CAV 2000 call for papers Content-Length: 5151 CALL FOR PAPERS CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2000) 15--19 July 2000 Chicago, USA URL: http://www.cs.utexas.edu/users/cav2k/ The CAV 2000 conference is the twelfth in a series dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. The topics of interest include: * Modeling and specification formalisms (such as logical, automata-based, and algebraic methods) * Algorithms and tools (such as state-space exploration, model checking, synthesis, and automated deduction) * Verification techniques (such as state-space and transition-relation reduction methods, symbolic methods, probabilistic methods, compositional and modular reasoning, integration of algorithmic and deductive methods) * Applications and case studies (such as synchronous and asynchronous circuits, communication protocols, distributed algorithms, real-time and embedded control systems, security). * Testing based on Verification technology. * Verification in practice (integration of verification with design, specification, testing, debugging, and code generation). SUBMISSION INFORMATION The conference will include contributed papers, tool presentations, and invited lectures. There are two categories of submissions: A. Regular papers A submission of a regular paper should include an extended abstract not exceeding ten (10) pages. The submission should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. B. Tool presentations Tool submission should be an abstract not exceeding four (4) pages. The same page limit (4) applies to the conference proceedings. The submission should describe the tool and its novel features. Tool papers must describe tools that were already implemented. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in this conference before will be accepted only if significant and clear enhancements to the tool are reported and were implemented. Authors are strongly encouraged to use the electronic submission procedure to be provided on the CAV 2000 web page http://www.cs.utexas.edu/users/cav2k/ People who don't have access to the net can send ten (10) hard-copies of the submission to A. Prasad Sistla Department of Electrical Engineering and Computer Science (M/C 154) Room 1120 851 South Morgan Street University of Illinois at Chicago, Chicago, Illinois 60607 USA Each submission should start with a title page containing the category (A or B), the title of the paper, each author's name and affiliation, the contact author's physical and e-mail addresses, and a one- or two-paragraph abstract. Please direct all inquiries about CAV 2000 to cav2k@cs.utexas.edu. IMPORTANT DATES Submission deadline (firm): 15 January 2000 Notification of acceptance: 15 March 2000 Proceedings version of accepted papers due: 14 April 2000 Submissions that are not received by 15 January 2000, and submissions that exceed the page limit run the risk of automatic rejection. CHAIRPERSONS E. Allen Emerson University of Texas at Austin (emerson@cs.utexas.edu) A. Prasad Sistla University of Illinois at Chicago (sistla@surya.eecs.uic.edu) PROGRAM COMMITTEE Parosh Abdulla (Uppsala) Rajeev Alur (U. Penn and Bell Labs) Henrik Reif Andersen (ITU Copenhagen) Ed Brinksma (Twente) Randy Bryant (CMU) Werner Damm (Oldenburg) David Dill (Stanford) E. Allen Emerson, co-chair (U. Texas-Austin) Steven German (IBM) Rob Gerth (Intel) Patrice Godefroid (Bell Labs) Ganesh Gopalakrishnan (U. Utah) Mike Gordon (Cambridge) Nicolas Halbwachs (Verimag) Warren Hunt (IBM) Bengt Jonsson (Uppsala) Kim Larsen (Aalborg) Ken McMillan (Cadence) John Mitchell (Stanford) Doron Peled (Bell Labs) Carl Pixley (Motorola) Amir Pnueli (Weizmann) Bill Roscoe (Oxford) Joseph Sifakis (Verimag) A. Prasad Sistla, co-chair (U. Illinois-Chicago) Fabio Somenzi (U. Colorado) Pierre Wolper (Liege) CAV STEERING COMMITTEE Edmund Clarke (CMU) Bob Kurshan (Bell Labs) Amir Pnueli (Weizmann) Joseph Sifakis (Verimag) ------------------------------------------------------------------------------ Message 8; Postmarked Mon Sep 20 17:10:45 1999 From: "Catherine A. Meadows" Subject: HASE99 Call for participation and advance program Content-Length: 8239 Call for Participation and Advance Program Fourth IEEE International Symposium on HIGH ASSURANCE SYSTEMS ENGINEERING November 17-19, 1999 Holiday Inn National Airport Washington DC. (For more details, see http://www.eng.umd.edu/hase99). 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. This year's program promises to improve this interaction between government, industry, and academia through a high-quality program of research papers, keynote lectures, panel discussions, presentations of case studies and experiences in systems engineering for high assurance embedded systems. WEDNESDAY, NOVEMBER 17 8:30-8:45am Opening Remarks 8:45-10:00am Evaluation and Testing DynaMICs: An Automated and Independent Software-Fault Detection Approach A.Q. Gates and P.J. Teller Using Modechart Modules for Testing Formal Specifications Monica Brockmeyer Assurance-Based Y2K Testing W. T. Tsai, R. Paul, W. Shao and S. Rayadurgam 10:30-12:15am UML for High Assurance Systems Evaluation of Safety-Critical Systems based on Guarded Statecharts M. Dal Cin, G. Huszerl, K. Kosmidis Model Checking UML Statechart Diagrams using JACK S. Gnesi, D. Latella, M. Massink UML-Based Analysis of Embedded Systems Using a Mapping to VHDL W.E. McUmber and B.H.C. Cheng Automatic Dependability Analysis for Supporting Design Decisions in UML A. Bondavalli, I. Majzik, I. Mura 1:45-2:45pm Experience Reports The Corot Instrument's Software: Towards Intrinsically Reconfigurable Real-time Embedded Software in Spaceborne Instruments D. Cailliau, R. Bellenger Applying Formal Methods to an Information Security Device: An Experience Report J. Kirby, Jr., M. Archer, C. Heitmeyer Security Assurance Efforts in Engineering the Java Development Kit 1.2 Li Gong 2:45-3:35pm Fault Analysis COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network Architecture A.T. Tai, S.N. Chau, L. Alkalai Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees T. M. Khoshgoftaar and E. B. Allen 4:00-5:15pm Panel Session I: Building High Assurance Systems Using COTS Components: Whether, When, Why, and How? Chairs: Ray Paul and Ann Tai Panelists: Savio Chau, NASA/JPL Rick Harper, IBM Research Isaac Levendel, Motorola Lui Sha, UIUC Jeffrey Voas, RST 5:15-6:00pm Break 6:00-9:00pm Reception and Keynote Speaker Convergence on High Assurability: Will We Converge or Diverge? Vance Hilderman, President, Teksci THURSDAY, NOVEMBER 18 8:30-10:15am Case Studies Lessons from 342 Medical Device Failures D. R. Wallace D. R. Kuh Identifying Domain Axioms Using Binary Decision Diagrams B.J. Czerny and M.P.E. Heimdahl Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System S. Goddard and K. Jeffay A Case Study on Synthesizing Correct by Construction Control Software for a Metal Processing Plant E. Tronci 10:45-12:00pm Reliable Communications Real-Time Atomic Transaction Processing Using Multi- Invariant Data Structure I-L. Yen, I-R. Chen, B. Chen Autonomous Data Synchronization in Heterogeneous Systems to Assure the Transaction I. Kaji, Y. Tan, K. Mori Look-ahead Channel Reservation and Borrowing in Cellular Network Systems H. Zheng 1:45-3:50pm Frameworks, Systems, Tools Building Dependable Distributed Applications Using AQuA M.Cukier, J.Ren, P.Rubel, W.Sanders, D.Bakken, D. Karr Multimedia Tools And Applications In The Development Of A Large Complex Network System S. Bhattacharya, S.Palangala, S. Perraju Tolety A Framework for a Cryptographic Protocol Evaluation Workbench A. Yasinsac, W. Wulf The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing C.L. Hoover, J. Hansen, P. Koopman, and S. Tamboli On the Requirements of High-Integrity Code Generation M. Whalen and M.P.E. Heimdahl 4:15-5:30pm Panel Session II What is the Most Critical Challenge to Integrating Chair: Herbert Hecht Panelists: Vincent Amatangelo, Ford Motor Co. Larry Druffel, SCRA Judy Froscher, Naval Research Laboratory Others TBA 5:45-6:45pm HASE 2000 Planning Meeting (optional) General Chair: W-T. Tsai Program Chair: V. Winter FRIDAY, NOVEMBER 19 8:30-9:30am Keynote Speaker II Countdown to Y2K: View from the DoD DCIO Dr. Marv Langston, DoD 9:30-11:15am Metrics and Modelling Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems D. DelGobbo, B. Cukic, S. Easterbrook, M. Napolitano A Specification-Based Coverage Metric to Evaluate Test Sets Paul E. Ammann and Paul E. Black How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing T. Chen, M Sahinoglu, A. von Mayrhauser, A. Hajjar A Synchronous Paradigm for Modeling Stable Reactive Systems Victor Winter 11:15-11:45am Break 11:45-1:00pm Panel Session III Should High Assurance Systems Use Software? Chair: Victor Winter Panelists: John Covan, Sandia Larry Dalton, Sandia Ben Di Vito, NASA Others TBA 1:00-1:15pm Closing Remarks _____________________________________________________ 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 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 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, Dallas _____________________________________________________ Thanks to our sponsors: IEEE, IEEE Computer Society, and Raytheon Scientific and Technical Services Division ------------------------------------------------------------------------------ Message 9; Postmarked Fri Sep 24 09:55:30 1999 From: Alfons Crespo Subject: Call for Papers WRTP2000 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-Length: 6312 WRTP'2000 First Announcement and CALL FOR PAPERS Palma de Mallorca, Spain 17-19 May 2000 Sponsored by IFAC Technical Committee on Real-Time Software Engineering and IFIP Working Group on Industrial Software Quality and Certification Organised by Departament d'Informatica de Sistemes i Computadors Universitat Politecnica de Valencia Co-Organised by Departament de Ciencies Matematiques i Informatica=20 Universitat de les Illes Balears Invitation to AARTC2000 and WRTP2000: During the third week of May, in Palma de Mallorca the Workskop on Real-Time Programming (WRTP2000) and the Workshop on Algorithms and Architectures for Real-Time Control (AARTC2000) will take place. Both workshops are scheduled sequentially to provide an opportunity to reaserchers and practitioners to attend both events covering most of the topics relevant to real-time systems. A common day (Wednesday) is designated for common activities. Web pages of both workshops provide complete information about the organization of the events. Scope: WRTP2000 will consist of formal presentations, discussions and informal meetings covering recent advances and current issues in theory, applications, and technology of real-time programming. It is to promote interaction among researchers and practitioners and to evaluate the maturity of new directions in real-time software. The topics to be covered include, but are not restricted to: - Advances in real-time programming languages - Requirements engineering methods for real-time systems - Software design methods for predictable behaviour - Object orientation in real-time environments - Real-time scheduling and resource management - Real-time operating systems - Real-time communication architectures, - Verification and validation, esp. of timing properties - Dependability issues and quality assurance - Industrial applications and experience - Evaluation of current real-time systems - Real-time (control) systems features Workshop Chair: Alfons Crespo DISCA Universidad Politecnica de Valencia e-mail: alfons@disca.upv.es International Programme Committee: Co-chairs: Juan A. de la Puente DIT Universidad Politecnica de Madrid e-mail: jpuente@dit.upm.es and Wolfgang A. Halang Faculty of Electrical Engineering FernUniversitaet e-mail: Wolfgang.Halang@FernUni-Hagen.de ------------------------------------------------------------------ Members: Alejandro Alonso Universidad Politecnica de Madrid, Spain Sten F. Andler University of Skovde, Swede Sven-Arne Andreasson Chalmers University of Technology, Sweden Julian Bass University of Wales, United Kingdom Alan Burns University of York, United Kingdom Matjaz Colnaric University of Maribor, Slovenia Michael Gonzalez-Harbour Universidad de Cantabria, Spain Volkmar Haase Technical University of Graz, Austria Jorgen Hansson University of Skovde, Sweden Vicente Hernandez Universitat Politecnica de Valencia, Spain Joerg Kaiser Universitaet Ulm, Germany Swamy Kutti Deakin University, Australia Kam-Yiu Lam City University of Hong Kong, Hong Kong Kwei-Jay Lin University of California, USA Albert Llamosi Universidad de las Islas Baleares, Spain Jacek Malec University of Linkoping, Sweden Kin-F. Man City University of Hong Kong, Hong Kong Karlotto Mangold ATM Computer, Germany Marga Marcos Munoz Universidad del Pais Vasco, Spain Sias Mostert University of Stellenbosch, South Africa Leo Motus Tallinn Technical University, Estonia Joseph Ng Hong Kong Baptist University, Hong Kong Carlos E. Pereira Universidade Federal do Rio Grande do Sul, Brazil Helmut Rzehak Universitaet der Bundeswehr Muenchen, Germany Krzysztof Sacha Technical University of Warsaw, Poland Abd-El-Kader Sahraoui E. N. S. d'Ingenieur des Constructions Aeronautiques, France Ulrich Schmid Technical University of Vienna, Poland 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 France Sang H. Son University of Virginia, USA Theodor Tempelmeier Fachhochschule Rosenheim, Germany Paulo Jorge Verissimo Universidade de Lisboa, Portugal Shuhua Wang Rohde & Schwarz, Germany 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 Dieter Zoebel University of Koblenz-Landau, Germany Important Dates: Deadline for paper submission: 15 December 1999=20 Notification to authors: 1 March 2000=20 Camera ready papers: 1 April 2000=20 Workshop dates: 17-19 May 2000 Submissions: The submission of full papers with up to 6 pages is invited. They should address the topics outlined above and focus on insights and lessons gained from recent research and practical experience. Position papers describing new ideas, promising approaches, and work in progress are considered particularly appropriate. These papers should outline the contribution that the authors intend to make at the Workshop.=20 The submissions should be made electronically,=20 either in postscript or PDF format. Additional details on=20 submission guidelines will be posted at the conference home page (http://www.disca.upv.es/wrtp2000).=20 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. Correspondence: All correspondence should be addressed to the Workshop chairman Alfons Crespo DISCA Universidad Politecnica de Valencia Camino de Vera s/n E-46071, Valencia Phone: +34 963877570 Fax: +34 963877579 Email: alfons@disca.upv.es http://www.disca.upv.es/alfons For more detailed information see the WWW-Server: http://www.disca.upv.es/wrtp2000/ http://www.disca.upv.es/aartc2000/ ------------------------------------------------------------------------------ Message 10; Postmarked Sun Sep 26 13:43:05 1999 From: "Bruce H. Krogh" Subject: Hybrid Systems: Computation And Control Content-Type: text/plain; charset="us-ascii" Content-Length: 486 FINAL CALL FOR PAPERS HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC’00) Third International Workshop Pittsburgh, PA USA Important Dates --------------- Submission deadline: October 15, 1999 Notification of acceptance: December 15, 1999 Final versions due: January 15, 2000 Workshop: March 23-25 (Thur-Sat), 2000 For complete instructions for submissions and other information about HSCC'00, please see the conference webpage http://www.ece.cmu.edu/~hs00 ------------------------------------------------------------------------------ Message 11; Postmarked Wed Oct 6 11:37:06 1999 From: Farnam Jahanian [mailto:farnam@eecs.umich.edu] Subject: International Conference on Dependable Systems and Networks Content-Length: 4886 CALL FOR CONTRIBUTIONS The International Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8) New York City, NY June 25-28, 2000 http://www.dependability.org IMPORTANT DATES Conference Submission Deadline: November 5, 1999 Notification to Authors: February 11, 2000 Workshop Submission Deadlines: see http://www.dependability.org SCOPE The International Conference on Dependable Systems and Networks represents a new beginning in the field of dependable computing, as well as the continuation of long-established traditions. Formed from the combination of two established conferences - the International Symposium on Fault-Tolerant Computing (FTCS) sponsored by the IEEE Computer Society and the Working Conference on Dependable Computing for Critical Applications (DCCA) sponsored by IFIP WG 10.4 - this inclusive conference is designed to capture the wide range of activities in this increasingly important technical area. The conference scope spans system, software, hardware, and network issues. Major topics include, but are not limited to, Architectures for Dependable Computer Systems; Transaction Processing; Fault Tolerance in Distributed, Mobile, and Real- Time Systems; Safety-Critical Systems; Dependability of High- Speed Networks and Protocols; Quality of Service; Fault Tolerance in Multimedia Systems; Software Reliability, Fault Tolerance, Testing, Validation, and Verification; Dependability Modeling and Prediction; and Dependability in VLSI. SUBMISSION GUIDELINES All submitted material should be written in English and typed at least 1-1/2 spaced in a font no smaller than 12-point. Manuscripts should be submitted in the following categories: Regular Papers (maximum 20 pages, including figures). Authors of select papers from this category will be invited to submit extended versions for special consideration for publication in IEEE Transactions on Computers. Practical Experience Reports (5 to 10 pages). These should describe an experience or a case study, such as design and deployment of a system, field data, analysis of requirements, or customer satisfaction. Software and System Demonstrations (5 to 10 pages). These should describe the software or the system, its context and objective, and the planned demonstration. Optionally, authors may send an NTSC or PAL video recording of their proposed demonstration in addition to their manuscripts. Panels. These should include the topic(s), a description of the panel objectives (maximum 2 pages), and the names and addresses of the probable panelists. The proposed panel chair should include a 1-page biographical sketch. Eight copies must be submitted by November 5, 1999. The title page must include the title of the paper, author name(s), affiliations, mailing address, phone number, fax number, e-mail address, a maximum 150-word abstract, five keywords, the submission category, an approximate word count, and a declaration that the material has been cleared through author affiliations. For multi-authored submissions, the contact author should be indicated. An electronic copy of the abstract, in ASCII format, should also be submitted by email to dsn@laas.fr. Submit all materials to: Karama Kanoun LAAS-CNRS 7 Avenue du Colonel Roche 31077 Toulouse Cedex 4 - France OTHER CONFERENCE EVENTS The conference is being organized with a new format comprised of multiple independent workshops and forums under the overall umbrella of the expanded conference. Workshops planned for 2000 will address dependability issues regarding malicious faults, e-business, and IP-based applications. A Fast Abstracts track emphasizing breaking new results and a Student Forum will also be organized. For information and submission deadlines about the events comprising the International Conference on Dependable Systems and Networks, check http://www.dependability.org or contact: Conference General Chair: T. Basil Smith (USA) tbsmith@us.ibm.com Conference Program Chairs: Doug Blough (USA) doug.blough@ece.gatech.edu Karama Kanoun (France) kanoun@laas.fr Workshop on Dependability despite Malicious Faults Program Chair: Yves Deswarte (France) deswarte@laas.fr Workshop on Dependability of e-business Systems Program Chair: Nick Bowen (USA) bowenn@us.ibm.com Workshop on Dependability of IP Applications, Platforms and Networks: Yennun Huang (USA) yen@research.att.com Tutorials Chair: Rick Harper (USA) reharper@us.ibm.com Fast Abstracts Chair: Chuck Weinstock (USA) weinstock@sei.cmu.edu Student Forum Chair: Nuno Neves (Portugal) nuno@di.fc.ul.pt ------------------------------------------------------------------------------ Message 12; Postmarked Wed Oct 20 17:05:30 1999 From: Amy W. Apon [mailto:aapon@comp.uark.edu] Andrews; Dieter K. Hammer; E. Douglas Jensen; Guenter Hommel; Viktor K. Prasanna; Behrooz A. Shirazi; Lonnie R. Welch; Max Geerling; Mike Jones; Isabelle Puaut; Willy Rossak; Manas Saksena; Azer Bestavros Cc: Amy Apon Subject: Call for Papers, WPDRTS 2000 CALL FOR PAPERS Eighth International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2000) (held in conjunction with IPDPS 2000 May 1-5, 2000, Westin Regina Hotel - Cancun, Mexico) Authors are invited to submit manuscripts that demonstrate original unpublished research pertaining to real-time systems that have parallel and/or distributed architectures. Of interest are experimental and commercial systems, their scientific and commercial applications, and theoretical foundations. The Workshop on Parallel and Distributed Real-Time Systems (WPDRTS) brings together researchers from different communities in order to fill a number of gaps. This is vital since it is becoming more and more evident that no single discipline or method can solve all the problems related to computer-based real-time applications. Parallel and distributed systems that are not real-time have many things in common with those that are, such as formal specification and design of concurrent aspects, communication and synchronization, exploitation of concurrency, and simulation. However, there are also considerable differences, such as the focus on maximal average performance for non-real-time concurrent systems and the focus on predictability and obeying the deadlines for concurrent real-time systems. Real-time systems frequently employ parallel and distributed computer platforms in order to meet timing constraints and to achieve fault-tolerance and availability. In order to come to a usable solution, the issues of concurrency and dependability must be considered simultaneously. However, it is often the case that researchers focus on problems relevant to concurrent processing while overlooking timeliness. Similarly, real-time computing research efforts are often focused on producing techniques that apply only to single-processor systems. Thus, WPDRTS covers many important research areas, while keeping in mind the common thread of parallel and distributed processing in real-time. Please submit your paper (not more than 10 pages) to one the three program chairs: Maarten Boasson (Chair for Europe and Africa) (Email) boasson@wins.uva.nl Yoshiaki Kakuda (Chair for Asia and Oceania) (Email) kakuda@ce.hiroshima-cu.ac.jp Sang Hyuk Son (Chair for the Americas) (Email) son@cs.virginia.edu NOVEMBER 15, 1999 Manuscripts Due DECEMBER 15, 1999 Notification of Review Decision JANUARY 15, 2000 Camera Ready Version Due More information can be found at: http://csci.uark.edu/~aapon/wpdrts2000/ ------------------------------------------------------------------------------ Message 13; Postmarked Mon Oct 25 10:29:35 1999 From: "Azer Bestavros" Subject: Job: Assistant Professorships at Boston University Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Length: 2736 Boston University Computer Science Department Tenure-Track Assistant Professorships Applications are invited for four tenure-track assistant professorships beginning September 2000. Qualifications required of all applicants include, a PhD in Computer Science, a strong research record, and commitment to teaching. The department has a special interest in candidates pursuing experimental computer science research. Areas of interest include: operating systems; networking; distributed systems; embedded and mobile systems; database systems; information retrieval and visualization; and computer graphics. Currently, the Computer Science Department consists of 13 faculty, and offers BA, MA, and PhD programs. Our research interests include networking; Internet measurement and characterization; parallel, distributed and real-time systems; performance evaluation; image and video computing; logic of computation; type theory; and theoretical computer science. In addition, we have a close association with other groups on campus working on various areas of applied computing. The Department has excellent computing resources which include PC's, Sun and SGI workstations, as well as Sun and SGI multiprocessor servers. In addition, the department has access to the university supercomputing facilities, high-speed campus networks, and national vBNS and I2 internetworking. Recently, the College funded construction of new computer science research labs for research in distributed systems, real-time systems, networks, and graphics. The department has been the recent recipient of significant government and industry grants for research, research infrastructure, and for graduate student support. We anticipate continuing this period of growth based on our recent successes and the continued strong support of the University. Additional information on the department and this search is available from http://www.cs.bu.edu. Qualified applicants should send a detailed resume and arrange for at least three references to be sent to: Faculty Search Committee Computer Science Department 111 Cummington Street Boston University Boston, MA 02215 Email: search2000@cs.bu.edu Please include a cover letter stating the names of your references and your major area(s) of specialization. Please send inquiries or questions via email to search2000@cs.bu.edu. Boston University is an Equal Opportunity/Affirmative Action employer. Minorities, persons with disabilities, and women are particularly encouraged to apply. ------------------------------------------------------------------------------ Message 14; Postmarked Sat Sep 11 19:46:44 1999 From: Ibrahim Kamel Subject: Job: Scientist at Panasonic Research Content-Length: 977 Panasonic Information and Networking Technologies Laboratory (PINTL) Panasonic Technologies, Inc. Princeton, NJ Job title: Research Scientist in Real-Time Operating Systems Home information and networking group at Panasonic Research Labs (PINTL) is involved in several exciting projects that cover different aspects of OS, Internet, networking and databases. Requires experience in real-time systems, operating systems and multimedia applications. Hands on experience in operating system development and real-time systems are a plus. To qualify, candidates must have a Ph.D. in computer science or a closely related field. Broad research interests and good research record are required. If you are interested send resume to Ibrahim Kamel Senior Scientist Panasonic Information and Networking Technology Laboratory Phone : (609)734-7323 2 Research Way Fax : (609)987-8827 Princeton, NJ 08540-6628 email:ibrahim@research.panasonic.com ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------