CRTS 2008

--       CALL FOR PAPERS - CRTS '08 (co-located with RTSS '08) --

Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'08) November 30, Barcelona, Spain

CRTS'08 is held in conjunction with the 29th IEEE Real-Time Systems Symposium (RTSS'08) November 30 - December 3, Barcelona, Spain

***** Paper Submission Deadline : September 15, 2008 *****

-- Web site: http://www.cis.upenn.edu/~ishin/crts2008/crts2008.html 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 position papers that describe the state-of-the-art, present work-in-progress, and suggest open issues. Submissions can be in any format but should be in four to eight pages including references and figures -- papers exceeding eight pages will not be reviewed. All submissions should be in PostScript (PS) or PDF.

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. Submissions should be sent to the workshop organizers at insik.shin@cs.kaist.ac.kr and thomas.nolte@mdh.se. Please, visit the workshop website for more details.

-- IMPORTANT DATES

Submission deadline:                September 15, 2008 Notification:                       October 15, 2008 Camera-ready version:               October 31, 2008 Workshop:                           November 30, 2008

-- ORGANIZERS

Insup Lee, University of Pennsylvania, USA Thomas Nolte, M?ardalenUniversity, Sweden Insik Shin, KAIST, South Korea Oleg Sokolsky, University of Pennsylvania, USA

-- PROGRAM COMMITTEE

Jim Anderson, University of North Carolina, USA Bjorn Andersson, IPP Hurray, Portugal Scott Brandt, University of California, Santa Cruz, USA Reinder Bril, Eindhoven University of Technology (TU/e), Netherlands Alan Burn, University of York, UK Marco Caccamo, University of Illinois, Urbana-Champaign, USA Samarjit Chakraborty, National University of Singapore, Singapore Sebastian Fischmeister, University of Waterloo, Canada Nathan Fisher, Wayne State University, USA Gerhard Fohler, University of Kaiserslautern, Germany Chris Gill, Washington University, St. Luis, USA Hans Hansson, M?ardalen University, Sweden Tei-Wei Kuo, National Taiwan University, Taiwan Chang-Gun Lee, Seoul National University, South Korea Giuseppe Lipari, SSSUP, Italy Xue Liu, McGill University, Canada Ying Lu, University of Nebraska, Lincoln, USA Daniel Mosse, University of Pittsburgh, USA Raj Rajkumar, Carnegie Mellon University, USA This CfP was obtained from WikiCFP