---------------------------------------------------------------------- CALL FOR PAPERS - CRTS'10 (co-located with IEEE RTSS'10) ---------------------------------------------------------------------- 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'10) November 30th, 2010, San Diego, CA, USA CRTS'10 is held in conjunction with the 31st IEEE Real-Time Systems Symposium (RTSS'10) November 30th - December 3rd, 2010, San Diego, CA, USA *** Regular Paper Submission Deadline : September 24, 2010 *** *** Demo Abstract Submission Deadline : September 24, 2010 *** ****** Keynote speaker: Edward A. Lee, University of California, Berkeley, USA ****** ---------------------------------------------------------------------- Web site: http://retis.sssup.it/crts2010/ ---------------------------------------------------------------------- FOCUS OF CRTS 2010 The increasing complexity of real-time embedded systems demands advanced methodologies that can facilitate their design and analysis, while assuring correctness, real-time constraints, and performance requirements. Compositional theories and technologies allow 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 principle 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. The topics of interest of the CRTS include (but are not limited to): * interface of real-time components * multi-resource abstractions * schedulability analysis within compositional frameworks * integration of real-time components * compositional formal methods * compositional issues in distributed systems * composition of policies and services ---------------------------------------------------------------------- PAPER SUBMISSION We solicit two kinds of contribution to the workshop: * REGULAR PAPERS should describe the state-of-the-art, present work-in-progress, or suggest open issues covering one or more of the topics of interest of the workshop. Submissions should not exceed 8 pages. A submission of a regular paper implies that should the paper be accepted, at least one of the authors will register and present the paper at the workshop. * DEMO ABSTRACTS should describe a tool or methodology that allow the composition of systems with real-time features. Submissions should not exceed 2 pages. A submission of a demo abstract implies that should the demo be accepted, at least one of the authors will register and show the tool/methodology described in the abstract on a laptop. More information about the submission procedure is available on the workshop website: http://retis.sssup.it/crts2010/ ---------------------------------------------------------------------- IMPORTANT DATES Submission deadline: September 24, 2010 Notification: October 24, 2010 Camera-ready version: November 4, 2010 Workshop: November 30, 2010 ---------------------------------------------------------------------- PROGRAM CHAIRS Enrico Bini, Scuola Superiore Sant'Anna, Italy Giuseppe Lipari, Scuola Superiore Sant'Anna, Italy ORGANIZING COMMITTEE Arvind Easwaran, Institute Polytechnic Porto, Portugal Nathan Fisher, Wayne State University, USA Insup Lee, University of Pennsylvania, USA Thomas Nolte, Mälardalen University, Sweden Insik Shin, KAIST, South Korea Oleg Sokolsky, University of Pennsylvania, USA PROGRAM COMMITTEE Luis Almeida, Universidade do Porto, Portugal Sanjoy Baruah, University of North Carolina at Chapel Hill, USA Moris Behnam, Mälardalen University, Sweden Alan Burns, University of York, UK Jian-Jia Chen, Karlsruhe Institute of Technology, Germany Arvind Easwaran, Institute Polytechnic Porto, Portugal Rolf Ernst, Technische Universität Braunschweig, Germany Nathan Fisher, Wayne State University, USA Praveen Jayachandran, University of Illinois at Urbana-Champaign, USA Hennadiy Leontyev, Google, USA Julio Medina, Universidas de Cantabria, Spain Daniel Mossé, University of Pittsburgh, USA Rodolfo Pellizzoni, University of Illinois at Urbana-Champaign, USA Linh Thi Xuan Phan, University of Pennsylvania, USA Insik Shin, KAIST, South Korea Yves Sorel, INRIA Rocquencourt, France Tullio Vardanega, Università di Padova, Italy Enrico Vicario, Università di Firenze, Italy ----------------------------------------------------------------------