(toppers-users 366) RTCSA への参加のお勧め

[TAKADA Hiroaki]

各メーリングリスト登録者各位

RTP のお知らせを流したばかりで申し訳ありませんが、３月にはリアルタイム
関係でもう１つ大きいイベントがありますので、案内させていただきます。

3月18日〜20日の３日間に、リアルタイムコンピューティング分野の国際会議
である RTCSA 2002 が慶應大学 (三田キャンパス) で開催されます。下に開催
のお知らせと、Advance Program をつけます。Advance Program にはまだ載っ
ていませんが、招待講演として、日本IBMの清水様が Linux Watch に関する講
演をされる予定と聞いています。

参加登録の方法については、以下の web site を参照ください。

	http://www.mkg.sfc.keio.ac.jp/RTCSA2002/

こちらにも、多数参加くださると幸いです。

高田広章
豊橋技術科学大学

*******************************************************************
                 RTCSA 2002 (3/18 - 3/20) 開催のお知らせ

皆さま、リアルタイムコンピューティングの会議、RTCSA 2002 (Real-Time
Computing Systems and Applications 2002) が下記要領にて開催されます。
この会議には、リアルタイム技術、組込みシステムに携わる幅広い分野の
アジア、ヨーロッパ、北米の研究者、技術者が集います。
リアルタイム技術は、組込みシステムをシステマティックに構築するため
の基盤技術として重要な位置を占めています。近年、ソフトウエアの複雑
化に伴い、LinuxやJava等のコモディティソフトウエアの利用が盛んになっ
てきています。本会議ではいかにコモディティソフトウエアを利用してシ
ステマティックに組込みソフトウエアを構築するかなどに関する多くの発
表も行われます。また、次世代のユビキタスコンピューティングやパーベ
シブコンピューティングに関する活発な議論も行われます。
是非、この機会に関連する分野の研究者、技術者の皆さまにご参集いただ
き、積極的に交流を図っていただければ幸いです。

                                   2002-2-7

                       運営委員長 (General Co-Chairs)
                       Heonshik Shin, Seoul National University, Korea
                       徳田英幸, 慶應義塾大学

*******************************************************************
          The 8th International Conference on Real-Time
          Computing Systems and Applications (RTCSA 2002)

                      March 18 - 20, 2002,
                 Keio University, Mita Campus
                         Tokyo, Japan.

      Co-sponsored by Korea Information Science Society (KISS) and
              Information Processing Society of Japan (IPSJ)

      Registration Information :
                  http://www.mkg.sfc.keio.ac.jp/RTCSA2002/
*******************************************************************

Scope of the Conference RTCSA 2002 will bring together
researchers and developers from academia and industry for
advancing the technology of real-time computing systems
and applications.  The conference has the following goals:
1. to investigate advances in real-time systems and applications;
2. to promote interaction among real-time systems and applications;
3. to evaluate the maturity and directions of real-time system
     technology.

Conference attendees will explore the best current ideas on
real-time computing systems and applications.  Papers
describing new ideas, promising approaches, experiences with
practical and research systems, and work in progress are
presented.

Technical sessions of RTCSA 2002 include the following areas related
to real-system technologies.

- scheduling and resource management
- requirements and design specification
- formal methods
- modeling
- operating systems
- databases
- file systems
- networks and communications
- multimedia applications
- software systems
- programming languages and programming environments
- middleware and APIs
- instrumentation
- fault tolerance
- software engineering
- performance analysis
- signal-processing
- embedded systems
- distributed control
- responsive systems

------------------------------------------------------------------

General Co-Chairs:
Heonshik Shin, Seoul National University, Korea
Hideyuki Tokuda, Keio University, Japan

Program Co-Chairs:
Young-Kuk Kim, Chungnam National University, Korea
Tatsuo Nakajima, Waseda University, Japan

---------------------------------------------------------------------------- 
----
RTCSA 2002 Technical Program
March 18

8:45-9:00     Opening

9:00-10:30    Resource Management (1)               Room A

Energy-Efficient Dual Voltage/Pipelined Caches for Real-Time Embedded 
Systems(L)
Hung-Cheng Wu, Tien-Fu Chen (National Chung Cheng University)

Applying RMA to Engine Management System(L)
Shinichi Iiyama, Hiroaki Takada, Hideaki Suganuma
(Toyohashi University of Technology)

Time-Memory Scheduling and Code Generation of Real-Time Embedded Software (L)
Chen-Hau Gao, Pao-Ann Hsiung (National Chung Cheng University)


9:00-10:30    Tools                                        Room B

Stable States Based Monitoring of Real-Time Software Systems (S)
Mohammad Zulkernine, Rudolph E. Seviora (University of Waterloo)

Implementation of an Esterel-based Toolkit for Designing DSP Software 
Applications(L)
Hahnsang Kim, Thierry Turletti (INRIA  Sophia Antipolis)

Esto: a Platform Independent Toolset to Develop Embedded Applications(S)
Chaedeok Lim, Hyung-Taek Lim, Young-Kuk Kim
            (Electronics and Telecommunications Research Institute)


11:00-12:00   Invited Talk (1)                              Room A

13:30-15:30   System (1)                                  Room A

Comparison on Virtual Memory Management Algorithms in a Real-Time Kernel
on a RISC Processor(L)
Yukikazu Nakamoto (NEC Networks Development Laboratries)

Building Middleware Components for Ubiquitous Computing on Commodity 
Software(S)
Tatsuo Nakajima, Eiji Tokunaga, Hiro Ishikawa (Waseda University)

Process Migration in Distributed Real-Time Systems (L)
Fredrik Gustafsson, Jorgen Hansson, Sang H. Son (OSE Systems Inc.)

A Real-Time Garbage Collection Mechanism for Flash-Memory Storage Systems
  in Embedded Systems(L)
Li-Pin Chang, Tei-Wei Kuo (National Taiwan University)


13:30-15:30   Testing                                     Room B

Testability of Dynamic Real-Time System(S)
Birgitta Lindstrom, Jonas Mellin, Sten Andler (University of Skovde)

Testing Distributed Real-Time Systems: An Efficient Method　Which Ensures
Controllability and Optimizes Observability(L)
Ahmed Khoumsi (Universite de Sherbrooke)

Towards a Framework for Automated Testing of Transaction-Based Real-Time 
Systems(S)
Robert Nilsson, Sten F. Andler, Jonas Mellin (University of Skovde)

Enhanced Software Instruction Counter Method for Test Coverage Analysis of
Real-Time Software(L)
Daeyoung Kim, Yann-Hang Lee, Deming Liu, Alice Lee (Arizona State University)


16:00-17:30   Design                                     Room A

Practical Considerations in Designing Distributed Real-Time Systems: A Case 
Study
on an FIP-based System(L)
Minsoo Ryu, Seongsoo Hong (Seoul National University)

Components in Real-time Systems(S)
Damir Isovic, Christer Norstrom (Malardalen University)


16:00-17:30   Database                                    Room B

Integrated and Adaptive Optimistic Concurrency Control Method
for Real-Time Databases(L)
Jan Lindstrom (University of Helsinki)

Design and Implementation of Object-Relational Queries and Data types
for the Object-Relational Real-time DBMS(S)
Yoo-min Park, Myung-nam Bae, Wan Choi, Byung-sun Lee (ETRI)


March 19


9:00-11:00    Resource Management (2)                    Room A

Optimal Resource-replication and the Priority Ceiling Protocol(L)
Sanjoy K. Baruah (The University of North Carolina)

Using Artificial Neural Networks for Admission Control in Firm Real-Time 
Systems(L)
Jorgen Hansson, Magnus T. Helgasson, Sang H. Son, Tom Ziemke (Linkoping 
University)

An Efficient Method for the Supervisory Control of Dense 
Real-Time　Discrete Event
Systems(L)
Ahmed Khoumsi, Mustapha Nourelfath (Unievrsite de Sherbrooke)


9:00-11:00    Formal Method                              Room B

Verification of Real-Time Embedded Systems using Petri Net Models and
Timed Automata(L)
Luis Alejandro Cortes, Petru Eles, Zebo Peng (Linkoping University)

A Schema for Formalisms of Event Composition(L)
Jonas Mellin, Sten F. Andler (University of Skovde)

Symmetric Model-Checking of Concurrent Timed Automata
with Clock-Restriction Diagram(L)
Farn Wang (Institute of Information Science, Academia Sinica)

Modular Specification and Verification Method for Hybrid Real-Time Systems(L)
Satoshi Yamane (Kanazawa University)


11:30-12:30  Invited Talk (2)                                Room A


March 20

9:00-10:30    QOS                                         Room A

A Scheme on Measuring MPEG Video QoS with Human Perspective(L)
Joseph K.Y. Ng, Karl R.P.H. Leung, Wai Wong, Victor C.S. Lee, Calvin K.C. Hui
(Hong Kong Baptist University)

A Statistical QoS Degradation Support for Fault Tolerance
in Multi-resolution Video Servers(L)
Minseok Song, Heonshik Shin (Seoul National University)

Design and Implementation of Resource Reservation with QoS Profile Handler(L)
Nobuhiko Nishio, Hideyuki Tokuda (Keio University)


9:00-10:30    Communication                               Room B

Effects of Varying Phasings of Message Queuing in CAN Based Systems(L)
Thomas Nolte, Hans Hansson, Christer Norstrom (Malardalen University)

Evaluation of Equation-based TCP-Friendly Congestion Control under Lossy 
Environment(L)
S. W. Ng, Edward Chan (City University of Hong Kong)

Performance Evaluation and Improvement for Urgent Aperiodic Message in 
WorldFIP(S)
Zhi WANG, Ye_qiong SONG, Hai-bin YU, Youxian SUN (Zhejiang University)


11:00-13:00   System (2)                                       Room A

The Implementation of Hierarchical CBS Schedulers in RED-Linux(L)
Kwei-Jay Lin, Song Wang, Tai-Yi Kuan, Seongje Cho (University of California)

On-Chip Monitoring of Single- and Multiprocessor Hardware Real-Time 
Operating Systems(L)
MOHAMMED EL SHOBAKI (MALARDALEN UNIVERSITY)

An Implementation Method of SIGTRAN for Multi Service Switching Systems(S)
Hyunjeong Lee, Hyunsang Yu, Byungsun Lee (Electronics and Telecommunications
    Research Institute)

Parallel Digital Signal Processing of Phased Array Radar
in Real-time Environments(S)
Pangfeng Liu, Yu-Lin Su, Yi-Lin Chu, Shinn-Liang Chen, Cheng-Hsin Chang
    (National Taiwan University)


11:00-13:00   Resource Management (3)                        Room B

EDF Scheduling on Multiprocessor Platforms: Some (Perhaps) Counterintuitive
                                                   Observations(L)
Joel Goossens, Shelby Funk, Sanjoy Baruah (Universite Libre de Bruxelles)

Real-time Scheduling for Multimedia Streams Over Resource-Constrained 
Networks(S)
Huey-Min Sun, Chia-Mei Chen, LihChyun Shu (National Sun-Yat-Sen University)

Flexibility Driven Scheduling and Mapping for Distributed Real-Time System(L)
Paul Pop, Petru Eles, Zebo Peng (Linkoping University)