** 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.