6. RTCSA 1999: Hong Kong, China

@proceedings{DBLP:conf/rtcsa/1999,
  title     = {6th International Workshop on Real-Time Computing and Applications
               Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China},
  booktitle = {RTCSA},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0306-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Databases

• LihChyun Shu, Chang-Ming Tsai:
  State Restoration in Real-Time Systems. 4-
  
• Jan Lindström, Kimmo E. E. Raatikainen:
  Dynamic Adjustment of Serialization Order Using Timestamp Intervals in Real-Time Databases. 13-20
  
• Jörgen Hansson, Sten F. Andler, Sang Hyuk Son:
  Value-Driven Multi-Class Overload Management. 21-28
  
• Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son:
  Maintaining Data Consistency Using Timestamp Ordering in Real-Time Broadcast Environments. 29-36
  
• Joe Chun-Hung Yuen, Edward Chan, Kam-yiu Lam:
  Adaptive Data Broadcast Strategy for Transactions with Multiple Data Requests in Mobile Computing Environments. 37-
  

Scheduling I

• Iain Bate, Alan Burns:
  A Framework for Scheduling in Safety-Critical Embedded Control Systems. 46-53
  
• Joël Goossens, Raymond R. Devillers:
  Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines. 54-61
  
• Sanjoy K. Baruah, Giorgio C. Buttazzo, Sergey Gorinsky, Giuseppe Lipari:
  Scheduling Periodic Task Systems to Minimize Output Jitter. 62-69
  
• Luca Abeni, Giorgio C. Buttazzo:
  Adaptive Bandwidth Reservation for Multimedia Computing. 70-77
  
• Hee-Jun Park, Byung Kook Kim:
  An Efficient Optimal Task Allocation and Scheduling Algorithm for Cyclic Synchronous Applications. 78-
  

Sofware & Systems

• Jakob Engblom, Andreas Ermedahl:
  Pipeline Timing Analysis Using a Trace-Driven Simulator. 88-95
  
• Fridtjof Siebert:
  Hard Real-Time Garbage-Collection in the Jamaica Virtual Machine. 96-102
  
• Luigi Palopoli, Paolo Ancilotti, Giorgio C. Buttazzo:
  A C Language Extension for Programming Real-Time Applications. 103-110
  
• Neil C. Audsley, I. J. Bate, Alan Grigg:
  Portable Code for Complex Critical Systems . 111-
  

Communications

• Sijing Zhang, E. Stewart Lee:
  Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC Protocol. 120-127
  
• Shibin Song, Joseph Kee-Yin Ng, Bihai Tang:
  On the Self-Similarity Property of the Output Process from a Network Server with Self-Similar Input Traffic. 128-132
  
• Shibin Song, Joseph Kee-Yin Ng, Bihai Tang:
  Statistical Delay Analysis with Self-Similar Input Traffic in ATM Networks. 133-140
  
• Teruyuki Hasegawa, Toru Hasegawa, Toshihiko Kato:
  Implementation and Evaluation of Video Transfer System over Internet with Congestion Control Based on Two Level Rate Control . 141-
  

Formal Methods I

• Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli:
  Fault Coverage in Testing Real-Time Systems. 150-157
  
• Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau:
  Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD . 158-165
  
• Sasaki Shigero, Matsumoto Takashi, Hiraki Kei:
  On the Schedulability Conditions on Partial Time Slots . 166-173
  
• Zhe Dang, Richard A. Kemmerer:
  A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. 174-181
  
• Christer Norström, Anders Wall, Wang Yi:
  Timed Automata as Task Models for Event-Driven Systems. 182-189
  
• Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc:
  Formal Description of Real-time Systems using SDL. 190-
  

Multimedia & Architecture

• Hiroe Iwasaki, Jiro Naganuma, Makoto Endo, Takeshi Ogura:
  On-Chip Multimedia Real-Time OS and its MPEG-2 Applications. 200-203
  
• Xiaoyan He, Lui Sha:
  A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture. 204-207
  
• Tommy Klevin, Lennart Lindh:
  Scalable Architecture for Real-Time Applications and Use of Bus-Monitoring. 208-211
  
• Ragnar Birgisson, Jonas Mellin, Sten F. Andler:
  Bounds on Test Effort for Event-Triggered Real-Time Systems. 212-215
  
• Tim Edmonds, Steve Hodges, Andy Hopper:
  An Adaptive Thin-Client Robot Control Architecture. 216-219
  
• Y. F. Leung, Edward Chan, Kam-yiu Lam:
  Adaptive Channel Allocation Methods for Distributed MPEG Player System Over a Cellular Radio Network. 220-
  

Invited Talk II

• Krithi Ramamritham:
  Can Real-Time Systems Be Built from Off-the-shelf Components? 226-
  

Architecture

• Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo:
  Verification of Concurrent Client-Server Real-Time Scheduling Systems. 228-235
  
• Jing Chen, Alan Burns:
  Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties. 236-246
  
• Philippas Tsigas, Yi Zhang:
  Non-Blocking Data Sharing in Multiprocessor Real-Time Systems. 247-254
  
• Thomas Lundqvist, Per Stenström:
  A Method to Improve the Estimated Worst-Case Performance of Data Caching. 255-262
  
• Kitae Hwang, Chang Yeol Choi:
  Overlapped Disk Access for Real-Time Disk I/O. 263-
  

Scheduling II

• Yann-Hang Lee, C. Mani Krishna:
  Voltage-Clock Scaling for Low Energy Consumption in Real-Time Embedded Systems. 272-279
  
• Ansgar Fehnker:
  Scheduling a Steel Plant with Timed Automata. 280-286
  
• Paul Pop, Petru Eles, Zebo Peng:
  Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. 287-294
  
• Deji Chen, Aloysius K. Mok, Tei-Wei Kuo:
  Utilization Bound Re-visited . 295-302
  
• Jun Wu, Tei-Wei Kuo:
  Real-Time Scheduling of CPU-Bound and I/O-Bound Processes. 303-
  

Best Student Paper

• Song Wang, Yu-Chung Wang, Kwei-Jay Lin:
  A Priority-Based Weighted Fair Queuing Scheduler for Real-Time Network. 312-319
  
• Johan Eker, Anton Cervin:
  A Matlab Toolbox for Real-Time and Control Systems Co-Design. 320-327
  
• Yun Wang, Manas Saksena:
  Scheduling Fixed-Priority Tasks with Preemption Threshold. 328-
  

Invited Talk III

• K. Shin:
  EMERALDS: A Small-Memory Real-Time Microkernel. 338-
  

Fault Tolerance

• B. Devalla, Riccardo Bettati, Wei Zhao:
  Fault Tolerant Real-Time Connection Admission Control for Mission Critical Applications over ATM-Based Networks . 340-347
  
• Hakan Aydin, Rami G. Melhem, Daniel Mossé:
  Incorporating Error Recovery into the Imprecise Computation Model. 348-355
  
• Pascal Chevochot, Isabelle Puaut:
  Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies. 356-363
  
• Byung Kook Kim:
  Reliability Analysis of Real-Time Controllers with Dual-Modular Temporal Redundancy. 364-
  

Real-Time Requirements

• José G. Neves, Lilian N. de Faria, Célio Estevan Morón:
  Integration of Tools for Parallel Real-Time Systems. 374-377
  
• Koji Matsuda, Kang G. Shin:
  Applicability of Cyclic-Memory Networks and IEEE1394 for Fine Motion Control and Arcade Games. 378-381
  
• Man Lin, Laurence Tianruo Yang:
  Hybrid Genetic Algorithms for Scheduling Partially Ordered Tasks in a Multi-Processor Environment. 382-387
  
• Byung-Kyu Choi, Riccardo Bettati:
  Bandwidth Reservation for Real Time Traffic in Wireless Mobile Environment. 388-
  
• Martin Naedele:
  Fault-Tolerant Real-Time Scheduling under Execution Time Constraints. 392-
  

Scheduling III

• Ihn-Han Bae:
  A Quorum-Based Dynamic Location Management Method for Mobile Computings. 398-
  
• Rui-An Lou, Chen-Khong Tham:
  Real-Time Data Transfer Using a Real-Time SNMP MIB. 402-
  
• Robert A. Lackman, David Tipper, John D. Spragins:
  Sensitivity Analysis on the Assumption of Geometric Batch Arrivals for Real-Time Versus Non-Real-Time Scheduling in a Statistical Multiplexer. 406-
  
• Hyosoon Lee, Heonshik Shin, Sang Lyul Min:
  Worst Case Timing Requirement of Real-Time Tasks with Time Redundancy. 410-
  

Resource Management

• Jinhwan Kim:
  Firm Real-Time Optimistic Concurrency Control Algorithms for Replicated Database Systems. 416-
  
• Byung-Sun Lee, Seung-Sun Lee, Mi-kyong Han, Wan Choi, Kyung Pyo Jun:
  Development of a Host DBMS for Testing Switching System Software. 420-
  
• Sergio Saez, Joan Vila i Carbó, Alfons Crespo:
  Development of a Host DBMS for Testing Switching System Software. 424-
  
• Eun-Mi Song, Chanho Ryu, Mi-Sun Choi, Young-Kuk Kim, Seong-il Jin, Young-Keol Kim, Mi-kyong Han, Wan Choi:
  No-Log Recovery Mechanism Using Stable Memory For Real-Time Main Memory Database Systems. 428-
  

O. S. & Design Spec.

• Andrés Terrasa, Ana García-Fornes:
  Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux. 434-
  
• Stefan M. Petters, Georg Färber:
  Making Worst Case Execution Time Analysis for Hard Real-Time Tasks on State of the Art Processors Feasible. 442-
  
• Henrik Thane, Hans Hansson:
  Handling Interrupts in Testing of Distributed Real-Time Systems. 450-
  
• Jarno Knuutila:
  System Specification of Wireless Multimedia Engines: A Data Fusion Approach. 458-
  
• Sun-Mi Jun, Dong-Hui Yu, Young-Ho Kim, Soon-Yong Seong:
  A Time Synchronization Method for NTP. 466-
  
• Ruud C. M. de Rooij, Jan van Katwijk:
  An Approach Towards Formal Verification of Object Oriented Real-Time Systems. 474-
  

Formal Methods II

• Siyoung Lee, Sungho Kim, DongGill Lee, Joon-Kyung Lee:
  Conceptual Transformation from SDL-92 to CHILL-96 Using Signal Subordination. 484-
  
• Karsten Strehl:
  Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification. 488-
  
• Li Li, Jifeng He:
  A Denotational Semantics of Timed RSL Using Duration Calculus. 492-
  
• Kristina Lundqvist, Lars Asplund:
  A Formal Model of a Run-Time Kernel for Ravenscar. 504-
  
• Y. Tachi, Satoshi Yamane:
  Real-Time Symbolic Model Checking for Hard Real-Time Systems. 496-
  
• Shuzhen Dong, Qiwen Xu, Naijun Zhan:
  A Formal Proof of the Rate Monotonic Scheduler. 500-
  

Last update Fri May 25 08:34:41 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page