ACM SIGBED Review (ISSN: 1551-3688)
Special Interest Group on Embedded Systems
  Home >> Archives >> Submit >> News >> Contact Us

SIGBED Review, Volume 12, Number 1, February 2015
Special Issue on 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems(CRTS 2013)

Content:

Upcoming Events
Contributed Paper
Special Issue on 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems(CRTS 2013)
     Introduction
     Papers

Upcoming Events:

Below is a list of upcoming events of interest to embedded systems community. Not all of the events below are supported by ACM SIGBED. SIGBED sponsors a variety of events related to embedded systems development. The list of currently sponsored events is avalable here. If you would like your event to be considered for sponsorship, please contact SIGBED officers.

Contributed Paper

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

Introduction to the Special Issue

The increasing complexity of real-time embedded systems requires advanced platforms and methodologies that can reduce the cost of their design and analysis, while ensuring that requirements on functional correctness, real-time behavior, and performance are met. Compositional theories and technologies facilitate the decomposition of a complex system into components, as well as their integration via interfaces. Component interfaces hide the internal details of the components, thereby reducing integration complexity. A system is said to be composable if the properties established and validated for components in isolation hold once the components are integrated to form the system.

The 6th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013) provides a forum for researchers and technologists to discuss the state-of-the-art, present their work and contributions, and set future directions in compositional theories for real-time embedded systems. The workshop is held in conjunction with the 34th IEEE Real-Time Systems Symposium (RTSS 2013).

This special issue includes six papers which cover a wide range of research topics including schedulability analysis, resource sharing, multicore scheduling, worst case execution time and using advanced modeling techniques.

Moris Behnam and Giorgio Buttazzo
CRTS 2013 Program Co-Chairs

Editorial Board:

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