- Home
- Program
- Keynote Talk
- Focus
- Call for Papers
- Paper Submission
- Important Dates
- Organizers
- RTSS 2010
Welcome to CRTS 2010!
The CRTS workshop provides a forum for researchers and technologists to discuss the state-of-the-art, present their works and contributions, and set future directions in compositional technology for real-time embedded systems.
CRTS 2010 will be held in conjunction with IEEE RTSS 2010 in San Diego, California, U.S.A. on November 30th, 2010.
News
- November 5, 2010: the accepted papers are available on the workshop webpage
- October 27, 2010: the program is on-line. Early registration deadline is October 29
- September 1, 2010: Edward Lee will be the CRTS keynote speaker
- August 30, 2010: ArtistDesign will sponsor the CRTS workshop
- August 14, 2010: submission site is now open
- June 9, 2010: CRTS 2010 website is on-line
Program
Below we report the workshop program.
Keynote Talk
The keynote talk will be given by Edward A. Lee, Professor at University of California, Berkeley, USA.
Title
Compositional Timing in Concurrent, Parallel, and Distributed Real-Time SystemsAbstract
In general-purpose computing, concurrency is achieved by relatively coarse-grained time multiplexing of shared resources. In this talk, I explore alternatives that provide temporal isolation between concurrent tasks on a processor, enabling the sharing of resources with repeatable timing behavior. The approach builds on the concept of PREcision Timed (PRET) machines, which introduce temporal semantics into an instruction-set architecture. I then explore how repeatable timing can facilitate efficient parallel execution in suitably-designed multicore architectures and in distributed real-time systems. The work presented is joint work with Dai Bui, Sungjun Kim, Isaac Liu, Slobodan Matic, Jan Reineke, and Jia Zou.Biography
Edward A. Lee is the Robert S. Pepper Distinguished Professor and former chair of the Electrical Engineering and Computer Sciences (EECS) department at U.C. Berkeley. His research interests center on design, modeling, and simulation of embedded, real-time computational systems. He is a director of Chess, the Berkeley Center for Hybrid and Embedded Software Systems, and is the director of the Berkeley Ptolemy project. He is co-author of five books and numerous papers. He has led the development of several influential open-source software packages, notably Ptolemy and its various spinoffs. His bachelors degree (B.S.) is from Yale University (1979), his masters (S.M.) from MIT (1981), and his Ph.D. from U. C. Berkeley (1986). From 1979 to 1982 he was a member of technical staff at Bell Telephone Laboratories in Holmdel, New Jersey, in the Advanced Data Communications Laboratory. He is a co-founder of BDTI, Inc., where he is currently a Senior Technical Advisor, and has consulted for a number of other companies. He is a Fellow of the IEEE, was an NSF Presidential Young Investigator, and won the 1997 Frederick Emmons Terman Award for Engineering Education.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, i.e., the system-level (global) property can be established from composing component-level (local) properties, and/or composability, i.e., 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
The topics of interest of the CRTS include (but are not limited to):
- Interface of real-time components: component interface; interface theory; compositional execution-time analysis; trading accuracy vs. simplicity;
- Multi-resource abstractions: abstractions of computation, memory, power, etc. well suited for integration in a component-based framework; abstraction of multiprocessors, cluster-based multicores;
- Schedulability Analysis within compositional frameworks: scheduling components that consumes multiple resources;
- Integration of real-time components: safe integration that guarantees global properties;
- Compositional formal methods: compositional techniques for modeling and formal methods; composition of validation and verification techniques.
- Compositional issues in distributed systems: abstraction of a distributed platform; 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
This year we solicit two kinds of contribution to the workshop: regular papers and demo abstracts.
- 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 characteristics. 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.
Submissions can be made only in electronic format through
the submission
website. Papers must be formatted in a two column format
in accordance with the IEEE CS conferences style.
Call for Papers
Important Dates
| Submission deadline: |
|
| Notification: | October 24, 2010 |
| Early registration date: | October 29, 2010 |
| Camera-ready version: | November 4, 2010 |
| Workshop: | November 30, 2010 |
Program co-chairs
- Enrico Bini, Scuola Superiore Sant'Anna, Italy
- Giuseppe Lipari, Scuola Superiore Sant'Anna, Italy
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, Korea Advanced Institute of Science and Technology, South Korea
- Yves Sorel, INRIA Rocquencourt, France
- Tullio Vardanega, Università di Padova, Italy
- Enrico Vicario, Università di Firenze, Italy
Organizers
- 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