Welcome to ACM SIGBED Review

The increasing complexity of real-time embedded systems demands advanced methodologies that can facilitate their design and analysis, while assuring functional and timing correctness.

Compositional theories and technologies allow for the decomposition of a complex system into simpler pieces (components) that can be developed and analysed independently; the individual components are later integrated to achieve system functions collectively, while preserving the principles 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.

This special issue collects the contributions presented at the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, held in conjunction with 31st IEEE Real-Time Systems Symposium in San Diego, CA, USA. We present seven relevant papers that cover different aspects of compositionality and composability, ranging from theoretical analysis methodologies to their implementation.

In addition, we present four demo abstracts that address tools and methodologies for component-based analysis and the integration of sub-systems.

Special Issue Editors:
Enrico Bini, Scuola Superiore Sant'Anna, Pisa, Italy
Giuseppe Lipari, Scuola Superiore Sant'Anna, Pisa, Italy

Last update: 03-11-2011
Maintained by Valentina Sokolskaya
Designed by Chengdu Huang

Submission of full papers:	January 23rd, 2011 Time: 23:59, Time zone: GMT-12 (this is a firm deadline -- it will not be extended for any reason)
Notification of acceptance:	March 25th, 2011
Workshops:	July 5th, 2011
Conference:	July 6th-8th, 2011

Paper Registration and Abstract:	April 1, 2011, 11:59 pm EST
Paper Submission Deadline:	April 8, 2011, 11:59 pm EST
Notification of Paper Acceptance:	July 15, 2011

SIGBED Review, Volume 8, Number 1, March 2011
Special Issue on 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010)

Content:

Upcoming Events:

Introduction to the Special Issue

Special Issue on 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010)

Newsletter Editor:

SIGBED Review, Volume 8, Number 1, March 2011 Special Issue on 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010)