Sponsors: The US NSWC, The US Army MICOM, Hollands Signaal
-FAULT TOLERANCE -RUN-TIME SYSTEMS -ARCHITECTURE AND HARDWARE -MULTIMEDIA -COMMUNICATIONS AND NETWORKING -REAL-TIME DATABASES -ANALYSIS, VALIDATION AND SIMULATION -NEW PARADIGMS AND LANGUAGES -FORMAL METHODS -TOOLS AND ENVIRONMENTS -SYSTEMS ENGINEERING AND REENGINEERING -EMBEDDED SYSTEMS -REAL-TIME SIGNAL AND IMAGE PROCESSING -BENCHMARKING -SOFTWARE ARCHITECTURES -Ada 95
KEYNOTE SPEECH:
"Ada 95 for Real-Time, Distribution, and the World Wide Web,"
Speaker: Tucker Taft, Chief Scientist, Intermetrics, Inc.;
Technical Director, Ada 9X Mapping/Revision Team
PANEL DISCUSSION:
"Benchmarking for Real-Time High Performance Computing,"
Moderator: Richard A. Games, MITRE
INVITED PAPER SESSION:
"New Paradigms for Parallel/Distributed Real-Time Computing,"
Organizers:
Norman R. Howes, Institute for Defense Analyses,
and Bo Sanden, George Mason University
WPDRTS REGISTRATION:
For complete registration details for IPPS '96 and WPDRTS, see the web
site http://www.usc.edu/dept/ceng/prasanna/home.html
Alternately, conference registration information can be obtained by
calling (202) 728-0884. Hotel registration can be done by calling
1-800-782-9488, and reserving a room at the Sheraton Waikiki Hotel; be
sure to ask for the CIEEE rate (for IPPS '96).
PROGRAM CHAIRS:
Dieter K. Hammer, Eindhoven Univ. of Technology, The Netherlands
Heonshik Shin, Seoul National University, Korea
Lonnie R. Welch, New Jersey Institute of Technology, USA
PROGRAM VICE CHAIRS:
Tadashi Ae, Hiroshima University, Japan
Ricardo Bettati, Texas A&M University, USA
D. Bhatt, Honeywell, USA
Maarten Boasson, Hollands Signaal, The Netherlands
Ray Clark, OSF, USA
Loe Feijs, Philips Research, The Netherlands
Borko Furht, Florida Atlantic University, USA
Guenter Hommel, Technical University of Berlin, Germany
Norman R. Howes, Institute for Defense Analyses, USA
F. Jahanian, University of Michigan, USA
Joerg Kaiser, GMD, Germany
Yoshiaki Kakuda, Osaka University, Japan
Arkday Kanevsky, MITRE, USA
Bruce Lewis, Army MICOM, USA
Michael W. Masters, Naval Surface Warfare Center, USA
R. Rajkumar, CMU/SEI, USA
P. Ramanathan, University of Wisconsin, USA
Bo Sanden, George Mason University, USA
Sang Son, University of Virginia, USA
Kenji Toda, Electrotechnical Laboratory, Japan
Mark Wilson, Naval Surface Warfare Center, USA
Tomohiro Yoneda, Tokyo Institute of Technology, Japan
ADVISORY COMMITTEE:
Theodore Baker, Florida State University, USA
Alok Choudhary, Syracuse University, USA
Harry Crisp, NSWC, USA
Flaviu Cristian, University of California, USA
Wolfgang Halang, University of Hagen, Germany
Robert D. Harrison, NSWC, USA
Mathai Joseph, University of Warwick, U.K.
Jan van Katwijk, Technical University of Delft, The Netherlands
Gerard LeLann, INRIA, France
Jane Liu, University of Illinois, USA
Miroslav Malek, Humboldt University, Germany
AL Mok, University of Texas at Austin, USA
Jose L. Munoz, ARPA, USA
Viktor K. Prasanna, University of Southern California, USA
Mike G. Rodd, University of Wales Swansea, U.K.
Karsten Schwan, Georgia Inst. of Tech., USA
Kang G. Shin, University of Michigan, USA
Behrooz Shirazi, University of Texas at Arlington, USA
John A. Stankovic, University of Massachusetts, USA
Mario Tokoro, Keio University, Japan
Richard Volz, Texas A&M University, USA
Stephanie White, Northrop/Grumman, USA
Wei Zhao, Texas A&M University, USA
Steve Zeigler, Rational Corp., USA
PUBLICATION and PUBLICITY CHAIRS:
David L. Andrews, University of Arkansas, USA
Michael R. Olsem, Air Force Software Tech. Support Ctr., USA
Antonio L. Samuel, Naval Surface Warfare Center, USA
Bradley R. Swim, King Saud University, Saudi Arabia
Jack Verhoosel, Telematic Research Center, The Netherlands
MONDAY APRIL 15, 1996 -------------------------------------------------------------------------------- 8:15-8:30 OPENING REMARKS -------------------------------------------------------------------------------- 8:30-9:30 KEYNOTE SPEECH: "Ada 95 for Real-Time, Distribution, and the World Wide Web," Tucker Taft, Chief Scientist, Intermetrics, Inc.; Technical Director, Ada 9X Mapping/Revision Team -------------------------------------------------------------------------------- 9:30-9:45 Break -------------------------------------------------------------------------------- 9:45-12:15 NEW PARADIGMS FOR PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS -------------------------------------------------------------------------------- 12:15-1:30 Lunch -------------------------------------------------------------------------------- 1:30-3:30 OPERATING SYSTEMS and ENVIRONMENTS -------------------------------------------------------------------------------- 3:30-4:00 Break -------------------------------------------------------------------------------- 4:00-5:20 SCHEDULING -------------------------------------------------------------------------------- 5:20-6:45 REAL-TIME DATABASES --------------------------------------------------------------------------------
TUESDAY APRIL 16, 1996 -------------------------------------------------------------------------------- 8:00-9:25 APPLICATIONS -------------------------------------------------------------------------------- 9:25-9:45 Break -------------------------------------------------------------------------------- 9:45-12:00 COMMUNICATION AND NETWORKING -------------------------------------------------------------------------------- 12:00-1:30 Lunch -------------------------------------------------------------------------------- 1:30-3:30 PANEL DISCUSSION: BENCHMARKING FOR REAL-TIME HIGH PERFORMANCE COMPUTING -------------------------------------------------------------------------------- 3:30-4:00 Break -------------------------------------------------------------------------------- 4:00-5:10 SPECIFICATION -------------------------------------------------------------------------------- 5:20-6:40 ANALYSIS AND VERIFICATION -------------------------------------------------------------------------------
Note: Each long paper is alloted 25 minutes in the schedule, and each short paper is alloted 15 minutes. DETAILED PROGRAM
MONDAY APRIL 15, 1996 -------------------------------------------------------------------------------- 8:15-8:30 OPENING REMARKS -------------------------------------------------------------------------------- 8:30-9:30 KEYNOTE SPEECH "Ada 95 for Real-Time, Distribution, and the World Wide Web," Tucker Taft, Chief Scientist, Intermetrics, Inc.; Technical Director, Ada 9X Mapping/Revision Team -------------------------------------------------------------------------------- 9:30-9:45 Break -------------------------------------------------------------------------------- 9:45-12:15 NEW PARADIGMS FOR PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS Session Chair: Norman R. Howes, Institute for Defense Analyses, USA Title: Use Case Maps: A New Paradigm for Attributing Behaviour to System Architecture Authors: Ray Buhr Affiliation: Carleton Univ., Ottawa, Ontario, CA Title: MODELING REAL-TIME DISTRIBUTED SOFTWARE SYSTEMS Authors: Bran Selic Affiliation: ObjectTime, Ontario, CA Title: The Integration of Realtime Applications into the Global Command and Control System Authors: Shawn Butler, Defense Information Systems Agency and Kathleen Jordan, Institute for Defense Analyses Affiliation: DISA Title: IMPLEMENTING DISTRIBUTED REAL-TIME CONTROL SYSTEMS IN A FUNCTIONAL PROGRAMMING LANGUAGE Authors: Bjarne Decker and Claes Wikstrom Ericsson, Sweden, Title: Simulation-based Reactive Systems Authors: Maarten Boasson Affiliation: Signaalapparaten, Netherlands Title: Entity-life modeling in a distributed environment Authors: Bo Sanden Affiliation: GMU, Fairfax, VA -------------------------------------------------------------------------------- 12:15-1:30 Lunch -------------------------------------------------------------------------------- 1:30-3:30 OPERATING SYSTEMS and ENVIRONMENTS Session Chair: Klaus H. Ecker, Clausthal University of Technology, Germany [LONG PAPERS] (1) Title: Reengineering a Single Thread Embedded Missile Application onto a Parallel Processing Platform using MetaH Authors: McConnel, Lewis, and Gray Affiliation: Coleman Research and US Army MICOM Email: dmcconnell or lewis @sed.redstone.army.mil [SHORT PAPERS] (6) Title: An Environment for Incremental Development of Distributed Extensible Asynchronous Real-Time Systems Authors: C. Ames, S. Burleigh, H. Briggs and B. Auernheimer Affiliation: Jet Propulsion Lab. And Cal. State Univ., Fresno Title: A platform for real-time visualization and interactive simulation of large multimedia networks Authors: M. Chan, Pacifici, and Stadler Affiliation: Columbia University Title: POSIX Standards for Fault Management in a Real-Time Environment Authors: H. Roth and A. Chandra Affiliation: NSWCDD and IBM Title: Development and Validation of Network Clock Measurement Techniques Authors: K. O'Donoghue and T. Plunkett Affiliation: Naval Surface Warfare Center title : Inter- and Intra-Processor Synchronizations in Multiprocessor Real-Time Kernel authors : Hiroaki Takada and Ken Sakamura address : Dept. of Information Science, Faculty of Science, University of Tokyo 7-3-1, Hongo, Bunkyo-ku, Tokyo 113, Japan Behavior Analysis of Parallel, Real-Time and Embedded Systems for Monitoring and Optimizing Industrial Processes Francisco J. Suarez, Javier Garcia, Daniel F. Garcia Universidad de Oviedo, Gijon, Spain -------------------------------------------------------------------------------- 3:30-4:00 Break -------------------------------------------------------------------------------- 4:00-5:20 SCHEDULING Session Chair: Tadashi Ae, Hiroshima Univ., Japan [LONG PAPERS] (2) Solving Hard Real-Time Scheduling Problems on Multiprocessors Under Consideration of Communication Delays Klaus H. Ecker Technische Universitaet, Clausthal ecker@zaphod.in.tu-clausthal.de Earliest Deadline Message Scheduling with Limited Priority Inversion Antonio Meschi, Marco Di Natale, Marco Spuri Scuola Superiore S. Anna - Pisa marco@pegasus.sssup.it [SHORT PAPERS] (2) title : Importance-based Scheduling for Predictable Real-Time Systems using MART authors : Naoko Kosugi(1), Atsushi Mitsuzawa(1) and Mario Tokoro(2) address : 1. NTT Information and Communication Systems Labs. 1-2356 Take, Yokosuka 238-03, Japan 2. Dept. of Computer Science, Keio University 3-14-1 Hiyoshi, Kohoku-ku, Yokohama 223, Japan e-mail) nao@isl.ntt.jp, mituzawa@isl.ntt.jp, mario@mt.cs.keio.ac.jp title : Scheduling Periodic Distributed Hard Real-Time Tasks authors : Ashok Khemka and R.K. Shyamasundar address : Computer Science Group, Tata Institute of Fundamental Research Bombay-400 005, India e-mail) shyam@turing.tifr.res.in -------------------------------------------------------------------------------- 5:30-6:45 REAL-TIME DATABASES Session Chair: Maarten Boasson, Hollands Signaal, Netherlands [SHORT PAPERS] (5) Title: Issues in Designing Open Distributed Real-Time Databases Authors: R. Ginis and V. Fay Wolfe Affiliation: Univ. of Rhode Island Email: ginis@cs.uri.edu or wolfe@cs.uri.edu Title: Cooperative Transactions for Real-Time Databases Authors: H.-C. Kuo and G. Ozsoyoglu Affiliation: Case Western Reserve Univ. Email: kuo@alpha.ces.cwru.edu The Response Time Distribution in a Multi-Processor Database with Single Queue Static Locking Maarten Bodlaender Technische Universiteit, Eindhoven maarten@win.tue.nl title : Distributed Real-time Optimistic Concurrency Control Protocol authors : Kwok-wa Lam, Victor C.S.Lee, Kam-yiu Lam and Sheung-lun Hung address : Department of Computer Science, City University of Hong Kong 83 Tat Chee Avenue, Kowloon Tong, Hong Kong e-mail) cskylam@cityu.edu.hk title : On the Relaxed Serializability based on Consistent States for Real-Time Database Applications authors : Lee, Kyuwoong and Park Seog address : Database Research Lab, Dept. of CS, Sogang Univ., Seoul, Korea e-mail) Qlee@dblab.sogang.ac.kr, spark@dblab.sogang.ac.kr
-------------------------------------------------------------------------------- 8:00-9:25 APPLICATIONS Session Chair: [SHORT PAPERS] (4) Title: An embedded real-time SIMD processor array for image processing Authors: D. Andrews Affiliation: U. of Arkansas Email: dla@engr.uark.edu Title: Heterogeneous Parallel Architecture for Improving Signal Processing Performance in Doppler Blood Flow Instrumentation Authors: D. F. Garcia Nocetti, J. Martinez Flores, and J. Solano Gonzalez Affiliation: Univ. Nacional Autonoma de Mexico Email: fabian@uxdea1.iimas.unam.mx Title: Real-Time Multi-Processing Fuzzy Logic Adaptive Control Gas Tungsten Arc Welding System Authors: M. A. Austin Affiliation: United Technologies Corp. Pratt and Whitney Email: austinma@ehpw.com Title: PARSYNTH: A Case Study on Implementing a Real-Time Digital Audio Synthesizer Authors: B. Jeff and K. Schwan Affiliation: Clark Atlanta Univ. and Georgia Institute of Technology Email: byron@cc.gatech.edu or schwan@cc.gatech.edu [LONG PAPERS] (1) Title: Issues in Developing Real-Time Multimedia Applications for a Multiprocessor System Authors: P. A. Subrahmanyam and A. Sharma Affiliation: AT&T Bell Laboratories Research Email: subra@research.att.com -------------------------------------------------------------------------------- 9:25-9:45 Break -------------------------------------------------------------------------------- 9:45-12:00 COMMUNICATION AND NETWORKING Session Chair: [LONG PAPERS] (3) Title: Real-Time Interprocessor Communication for Point-to-Point Networks using Wormhole Routing Authors: S. Hary and F. Ozguner Affiliation: The Ohio State Univ. Email: hary@ee.eng.ohio-state.edu or ozguner@ee.eng.ohio-state.edu Title: Methodologies and Metrics for Evaluating Commercial Components for Real-Time Distributed Communications Authors: P. M. Irey IV and D. T. Marlow Affiliation: NSWCDD Email: pirey@relay.nswc.navy.mil title : User-level Real-Time Network System on Real-Time Mach authors : Tatsuo Nakajima(1), Hideyuki Tokuda(2) address : 1. JAIST 15 Asahidai, Tatsunokichi, Ishikawa, 923-12, JAPAN 2. Faculty of Environmental Information, Keio University e-mail) tatsuo@jaist.ac.jp, hxt@sfc.keio.ac.jp [SHORT PAPERS] (4) Title: Communication Issues in Heterogeneous Embedded Systems Authors: Liu, Kostis, and Prasanna Affiliation: Univ. of S. California Email: prasanna@halcyon.usc.edu Title: Using Asynchronous mode of FDDI to Support Real-Time Multimedia Communication Authors: Z. Wang, S. Davari, G. Collins and W. Zhao Affiliation: Univ. of Houston - Clear Lake and Texas A&M Univ. Email: Davari@CL.UH.EDU title : Timed Reachability Analysis Method for Communication Protocols with Time Intervals authors : Shin'ichi Nagano, Yoshiaki Kakuda and Tohru Kikuno address : Dept. of Information and Computer Sciences Faculty of Engineering Science, Osaka University Toyonaka-shi, Osaka 560, Japan e-mail) {s-nagano, kakuda, kikuno}@ics.es.osaka-u.ac.jp The time characteristics of cyclic service in Profibus M.Li, L. Stoeckli Swiss Federal Institute of Technology, Lausanne ming@litsun.epfl.ch -------------------------------------------------------------------------------- 12:00-1:30 Lunch -------------------------------------------------------------------------------- 1:30-3:30 PANEL DISCUSSION: BENCHMARKING FOR REAL-TIME HIGH PERFORMANCE COMPUTING Moderator: Richard A. Games, MITRE Panelists: Arlan L. Pool, Mercury Computer Systems John Drummond, NRaD Nick Kamenoff, Monmouth University Richard Metzger, Rome Laboratory Marc Campbell, Northrup-Grumman Corporation TBD, Concurrent Computer Corporation -------------------------------------------------------------------------------- 3:30-4:00 Break -------------------------------------------------------------------------------- 4:00-5:10 SPECIFICATION Session Chair: [LONG PAPERS] (2) Title: Viewcharts: A Behavioral Specification Language for Complex Systems Authors: A. Isazadeh, D. A. Lamb, and G. MacEwen Affiliation: Queen's Univ., Canada Specifying Parallel and Distributed Real-Time Systems in Z Peter Baumann and Karl Lermer Institut fuer Informatik der Universitaet Zuerich, Zuerich [SHORT PAPERS] (2) Title: Semantics for an Actor-Based Real-Time Language Authors: B. Nielsen and G. Agha Affiliation: Univ. of Illinois title : Modeling and Simulation of Distributed Real-Time Control Systems for Performance Evaluation authors : Young Cheol Cho(1), Nae Hyuk Chang(1), Sang Hwan Park(1), Wook Hyun Kwon(1) and Choo Young Yeol(2) address : 1. Dept. of Control and Instrumentation Enginerring, Seoul Nat'l Univ., Kwanak-gu, Seoul, 151-742, Korea 2. Technical Research Laboratories, Pohang Iron & Steel Company, PoHang, KyungBuk, Korea -------------------------------------------------------------------------------- 5:20-6:40 ANALYSIS AND VERIFICATION Session Chair: Guenter Hommel, Institut fuer Technische Informatik, Berlin University of Technology, Germany [LONG PAPERS] (2) Title: Monitoring and Assertion-Checking of Real Time Specifications in Modechart Authors: Brockmeyer, Jahanian, Heitmeyer and Labaw Affiliation: Univ. of Michigan and Naval Research Lab. title : An Engineering Approach to Decomposing End-to-End Delays on a Distributed Real-Time System authors : Manas Saksena(1) and Seongsoo Hong(2) address : 1. Dept. of Computer Science, Concordia University, 1455 De Maisonneuve Blvd, West Montreal Quebec H3G 1M8, Canada 2. School of Electrical Engineering, Seoul National University San 56-1 Shinlim-Dong, Kwanak-Ku, Seoul 151-742, Korea e-mail) manas@cs.concordia.ca, sshong@dandelion.snu.ac.kr [SHORT PAPERS] (2) Rare Event Simulation with an Adaptive "RESTART" Method in a Petri Net Modeling Environment Christian Kelling and Guenter Hommel Technische Universitaet, Berlin title : Automatic verification system based on automaton theory authors : Satoshi Yamane address : Shimane University, Nishikawatu 1060, Matue city, Japan e-mail) yamane@cis.shimane-u.ac.jp TUESDAY APRIL 16, 1996