https://www.openresearch.org/mediawiki/index.php?title=CRTS_2008&feed=atom&action=historyCRTS 2008 - Revision history2024-03-29T12:26:40ZRevision history for this page on the wikiMediaWiki 1.31.1https://www.openresearch.org/mediawiki/index.php?title=CRTS_2008&diff=7404&oldid=prev127.0.0.1: Event created2008-10-14T21:29:59Z<p>Event created</p>
<p><b>New page</b></p><div>{{Event<br />
| Acronym = CRTS 2008<br />
| Title = Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (co-located with RTSS 2008)<br />
| Type = Workshop<br />
| Series = <br />
| Field = Real-time systems<br />
| Homepage = www.cis.upenn.edu/~ishin/crts2008/crts2008.html<br />
| Start date = Nov 30, 2008 <br />
| End date = Nov 30, 2008<br />
| City= Barcelona<br />
| State = <br />
| Country = Spain<br />
| Abstract deadline = <br />
| Submission deadline = Sep 15, 2008<br />
| Notification = Oct 15, 2008<br />
| Camera ready = Oct 31, 2008<br />
}}<br />
<br />
<pre><br />
----------------------------------------------------------------------<br />
CALL FOR PAPERS - CRTS '08 (co-located with RTSS '08)<br />
----------------------------------------------------------------------<br />
<br />
Workshop on Compositional Theory and Technology for<br />
Real-Time Embedded Systems (CRTS'08)<br />
November 30, Barcelona, Spain<br />
<br />
CRTS'08 is held in conjunction with the<br />
29th IEEE Real-Time Systems Symposium (RTSS'08)<br />
November 30 - December 3, Barcelona, Spain<br />
<br />
***** Paper Submission Deadline : September 15, 2008 *****<br />
<br />
----------------------------------------------------------------------<br />
Web site: http://www.cis.upenn.edu/~ishin/crts2008/crts2008.html<br />
http://www.rtss.org<br />
----------------------------------------------------------------------<br />
<br />
The increasing complexity of real-time embedded systems demands<br />
advanced methodologies that can facilitate their design and<br />
analysis, while assuring correctness, real-time, and performance<br />
requirements. Promising is a paradigm of compositional theories and<br />
technologies that allows for the decomposition of a complex system<br />
into simpler pieces (components), as well as the integration of<br />
individual components to achieve system functions collectively,<br />
while preserving the principles of<br />
- compositionality: the system-level (global) property can be<br />
established from composing component-level (local) properties, and<br />
- composability: the properties established and validated for<br />
components in isolation hold also after the components are<br />
assembled into the system.<br />
Such a composition paradigm calls for new component concepts and<br />
composition mechanisms that can support various key characteristics<br />
of real-time embedded systems, such as timeliness, safety, security,<br />
quality of service, and adaptability.<br />
<br />
Topics of interest for the workshop are all of those associated with<br />
compositional theory and technology for real-time embedded systems,<br />
including (but not limited to):<br />
<br />
- COMPOSITIONAL SCHEDULING THEORIES: compositional schedulability<br />
and execution-time analysis; horizontal/vertical composition of<br />
various real-time resource management schemes (e.g., CPU, memory,<br />
power, thermal); composition of cluster-based multicore or<br />
multiprocessor scheduling.<br />
<br />
- COMPONENT MODEL AND INTERFACE: component model for real-time<br />
embedded systems; interface theory and development for real-time<br />
embedded systems; component technology for real-time embedded<br />
systems.<br />
<br />
- COMPOSITIONAL FORMAL METHODS: compositional techniques for<br />
modeling and formal methods; composition of validation and<br />
verification techniques.<br />
<br />
- COMPOSITIONAL DISTRIBUTED SYSTEMS: composition of network protocol<br />
layers for real-time communications; compositional end-to-end delay<br />
analysis in distributed systems.<br />
<br />
- COMPOSITION OF POLICIES AND SERVICES: composition of system layers<br />
(e.g., OS, middleware) for real-time embedded systems; composition<br />
of performance policies and techniques for adaptive or<br />
reconfigurable real-time embedded systems; composition of services<br />
(e.g., robustness, privacy, safety, security) for real-time embedded<br />
systems.<br />
<br />
----------------------------------------------------------------------<br />
PAPER SUBMISSION<br />
<br />
We encourage the submission of position papers that describe the<br />
state-of-the-art, present work-in-progress, and suggest open issues.<br />
Submissions can be in any format but should be in four to eight<br />
pages including references and figures -- papers exceeding eight<br />
pages will not be reviewed. All submissions should be in PostScript<br />
(PS) or PDF.<br />
<br />
Submission of the paper implies that should the paper be accepted,<br />
at least one of the authors will register and present the paper at<br />
the workshop. Submissions should be sent to the workshop organizers<br />
at insik.shin@cs.kaist.ac.kr and thomas.nolte@mdh.se. Please, visit<br />
the workshop website for more details.<br />
<br />
----------------------------------------------------------------------<br />
IMPORTANT DATES<br />
<br />
Submission deadline: September 15, 2008<br />
Notification: October 15, 2008<br />
Camera-ready version: October 31, 2008<br />
Workshop: November 30, 2008<br />
<br />
----------------------------------------------------------------------<br />
ORGANIZERS<br />
<br />
Insup Lee, University of Pennsylvania, USA<br />
Thomas Nolte, M?ardalenUniversity, Sweden<br />
Insik Shin, KAIST, South Korea<br />
Oleg Sokolsky, University of Pennsylvania, USA<br />
<br />
----------------------------------------------------------------------<br />
PROGRAM COMMITTEE<br />
<br />
Jim Anderson, University of North Carolina, USA<br />
Bjorn Andersson, IPP Hurray, Portugal<br />
Scott Brandt, University of California, Santa Cruz, USA<br />
Reinder Bril, Eindhoven University of Technology (TU/e), Netherlands<br />
Alan Burn, University of York, UK<br />
Marco Caccamo, University of Illinois, Urbana-Champaign, USA<br />
Samarjit Chakraborty, National University of Singapore, Singapore<br />
Sebastian Fischmeister, University of Waterloo, Canada<br />
Nathan Fisher, Wayne State University, USA<br />
Gerhard Fohler, University of Kaiserslautern, Germany<br />
Chris Gill, Washington University, St. Luis, USA<br />
Hans Hansson, M?ardalen University, Sweden<br />
Tei-Wei Kuo, National Taiwan University, Taiwan<br />
Chang-Gun Lee, Seoul National University, South Korea<br />
Giuseppe Lipari, SSSUP, Italy<br />
Xue Liu, McGill University, Canada<br />
Ying Lu, University of Nebraska, Lincoln, USA<br />
Daniel Mosse, University of Pittsburgh, USA<br />
Raj Rajkumar, Carnegie Mellon University, USA <br />
</pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3433&amp;copyownerid=1428 WikiCFP][[Category:Embedded systems]]<br />
[[Category:Sensor networks]]</div>127.0.0.1