The Community for Technology Leaders
Parallel and Distributed Real-Time Systems, Workshop (1996)
Honululu, HI
Apr. 15, 1996 to Apr. 16, 1996
ISBN: 0-8186-7515-2
TABLE OF CONTENTS

Reviewers (PDF)

pp. xii
Session 1: New Paradigms for Parallel and Distributed Real-Time Systems: Session Chair: Norman R. Howes - Institute for Defense Analyses

Use case maps for attributing behaviour to system architecture (Abstract)

R.J.A. Buhr , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
pp. 3

Modeling real-time distributed software systems (Abstract)

B. Selic , ObjecTime Ltd., Kanata, Ont., Canada
pp. 11

Entity-life modeling in a distributed environmen (Abstract)

B.I. Sanden , George Mason Univ., Fairfax, VA, USA
pp. 35
Session 2: Chair: Klaus H. Ecker - Clausthal University of Technology

A Platform for Real-Time Visualization and Interactive Simulation of Large Multimedia Networks (Abstract)

R. Stadler , mcchan@ctr.columbia.edu
M.C. Chan , mcchan@ctr.columbia.edu
G. Pacifici , mcchan@ctr.columbia.edu
pp. 47

Reengineering a single threaded embedded missile application onto a parallel processing platform using metaH (Abstract)

L. Gray , Coleman Res. Corp., Huntsville, AL, USA
B. Lewis , Coleman Res. Corp., Huntsville, AL, USA
D.J. McConnell , Coleman Res. Corp., Huntsville, AL, USA
pp. 57
Sesssion 3: Scheduling: Session Chair: Tadashi Ae -Hiroshima University

Solving Hard Real-Time Scheduling Problems on a Single Processor (Abstract)

Klaus H. Ecker , Institut f. Informatik, TU Clausthal, Erzstr. 1, D-38678 Clausthal, Germany ecker@zaphod.in.tu-clausthal.de
pp. 81

Importance-based Scheduling for Predictable Real-Time Systems using MART (Abstract)

Naoko Kosugi , NTT Information and Communication Systems Labs.
Mario Tokoro , Department of Computer Science, Keio University
Atsushi Mitsuzawa , NTT Information and Communication Systems Labs.
pp. 95

Scheduling periodic distributed hard real-time tasks (Abstract)

A. Khemka , Comput. Sci. Group, Tata Inst. of Fundamental Res., India
R.K. Shyamasundar , Comput. Sci. Group, Tata Inst. of Fundamental Res., India
pp. 101
Session 4: Real-Time Databases: Session Chair: Maarten Boasson - Hollands Signaal

Issues in Designing Open Distributed Real-Time Databases (Abstract)

Victor Fay Wolfe , University of Rhode Island lastname@cs.uri.edu
Roman Ginis , University of Rhode Island lastname@cs.uri.edu
pp. 106

Distributed Real-time Optimistic Concurrency Control Protocol (Abstract)

Victor C.S. Lee , Department of Computer Science City University of Hong Kong
Kam-yiu Lam , Department of Computer Science City University of Hong Kong
Sheung-lun Hung , Department of Computer Science City University of Hong Kong
Kwok-wa Lam , Department of Computer Science City University of Hong Kong
pp. 122

Relaxed Serializability Based on Consistent States for Real-Time Database Applications (Abstract)

Seog Park , Sogang University, Seoul, Korea
Kyuwoong Lee , Sogang University, Seoul, Korea
pp. 126
Session 5: Applications: Session Chair: Mark Wilson -Naval Surface Warfare Center

An embedded real-time SIMD processor array for image processing (Abstract)

D. Andrews , Arkansas Univ., USA
C. Kancler , Arkansas Univ., USA
B. Wealand , Arkansas Univ., USA
pp. 131

Heterogeneous Parallel Architecture for Improving Signal Processing Performance in Doppler Blood Flow Instrumentation (Abstract)

J. Solano Gonzalez , DEA, IIMAS, Universidad Nacional Autonoma de Mexico
D.F. Garcia Nocetti , DEA, IIMAS, Universidad Nacional Autonoma de Mexico
D. Ramos Hernandez , DEA, IIMAS, Universidad Nacional Autonoma de Mexico
J. Martinez Flores , DEA, IIMAS, Universidad Nacional Autonoma de Mexico
pp. 135

Real-Time Multi-Processing Fuzzy Logic Adaptive Control Gas Tungsten Arc Welding System (Abstract)

Mary A. Austin , United Technologies Corporation - Pratt and Whitney
pp. 139

PARSYNTH: a case study on implementing a real-time digital audio synthesizer (Abstract)

K. Schwan , Dept. of Comput. & Inf. Sci., Clark Atlanta Univ., GA, USA
B. Jeff , Dept. of Comput. & Inf. Sci., Clark Atlanta Univ., GA, USA
pp. 143

Issues in developing real-time multimedia applications for a multiprocessor system (Abstract)

P.A. Subrahmanyam , Bell Lab. Res., Holmdel, NJ, USA
A. Sharma , Bell Lab. Res., Holmdel, NJ, USA
pp. 147
Session 6: Communication and Networking: Session Chair: Kenji Toda - Electrotechnical Laboratory

Real-Time Interprocessor Communication for Point-to-Point Networks using Wormhole Routing (Abstract)

Fusun Ozguner , Department of Electrical Engineering The Ohio State University
Stephen L. Hary , Department of Electrical Engineering The Ohio State University
pp. 157

Evaluating LAN communications performance for a real-time environment (Abstract)

R.D. Harrison , Syst. Res. & Technol. Dept., Naval Surface Warfare Center, Dahlgren, VA, USA
D.T. Marlow , Syst. Res. & Technol. Dept., Naval Surface Warfare Center, Dahlgren, VA, USA
P.M. Irey, IV , Syst. Res. & Technol. Dept., Naval Surface Warfare Center, Dahlgren, VA, USA
pp. 164

User-level real-time network system on Real-Time Mach (Abstract)

H. Tokuda , Japan Adv. Inst. of Sci. & Technol., Japan
T. Nakajima , Japan Adv. Inst. of Sci. & Technol., Japan
pp. 172

Communication issues in heterogeneous embedded systems (Abstract)

Wenheng Liu , Dept. of Electr. Eng. Syst., Univ. of Southern California, Los Angeles, CA, USA
W.J. Kostis , Dept. of Electr. Eng. Syst., Univ. of Southern California, Los Angeles, CA, USA
V.K. Prasanna , Dept. of Electr. Eng. Syst., Univ. of Southern California, Los Angeles, CA, USA
pp. 180

Asynchronous Mode of FDDI for Real-Time Multimedia Communication (Abstract)

Wei Zhao , Texas A&M University
Sadegh Davari , University of Houston - Clear Lake Houston, TX 77058
George Collins , University of Houston - Clear Lake Houston, TX 77058
Zhaohui Wang , University of Houston - Clear Lake Houston, TX 77058
pp. 184

The Time Characteristics of Cyclic Service in Profibus (Abstract)

M. Li , LIT/EPFL, CH-1015 Lausanne, Switzerland
L. Stoeckli , LIT/EPFL, CH-1015 Lausanne, Switzerland
pp. 192
Panel Discussion: "Benchmaring for Real-Time High-Performance Computing: Moderator: Richard A Games - MITRE

Establishing A Real-time Distributed Benchmark (PDF)

John Drummond , NCCOSC RDT&E Division (NRaD) San Diego, CA 92152-5000
pp. 198

One approach for generalization of real-time distributed systems benchmarking (PDF)

N.I. Kamenoff , Dept. of Software Eng., Monmouth Univ., West Long Branch, NJ, USA
pp. 202

A Joint STARS perspective on real-time high performance computer benchmarking (PDF)

M. Campbell , Surveillance & Battle Manage. Syst., Northrop Grumman Corp., USA
pp. 204
Session 7: Specification: Session Chair: Yoshiaki Kakuda - Osaka University

Viewcharts: A Behavioral Specification Language for Complex Systems (Abstract)

Glenn H. MacEwen , Computing and Information Science Queen's University Kingston, Ontario, Canada K7L 3N6
Ayaz Isazadeh , Computing and Information Science Queen's University Kingston, Ontario, Canada K7L 3N6
David A. Lamb , Computing and Information Science Queen's University Kingston, Ontario, Canada K7L 3N6
pp. 208

Specifying Parallel and Distributed Real-Time Systems in Z (Abstract)

Peter Baumann , Institut fuer Informatik der Universitaet Zuerich Winterthurerstr. 190, 8057 Zuerich, Switzerland
Karl Lermer , Institut fuer Informatik der Universitaet Zuerich Winterthurerstr. 190, 8057 Zuerich, Switzerland
pp. 216

Rare Event Simulation with an Adaptive RESTART Method in a Petri net Modeling Environment (Abstract)

Christian Kelling , Technische Universitaet Berlin
Guenter Hommel , Technische Universitaet Berlin
pp. 229
Session 8: Analysis and Verification: Session Chair: Giinter Hommel- Technische Universitat Berlin

An Approach to Monitoring and Assertion-Checking of Real-Time Specifications (Abstract)

Constance Heitmeyer , Naval Research Laboratory email: {heitmeye,labaw}@itd.nrl.navy.mil
Farnam Jahanian , University of Michigan {monicab,farnam}@eecs.umich.edu
Monica Brockmeyer , University of Michigan {monicab,farnam}@eecs.umich.edu
Bruce Labaw , Naval Research Laboratory email: {heitmeye,labaw}@itd.nrl.navy.mil
pp. 236

Modeling and simulation for distributed computer control systems in a steel plant (Abstract)

Sang Hwan Park , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
Wook Hyun Kwon , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
Young Cheol Cho , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
Naehyuck Chang , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
Choo Young Yeol , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
Kyeonghoon Koo , Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
pp. 252

Automatic verification system based on automaton theory (Abstract)

S. Yamane , Dept. of Comput. Sci., Shimane Univ., Matsue, Japan
pp. 256

Author Index (PDF)

pp. 261
87 ms
(Ver 3.3 (11022016))