|
|
Monday,
May 7th, 2007
|
|
8:00
8:30
|
Registration
|
|
8:30
9:00
|
Opening
|
|
9:00
|
Session
1A: Technology Trends (Part 1)
|
|
9:00
9:40
|
[Invited Talk] Meeting the
Challenges of Ultra-Large-Scale
Distributed Real-time and Embedded Systems, D. Schmidt
|
|
9:40
10:10
|
A Systematic Approach to Domain-Specific
Language Design Using UML
B.
Selic
|
|
10:10
10:40
|
Periodic Finite-State Machines
H. Kopetz, C. El-Salloum, B. Huber, R.
Obermaisser
|
|
10:40
11:00
|
Coffee Break
|
|
11:00
|
Session 1B: Technology Trends (Part 2)
|
|
11:00
11:30
|
Engineering Self Coordinating
Real Time System
F. Ramig
|
|
11:30
12:00
|
Efficient Adaptations of the
Non-blocking Buffer for event Message Communication
K. Kim, J. Clomenares, and K. Rim
|
|
12:00
|
Lunch
|
|
13:30
|
Session 2: Component-based Software Development
|
|
13:30
14:00
|
A Unified Benchmarking Process
for Components in Automotive Embedded Systems Software
W. Forster, C. Kutschera, D. Schreiner, K.M. Goschka
|
|
14:00
14:20
|
A New Specification of Software Components
for Embedded Systems
T. Azumi, M. Yamamoto, Y. Kominami, N.
Takagi, H. Oyama, H. Takada
|
|
14:20
14:50
|
Towards a Layered Architecture
for Object-Based Execution in Wide-Area
Deeply Embedded Computing
T. Abdelzaher, Q. Cao, R. Ganti, M. Khan,
J. Heo, C. Huang, P. Jayachandran, H. Khac Le, L. Luo, Y. Tsai
|
|
14:50
15:20
|
Design and Performance Evaluation of
Configurable Component Middleware for End-to-End QUICKER: A Model-driven
QoS Mapping Tool for QoS-enabled Component Middleware
A. Kavimandan, K. Balasubramanian, N.
Shankaran Aniruddha Gokhale, D. Schmidt
|
|
15:20
15:35
|
Coffee
break
|
|
15:35
|
Session
3: Fundamental Issues in Distributed RT Computing
|
|
15:35
16:05
|
A Timing Assumption and a t-Resilient
Protocol for Implementing an Eventual Leader Service in Asynchronous Shared
Memory Systems
A.
Fernandez, E. Jimenez, M. Raynal, G. Tredan
|
|
16:05
16:35
|
Detection of Fractal Breakdowns by the
Novel Real-time Traffic Pattern Detection Model (Enhanced-RTPD + Holder
Exponent) for Web Applications
W. Lin, A. Wong, T. Dillon, E. Chan
|
|
16:35
17:05
|
Time-Predictable Task
Preemption for Real-Time Systems with Direct-Mapped Instruction Cache,
R. Kirner, P. Puschner
|
|
17:05
17:35
|
LSynD: Localized Synopsis Diffusion
Andrea Berfield, Panos Chrysanthis, Daniel
Mosse
|
|
19:00
21:00
|
ISORC
/ SEUS Welcome Reception
|
|
|
Tuesday,
May 8th, 2007
|
|
8:00
|
Session 4A: Real-Time Java
|
|
8:00
8:30
|
A Profile for Safety Critical
Java
Martin
Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn
|
|
8:30
9:00
|
Predictable Serialization in
Java
D. Tejera, A. Alonso, M.A. de Miguel
|
|
9:00
9:30
|
Allowing Cycles References among Scoped
Memory Areas in the Real-Time Specification of Java
M. Higuera Toledano
|
|
9:30
10:00
|
Integrating Priority
Inheritance Algorithms in the Real-Time Specification for Java
A. Wellings, A. Burns, O. Marchi dos Santos
|
|
8:00
|
Session 4B: Software Design
|
|
8:00
8:30
|
Analyzing Behavior of
Concurrent Software Designs for Embedded Systems
R. G. Pettit IV, H. Gomaa
|
|
8:30
9:00
|
A component-based Methodology
to Design Arbitrary Failure Detectors for Distributed Protocols
R. Baldoni, J. Helary, S. Tucci Piergiovanni
|
|
9:00
9:30
|
On Rigorous Design and Implementation of
Fault Tolerant Ambient Systems
A. Iliasov, A. Romanovsky, B. Arief, L.
Laibinis, and E. Troubitsyna
|
|
9:30
10:00
|
Design of Secure CAMIN
Application System based on Dependable and Secure TMO and RT-UCON
J. Kim, B. Thuraisingham
|
|
10:00
10:15
|
Coffee
break
|
|
10:15
|
Session
5A:
Wireless and Mobile
Networks
|
|
10:15
10:45
|
Efficient Data Transmission in a Lossy and
Resource limited Wireless Sensor-Actuator Networks
K. Morita, N. Hayashibara, and M. Takizawa
|
|
10:45
11:15
|
Search-Oriented Deployment Strategies for
Wireless Sensor Networks
J. Chang, P. Hsiu, T. Kuo
|
|
11:15
11:45
|
Data Dissemination for Wireless Sensor
Networks
M. Lee and S. Lee
|
|
10:15
|
Session
5B: Middleware
|
|
10:15
10:45
|
A Novel Synchronous Scheduling Service for
CORBA-RT Applications
I. Calvo, L. Almeida, A. Noguero
|
|
10:45
11:15
|
Using Multi-Agent Principles for
Implementing an Organic Real-Time Middleware
M. Nickschas, U. Brinkschulte
|
|
11:15
11:45
|
Security Analysis of the Utilization of
Corba Object References as Authorization Tokens
C. Becker, S. Staamann and R. Salomon
|
|
11:45
|
Lunch
|
|
13:00
|
Video
Presentation: Dr. Frederical
Darema (National Science Foundation)
|
|
14:00
|
Coffee break
|
|
14:20
|
Session 6A: Distributed Systems
|
|
14:20
14:50
|
QoS Management of Real-Time Data Stream
Queries in Distributed Environments
Y. Wei, V. Prasad, S. Son
|
|
14:50
15:20
|
An Architecture to Support Dynamic Service
Composition in Distributed Real-Time Systems
I. Estévez-Ayres, L. Almeida, M. García-Valls, P.
Basanta-Val
|
|
15:20
15:50
|
An Approach to Automated Agent Deployment
in Service-based Systems
S. Yau, L. Zhu, D. Huang, and H. Gong
|
|
14:20
|
Session 6B: Scheduling and Resource Management
|
|
14:20
14:50
|
System-Level Energy-Efficiency for
Real-Time Tasks
C. Yang, J. Chen, C. Hung, and T. Kuo
|
|
14:50
15:20
|
Compositional Schedulability Analysis of
Hierarchical Real-Time Systems
A. Easwaran, I. Lee, I.
Shin, and O. Sokolsky
|
|
15:20
15:50
|
Enterprise Job Scheduling for Clustered
Environments
S. Paulakis, V. Tsetsos, S.
Hadjiefthymiades
|
|
16:00
19:00
|
Excursion
|
|
19:30
|
ISORC
/ SEUS Banquet
|
|
|
Wednesday , May 9th,
2007
|
|
8:30
|
Session 7A: Model-Driven Development
|
|
8:30
9:00
|
Design and Performance
Evaluation of Configurable Component Middleware for End-to-End Adaptation
of Distributed Real-time Embedded Systems
N. Shankaran,
D.C. Schmidt, X.D. Koutsoukos,
Y. Chen, and C. Lu
|
|
9:00
9:30
|
Independent Model-Driven Software
Performance Assessments of UML Designs
J. Street, R. Pettit, H. Gomaa
|
|
9:30
9:50
|
Combining Model processing and
Middleware Configuration for Building Distributed High-Integrity Systems
J. Hugues, B. Zalila, L. Pautet
|
|
8:00
|
Session 7B: Embedded Systems
|
|
8:00
8:30
|
An Efficient Algorithm for
Online Soft Real-Time Task Placement on Runtime Reconfigurable Devices
J. Cui , Z. Gu, W. Liu, Q. Deng
|
|
8:30
9:00
|
Hardware-near Programming in
the Common Language Infrastructure
S. Richter, A. Rasche, A. Polze
|
|
9:00
9:20
|
Device Modeling for a Flexible
Embedded Systems Development Process
K. Thramboulidis, G. Koumoutsos, G. Doukas
|
|
9:20
9:40
|
Applying Aspect-Orientation Concepts
in the Model-Driven Design of Distributed Embedded Real-Time Systems
M. Wehrmeister, E. Freitas, C. Pereira, F. Wagner
|
|
9:50
10:10
|
Coffee Break
|
|
10:10
|
Session 8A:
Component Execution Support
|
|
10:10
10:40
|
A Comparative Evaluation of EJB
implementation methods
A. Stylianou, G. Ferrari, P. Ezhilchelvan
|
|
10:40
11:10
|
Real-time Dynamic Guarantee in
Component-based Middleware
C. Tatibana, C. Montez Rˆomulo, S. De
Oliveira
|
|
11:10
11:40
|
Evaluating Real-time Publish/Subscribe
Service Integration Approaches in QoS-enabled Component Middleware
G. Deng, M. Xiong, A. Gokhale, G. Edwards
|
|
10:10
|
Session 8B: Execution Time Analysis and Program Verification
|
|
10:10
10:40
|
An Iterative Refinement Framework
for Tighter Worst-Case Execution Time Calculation
Ho Jung Bang, Tai Hyo Kim, and Sung Deok
Cha
|
|
10:40
11:10
|
Automated Formal Verification
and Testing of C Programs for Embedded Systems
S. Kandle, R. Kirner, P. Puschner
|
|
11:10
11:40
|
Experiences from Applying WCET
Analysis in Industrial Settings,
J. Gustafsson, A. Ermedahl
|
|
11:45
|
Lunch
|
|
13:00
|
Session 9A: Execution Support for Distributed Systems
|
|
13:00
13:30
|
XtreemOS: a Grid Operating System
Making your Computer Ready for Participating in Virtual Organizations
C. Morin
|
|
13:30
14:00
|
Exploiting Tuple Spaces to
Provide Fault-Tolerant
Scheduling on Computational Grids
F. Favarim, J. Fraga, L. Lung, M. Correia,
J. Santos
|
|
13:00
|
Session 9B: UML and Modeling
|
|
13:00
13:30
|
Timed-automata Semantics and
Analysis of UML/SPT Models with Concurrency
A. Gherbi, F. Khendek
|
|
13:30
14:00
|
Mastering Complexity in Formal
Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent
Transport Systems
F. Kordon
|
|
14:00
|
Session 10A: Handling Time Faults
|
|
14:00
14:30
|
On Best-Effort Real-Time
Assurances for Recovering from Distributable Thread Failures in Distributed
Real-Time Systems
B. Ravindran, E. Curley, J. Anderson, E. Douglas
Jensen
|
|
14:30
14:50
|
Real-Time Tasks Scheduling
With Value Control to Predict Timing Faults During Overload
C. Tres, L. Buss Becker, E. Nett
|
|
14:50
15:10
|
A Wide Area Network Emulator for
CORBA Applications
M. Alsaeed and N. Speirs
|
|
14:00
|
Session 10B: Sensor Networks
|
|
14:00
14:30
|
TMO-NanoQ+ : A Real-time
Kernel for Sensor Networks Supporting Time-triggered and Message-triggered
Tasks
J. Yi, S. Heu, H. Kim, H. Sue, J. Kim
|
|
14:30
15:00
|
Toward a Generic and Secure
Platform for Sensor Network Nodes
Y. Nakamoto, K. Higashiyama, N.
Chiba, M. Kaneko, Y. Furuzumi
|
|
|
|
|
|
|
|
|
|
|
|
|
