Welcome to ACM SIGBED Review

This special issue contains the proceedings of the 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2016. The workshop was held on November 29, 2016 in Porto, Portugal, in conjunction with the 37th IEEE Real-Time Systems Symposium (RTSS'16).

The CRTS workshop series has been a long-standing international forum for researchers and technologists to discuss the state-of-the-art and open-problems, present their work and contributions, and identify future research directions in compositional theories and technologies for real-time embedded systems.

Compositionality allows the development of complex real-time embedded systems through the integration of multiple components that can be designed and analyzed mostly independently from each other. Hence, these theories and technologies offer a promising solution to cope with the size, complexity and dynamic adaptation aspects of today's cyber-physical systems. However, compositional approaches face several challenges related to the isolation between components, the system robustness to specification or environmental changes, the system configuration and dimensioning, or the timing verification of both the independent components and the integrated system. This year, the workshop included three regular papers, five short papers and three invited papers [1]. A keynote talk on "Timing Compositionality over Memory Hierarchies" was also given by Associate Prof. Rodolfo Pellizzoni. This special issue features the revised versions of all these papers based on the feedback, discussions and comments raised during the workshop.

We would like to thank all those who contributed to this special issue for the ACM SIGBED Review. We thank all the reviewers of CRTS 2016 for their hard work, providing valuable feedback to the authors. We thank Rodolfo Pellizzoni for his interesting keynote talk. We also thank the editorial board of ACM SIGBED Review for their help in making this special issue happen. Finally, we would like to thank all the authors for their fine contributions.

Guest Editors:

Saad Mubeen, MRTC, Mälardalen University, Sweden
Geoffrey Nelissen, CISTER/INESC-TEC, ISEP, Portugal

REFERENCES

[1] S. Mubeen and G. Nelissen, editors. Proceedings of the 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, November, 2016, available: http://www.es.mdh.se/publications/4545-.

Last update: 10-27-2017
Maintained by Valentina Sokolskaya
Designed by Chengdu Huang

SIGBED Review, Volume 14, Number 3, October 2017
Special Issue on 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2016)

Content:

Upcoming Events:

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

Introduction to the Special Issue

Editorial Board:

SIGBED Review, Volume 14, Number 3, October 2017 Special Issue on 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2016)