------------------------------------------------------------------------ CALL FOR PAPERS - CRTS'09 (co-located with RTSS'09) ------------------------------------------------------------------------ 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'09) December 1, Washington, D.C., USA CRTS'09 is held in conjunction with the 30th IEEE Real-Time Systems Symposium (RTSS'09) December 1 - December 4, Washington, D.C., USA ***** Paper 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): - COMPOSITIONAL SCHEDULING THEORIES: compositional schedulability and execution-time analysis; horizontal/vertical composition of various real-time resource management schemes (e.g., CPU, memory, power, thermal); composition of cluster-based multicore or multiprocessor scheduling. - COMPONENT MODEL AND INTERFACE: component model for real-time embedded systems; interface theory and development for real-time embedded systems; component technology for real-time embedded systems. - COMPOSITIONAL FORMAL METHODS: compositional techniques for modeling and formal methods; composition of validation and verification techniques. - COMPOSITIONAL DISTRIBUTED SYSTEMS: composition of network protocol layers for real-time communications; compositional end-to-end delay analysis in distributed systems. - COMPOSITION OF POLICIES AND SERVICES: composition of system layers (e.g., OS, middleware) for real-time embedded systems; composition of performance policies and techniques for adaptive or reconfigurable real-time embedded systems; composition of services (e.g., robustness, privacy, safety, security) for real-time embedded systems. ------------------------------------------------------------------------ PAPER SUBMISSION We encourage the submission of research papers that present novel ideas in compositional technology for real-time systems. We also encourage the submission of position papers that survey the state-of-the-art, present work-in-progress, and discuss open issues. 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.5x11x2.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: September 25, 2009 Notification: October 22, 2009 Camera-ready version: October 30, 2009 Workshop: December 1, 2009 ------------------------------------------------------------------------ ORGANIZERS PROGRAM CHAIRS Arvind Easwaran, Polytechnic Institute of Porto, Portugal Nathan Fisher, Wayne State University, USA ORGANIZING COMMITTEE Insup Lee, University of Pennsylvania, USA Thomas Nolte, Märlardalen University, Sweden Insik Shin, KAIST, South Korea Oleg Sokolsky, University of Pennsylvania, USA ------------------------------------------------------------------------ PROGRAM COMMITTEE Luis Almeida, University of Porto, Portugal Jim Anderson, University of North Carolina, Chapel Hill, USA Björn Andersson, Polytechnic Institute of Porto, Portugal Sanjoy Baruah, University of North Carolina, Chapel Hill, USA Enrico Bini, Scuola Superiore Sant'Anna, Pisa, Italy Unmesh Bordoloi, Verimag, France Reinder J. Bril, Eindhoven University of Technology, Netherland Alan Burns, University of York, UK Gerhard Fohler, TU Kaiserslautern, Germany Hans Hansson, Mälardalen University, Sweden Tei-Wei Kuo, National Taiwan University, Taiwan Chang-Gun Lee, Seoul National University, South Korea Giuseppe Lipari, Scuola Superiore Sant'Anna, Pisa, Italy Rupak Majumdar, University of California, Los Angeles, USA Aloysius Mok, University of Texas, Austin, USA Daniel Mosse, University of Pittsburgh, USA Roman Obermaisser, Vienna University of Technology, Austria Lothar Thiele, ETH, Zurich, Switzerland Qixin Wang, Hong Kong Polytechnic University, Hong Kong