** Paper Submission Deadline : September 15, 2009 **
Extended Submission Deadline: September 25, 2009
Web site: http://cps.kaist.ac.kr/crts2009/
http://www.rtss.org/
The increasing complexity of real-time embedded systems demands
advanced methodologies that can facilitate their design and analysis,
while assuring correctness, real-time, and performance requirements.
Promising is a paradigm of compositional theories and technologies that
allows for the decomposition of a complex system into simpler pieces
(components), as well as the integration of individual components to
achieve system functions collectively, while preserving the principles of
- compositionality: the system-level (global) property can be established
from composing component-level (local) properties, and
- composability: the properties established and validated for components
in isolation hold also after the components are assembled into the system.
Such a composition paradigm calls for new component concepts and
composition mechanisms that can support various key characteristics of
real-time embedded systems, such as timeliness, safety, security, quality
of service, and adaptability.
Topics of interest for the workshop are all of those associated with
compositional theory and technology for real-time embedded systems,
including (but not limited to):
Submissions should be no more than 8 pages in two-column, single-space,
10pt format (for LaTeX style file see
ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_Latex8.5
x11x2.zip). All figures and references must fit within this limit - papers that
deviate from these requirements will not be reviewed. All submissions
should be in PS or PDF file format. Submissions should be sent through the
paper submission system on easychair located here:
http://www.easychair.org/conferences/?conf=crts09.
Submission of the paper implies that should the paper be accepted, at
least one of the authors will register and present the paper at the
workshop.
IMPORTANT DATES
Submission deadline:
Notification:
Camera-ready version:
Workshop:
September 25, 2009
October 22, 2009
October 30, 2009
December 1, 2009
PROGRAM CHAIRS
 Arvind Easwaran, Institute Polytechnic Porto, Portugal
 Nathan Fisher, Wayne State University, USA

ORGANIZING COMMITTEE
- COMPOSITIONAL SCHEDULING THEORIES: compositional schedulability
 Insup Lee, University of Pennsylvania, USA
and execution-time analysis; horizontal/vertical composition of various
 Thomas Nolte, Mälardalen University, Sweden
real-time resource management schemes (e.g., CPU, memory, power,
 Insik Shin, KAIST, South Korea
thermal); composition of cluster-based multicore or multiprocessor
 Oleg Sokolsky, University of Pennsylvania, USA
scheduling.
- COMPONENT MODEL AND INTERFACE: component model for real-time
PROGRAM COMMITTEE
embedded systems; interface theory and development for real-time
 Luis Almeida, University of Porto, Portugal
embedded systems; component technology for real-time embedded
 Jim Anderson, University of North Carolina, Chapel Hill, USA
systems.
 Björn Andersson, Institute Polytechnic Porto, Portugal
- COMPOSITIONAL FORMAL METHODS: compositional techniques for
modeling and formal methods; composition of validation and verification
 Sanjoy Baruah, University of North Carolina, Chapel Hill, USA
techniques.
 Enrico Bini, Scuola Superiore Sant'Anna, Pisa, Italy
- COMPOSITIONAL DISTRIBUTED SYSTEMS: composition of network
 Unmesh Bordoloi, Verimag, France
protocol layers for real-time communications; compositional end-to-end
 Reinder J. Bril, Eindhoven University of Technology, Netherland
delay analysis in distributed systems.
 Alan Burns, University of York, UK
- COMPOSITION OF POLICIES AND SERVICES: composition of system
 Gerhard Fohler, TU Kaiserslautern, Germany
layers (e.g., OS, middleware) for real-time embedded systems;
 Hans Hansson, Mälardalen University, Sweden
composition of performance policies and techniques for adaptive or
 Tei-Wei Kuo, National Taiwan University, Taiwan
reconfigurable real-time embedded systems; composition of services (e.g.,
 Chang-Gun Lee, Seoul National University, South Korea
robustness, privacy, safety, security) for real-time embedded systems.
 Giuseppe Lipari, Scuola Superiore Sant'Anna, Pisa, Italy
 Rupak Majumdar, University of California, Los Angeles, USA
PAPER SUBMISSION
 Aloysius Mok, University of Texas, Austin, USA
 Daniel Mosse, University of Pittsburgh, USA
We encourage the submission of research papers that present novel ideas
 Roman Obermaisser, Vienna University of Technology, Austria
in compositional technology for real-time systems. We also encourage the
 Lothar Thiele, ETH, Zurich, Switzerland
submission of position papers that survey the state-of-the-art, present
 Qixin Wang, Hong Kong Polytechnic University, Hong Kong
work-in-progress, and discuss open issues.