Welcome to ACM SIGBED Review

This special issue contains the proceedings of the 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015) workshop, which took place on December 1^st of 2015 in San Antonio, USA, co-located with the 31^st IEEE Real-Time Systems Symposium (RTSS).

The workshop essentially tackled challenges created by the design of large safety-critical real-time systems. These are typically created through the integration of multiple components that are developed mostly independently from each other. Thus, a particular challenge arises from the timing verification of both the independent components and the integrated system as a whole given that traditional real-time scheduling techniques required full knowledge of the task set and resources of the whole system contrasting with the need of component independence. This workshop explored compositional issues across different domains including the new challenges presented by the Internet of Things.

The workshop included eleven presentations plus a keynote by Stavros Tripakis from Aalto University and University of California at Berkeley entitled Compositional Model-Based System Design. In his talk, the speaker described some of his recent work on different aspects of compositional model-based design namely compositional and multi-view modeling, compositional analysis, and compositional implementation. The keynote was sponsored by the Instituto de Telecomunicações, Portugal.

Among the presentations six were invited and five concerned submitted papers. The corresponding papers are included in this special issue and are both regular and short, i.e., long abstracts. Moreover, the authors could edit them after the workshop to account for comments raised during the discussions.

We hope that the efforts of this workshop will spur increased research activities in compositional theory and technologies for timing verification and scheduling and that these research efforts will be sustained over many years to ensure its success.

Luis Almeida, University of Porto, Portugal
Dionisio de Niz, Carnegie Mellon University, USA
Guest Editors

Last update: 6-15-2016
Maintained by Valentina Sokolskaya
Designed by Chengdu Huang

SIGBED Review, Volume 13, Number 3, June 2016
Special Issue on 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015)

Content:

Upcoming Events:

Contributed Paper

Special Issue on 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015)

Introduction to the Special Issue

Editorial Board:

SIGBED Review, Volume 13, Number 3, June 2016 Special Issue on 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015)