=======================================================================
CALL FOR PAPERS
  30th IEEE Real-Time Systems Symposium (RTSS 2009)
     December 1-4, 2009  	Washington DC, USA
               http://www.rtss.org/

Important dates:
  Submission Deadline:  Tuesday, May 26, 2009 (final extended)
  Acceptance Decisions: Sunday, August 23, 2009 
  Final Manuscript: 	Friday, September 11, 2009

Conference Highlights:
  * The scope of RTSS 2009 includes four primary areas of emphasis:
       o Traditional real-time infrastructure and theory;
       o Cyber-Physical Systems;
       o Design and Verification of Embedded Real-Time Systems; and
       o Wireless Sensor Networks.
  * Awards for best paper and best student paper.
========================================================================
full text:

   30th IEEE Real-Time Systems Symposium (RTSS 2009)
     December 1-4, 2009  	Washington DC, USA
               http://www.rtss.org/

The 30th IEEE Real-Time Systems Symposium (RTSS) in Washington, DC, USA,
will follow the format of recent RTSSs, with several tracks. RTSS is
the premier conference in the area of real-time computing, presenting
innovations in the field with respect to theory and practice. 

RTSS provides a forum for the presentation of high-quality, original
research covering all aspects of real-time systems design, analysis,
implementation, evaluation, and case-studies. RTSS'09 continues the
trend of making RTSS an expansive and inclusive symposium, looking to
embrace new and emerging areas of real-time systems research. 

RTSS'09 welcomes the submission of mature papers in several areas of
real-time computing, including but not limited to scheduling; databases;  
observability; composability; security for real-time systems; tools and
reduction to practice; control and adaptive RT systems theory; testing 
and debugging; modeling; formal methods; communications (wireless,
wireline, and sensor networks); power, thermal, and energy management; 
embedded systems; sensor and implantable devices; robustness; fault
tolerance and robustness; intelligent behavior; time-sensitive robotics; 
emergency/disaster management; embedded real-time systems and
infrastructures; QoS support; real-time systems middleware;
cyber-physical systems.  

In addition to the main real-time track, this year we will continue with 
the successful format of previous years with three specialized tracks: 
 * Cyber-Physical Systems 
 * Design and Verification of Embedded Real-Time Systems 
 * Wireless Sensor Networks  
Each of these four areas is described in more detail below.

CYBER-PHYSICAL SYSTEMS
----------------------
Cyber-physical systems (CPS) is an emerging discipline whose goal is
to create a unified theory of control and computation.
Computing-in-the-loop is ubiquitous today but the physical and cyber
components of these systems are generally designed separately
with requirements tossed over the wall.  CPS aims to integrate the
design of computer and physical systems through control/computing
co-design.  Applications of cyber-physical systems range from key
industry sectors including transportation (automobiles, smart highways,
mass transportation and infrastructure, avionics, aviation,
airspace management), large-scale critical infrastructures
(structures such as buildings and bridges, human environments,
the power grid), defense systems, health care (medical devices and
health management networks), tele-physical operations (e.g., tele-medicine),
and consumer electronics (video games, audio/video processing,
and mobile communication devices). This special track calls for papers
that identify scientific foundations and technologies that integrate
cyber-concepts with the dynamics of physical and engineered systems,
with an emphasis on physical processes that include HW/SW co-design.
Papers on all aspects of cyber-physical systems will be given due
consideration. Areas of interest include, but are not limited to
the following:
          o Integrated design methods for CPS
          o HW/SW co-design for CPS
          o Simulation and emulation of CPS
          o Integrated tool chains for CPS
          o Scalable CPS Architectures
          o Composability of software, hardware and physical components
          o Analysis of cyber-physical systems with multiple temporal and 
            spatial scales
          o High-confidence and security in CPS

DESIGN AND VERIFICATION OF EMBEDDED REAL-TIME SYSTEMS
----------------------------------------------------- 
Designing embedded real-time systems is becoming an increasingly important 
and difficult task due to the widespread applications, and increasing 
complexity of such systems, and the stringent constraints on reliability, 
performance, energy consumption, cost, and time-to-market. The objective of 
this track is to promote research on design and analysis, and verification 
of embedded real-time systems. It intends to cover the whole spectrum from 
theoretical results to concrete applications with an emphasis on practical 
and scalable techniques and tools providing the designers with automated 
support for obtaining high-quality software and hardware systems. A 
particular goal is to provide a forum for interaction between different 
research communities, such as scheduling, hardware/software co-design, 
and formal techniques.

Topics of interest include (but are not limited to) the following:
          o Modeling, evaluation and optimization of non-functional aspects  
            such as timing, memory usage, communication bandwidth, and energy 
            consumption.
          o Design space exploration, performance analysis, and mapping of 
            abstract designs onto target platforms such as time-triggered 
            architectures and MPSoC.
          o Model-based validation techniques ranging from simulation, testing, 
            model-checking, compositional analysis, correctness-by-construction 
            and abstract interpretation.
          o Algorithms and techniques for the implementation of practical and 
            scalable tools for modelling, automated analysis and optimization.
          o Theories, languages and tools supporting coherent design flows 
            spanning software, control, hardware and physical components.
          o Case studies and success stories in industrial applications using 
            existing techniques and tools for system design, analysis and 
            verification.

WIRELESS SENSOR NETWORKS
------------------------
Wireless sensor networks have emerged as a new platform for distributed embedded systems. Example applications include medical care, emergency response, critical infrastructure protection, intelligent transportation, and smart manufacturing. This track aims at fostering interaction and collaboration of researchers and exchanging new ideas in various aspects of sensor network research. The technical program of this track will consist of selected regular papers.

Authors are invited to submit original unpublished manuscripts that demonstrate current research on various aspects of wireless sensor network systems.

Topics of interest include (but are not limited to) the following:
          o Sensor network applications and deployment experiences
          o Sensor network protocols and architectures
          o Operating systems and middleware for sensor networks
          o Real-time issues in sensor networks
          o Distributed networked sensing and control
          o Power management
          o Programming abstractions
          o Wide-area sensing services
          o Detection, classification, and estimation
          o Localization and time synchronization
          o Security and privacy

SUBMISSION OF PAPERS
====================
Full papers must be submitted electronically through our web form in a
pdf or postscript format. The material must be unpublished and not
under submission elsewhere. The paper should be no more than 10 pages
in two-column, single-space, 10pt format.

Notice: Papers exceeding such limits may not be considered for review.
A special Work in Progress (WiP) session will be organized and announced
later. This session will for presentation of on-going and recent work.
Workshops focusing on hot topics will be organized and announced later.

IMPORTANT DATES
===============
  Submission Deadline:  Tuesday, May 26, 2009 (Final Extended Deadline)
  Acceptance Decisions: Sunday, August 23, 2009 
  Final Manuscript:     Friday, September 11, 2009

ORGANIZERS
==========
General Chair:                                                                       
 Steve Goddard, University of Nebraska-Lincoln, USA

Program Chair:
 Theodore P. Baker, Florida State University, USA 

Special Track Chairs:      
 Cyber-Physical Systems     
  Marilyn Wolf, Georgia Institute of Technology, USA 

 Design and Verification of Embedded Real-Time Systems 
  Oleg Sokolsky, University of Pennsylvania, USA

 Wireless Sensor Networks
  Chenyang Lu, Washington University, St. Louis, USA 

Local Arrangements Chair: 
 Hakan Aydin, George Mason University, USA

Robotic Competition Chair: 
 Tullio Facchinetti, University of Pavia, Italy

Finance Chair: 
 Christopher Gill, Washington University, USA 

Ex-Officio (TC-Chair): 
 Raj Rajkumar, Carnegie-Mellon University, USA

CONFERENCE WEB PAGE
===================
http://www.rtss.org/
========================================================================