Review (ISSN: 1551-3688) |
Special Interest Group on Embedded Systems
|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|
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
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