CRTS 2010

3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems

November 30, 2010, San Diego, CA, USA (co-located with RTSS 2010)

ArtistDesign European Network of Excellence on Embedded Systems Design

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.


  • 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


Below we report the workshop program.

7:00am-8:00 Coffee and snacks
8:00-8:30 Welcome
8:30-10:00 Regular session 1, chaired by Rodolfo Pellizzoni
10:00-10:30 Coffee break
10:30-12:30pm Regular session 2, chaired by Luis Almeida
12:30-1:30 Lunch
1:30-3:00 Keynote talk by Edward A. Lee
3:00-3:30 Coffee Break: some "cantuccini and vin santo" will be offered to the workshop attendees.
3:30-4:45 Demo session, chaired by Thomas Nolte
4:45-5:00 Concluding remarks

Keynote Talk

The keynote talk will be given by Edward A. Lee, Professor at University of California, Berkeley, USA.

The presentation is available


Compositional Timing in Concurrent, Parallel, and Distributed Real-Time Systems


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.


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: September 15 September 24, 2010
Notification: October 24, 2010
Early registration date: October 29, 2010
Camera-ready version: November 4, 2010
Workshop: November 30, 2010

Program co-chairs

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


  • 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