Welcome to ACM SIGBED Review

As the complexity of real-time embedded systems is growing, compositional theories and technologies become important in reducing the cost of design and analysis without compromising functional and timely correctness. The CRTS workshop worked as a forum for compositional theories and technologies for real-time embedded systems for seven years. In particular, the 7^th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2014) held in conjunction with the 35^th IEEE Real-Time Systems Symposium (RTSS 2014), not only shared research trends, but also discussed future directions of the CRTS workshop.

This special issue includes two selected regular papers from CRTS 2014. The first technical paper by Tchamgoue et al. presents a compositional real-time scheduling framework for supporting fault-tolerance, and the second one by Cliku and Puschner design a time-predictable memory hierarchy for single-path code. The interested reader is referred to the proceedings of the CRTS [1] for extended abstracts of invited presentations addressing future directions:

Five problems in compositionality of real-time systems by Bjorn Andersson;
Compositional Mixed-Criticality Scheduling by Arvind Easwaran and Insik Shin;
Challenges of Virtualization in Many-Core Real-Time Systems by Matthias Becker, Mohammad Ashjaei, Moris Behnam, and Thomas Nolte;
Managing end-to-end resource reservations by Luis Almeida, Moris Behnam, and Paulo Pedreiras; and
Supporting Single-GPU Abstraction through Transparent Multi-GPU Execution for Real-Time Guarantees by Wookhyun Han, Hoon Sung Chwa, Hwidong Bae, Hyosu Kim and Insik Shin.

Special Issue Editors
Jinkyu Lee, Sungkyunkwan University (SKKU), Republic of Korea
Reinder J. Bril, Eindhoven University of Technology (TU/e), The Netherlands

References
[1] Proceedings of the 7th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), R.J. Bril and J. Lee (editors), Eindhoven University of Technology (TU/e), CSR-14-07, December 2014, Available from: http://www.win.tue.nl/~rbril/CRTS/FinalProcCRTS2014.pdf

Last update: 4-2-2015
Maintained by Valentina Sokolskaya
Designed by Chengdu Huang

Stockholm, Sweden	September 8, 2015
Copenhagen, Denmark	September 10, 2015

SIGBED Review, Volume 12, Number 2, April 2015
Special Issue on 7th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2014)

Content:

Upcoming Events:

Special Issue on 7th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2014)

Introduction to the Special Issue

Editorial Board:

SIGBED Review, Volume 12, Number 2, April 2015 Special Issue on 7th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2014)