Welcome to ACM SIGBED Review

Content:

Upcoming Events

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

Introduction

Papers

here

Annual Frank Anger Memorial Award
SIGBED offers a student award in the name of late Dr. Frank Anger to promote cross-disciplinary research between embedded systems and software engineering. The award consists of a certificate and up to $2000 to cover expenses for the student to attend a SIGSOFT-sponsored meeting.
Deadline to apply: December 15, 2013
How to apply and other relevant information at: http://www.sigsoft.org/awards/AngerAward.htm
Note: starting with awards given out in 2014, SIGSOFT will adopt the same nomination deadline for the Frank Anger Award as for its other annual awards. This means that the next round of nominations for this award will be solicited by December 15, 2013, for which recipients will be announced in January 2014.

7th ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC 2013)
Palm Springs, California, USA
October 29 - November 1, 2013

High Integrity Language Technology ACM SIGAda’s Annual International Conference (HILT 2013)
Pittsburgh, Pennsylvania, USA
November 10-14, 2013

11th ACM Conference on Embedded Networked Sensor Systems (SenSys 2013)
Rome, Italy
November 11-15, 2013

2nd International Conference on Connected Vehicles & Expo (ICCVE 2013)
Las Vegas, Nevada, USA
December 2-6, 2013

34th IEEE Real-Time Systems Symposium (RTSS 2013)
Vancouver, Canada
December 3-6, 2013

4th Workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS 2013) (In conjunction with RTSS 2013)
Vancouver, Canada
December 3-6, 2013

6th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013) (In conjunction with RTSS 2013)
Vancouver, Canada
December 3-6, 2013

3rd International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2014) (In conjunction with SENSORNETS 2014)
Lisbon, Portugal
January 7-9, 2014

9th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2014)
Vienna, Austria
January 20-22, 2014

19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2014)
Sault Lake City, Utah, USA
March 1-5, 2014
Important dates:

Tutorial Proposals: November 22, 2013
Tutorial Proposals Acceptance: December 2, 2013
Workshop Proposals: October 25, 2013
Workshop Proposals Acceptance: November 1, 2013
Papers Notification of acceptance: November 8, 2013
Papers camera-ready version due: January 9, 2014

45th ACM Technical Symposium on Computer Science Education (SIGCSE 2014)
Atlanta, Georgia, USA
March 5-8, 2014

Design Automation and Test in Europe Conference (DATE 2014) Topic E3: Model-Based Design and Verification for Embedded Systems
Dresden, Germany
March 24-28, 2014
Important dates:

Notification of acceptance: November 17, 2013
Camera-ready version due: December 15, 2013

Cyber-Physical Systems Week (CPSWEEK 2014)
Berlin, Germany
April 14-17, 2014

17th International Conference on Hybrid Systems (HSCC 2014)
ACM/IEEE 5th International Conference on Cyber-Physical Systems (ICCPS 2014)
13th International Conference on Information Processing in Sensor Networks (IPSN 2014)
3rd ACM International Conference on High Confidence Networked Systems (HiCoNS 2014)
20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2014)

Important dates:

Papers due: October 21, 2013
Notification of Acceptance: December 13, 2013
Camera-ready version due: January 17, 2014

33rd Conference on Computer Communications (IEEE INFOCOM 2014)
Toronto, Canada
April 27 - May 2, 2014

2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES 2014)(In conjunction with IPDPS 2014)
Phoenix, Arizona, USA
May 23, 2014

51st Design Automation Conference (DAC 2014)
San Francisco, California, USA
June 1-5, 2014

19th International Conference on Reliable Software Technologies (Ada-Europe 2014)
Paris, France
June 23-27, 2014
Important dates:

Submission of regular papers, tutorial and workshop proposals: December 8, 2013
Submission of industrial presentation proposals: January 19, 2014
Author notification: February 16, 2014
Camera-ready version of regular papers: March 16, 2014
Industrial presentations, tutorial and workshop material: May 18, 2014

34rd International Conference on Distributed Computing Systems (ICDCS 2014)
Madrid, Spain
June 30 - July 3, 2014

8th ACM/IEEE International Symposium on Networks-on-Chip (NOCS 2014)
Ferrara, Italy
September 17-19, 2014
Important dates:

Abstract registration: 22nd November 2013
Paper submission: 29th November 2013
Author notification: 17th March 2014
Final manuscript due: 7th April 2014

Introduction to the Special Issue

The exponentially increasing hardware capabilities and software developers' desire to use these capabilities to provide new functionalities bring an increasing complexity in system design.
Compositional theories and technologies allow for the decomposition of a complex system into simpler pieces (components) that can be developed and analyzed independently; the individual components are later integrated to achieve system functions collectively, while preserving the principles of

compositionality, i.e., the system-level (global) property can be established from composing component-level (local) properties, and/or
composability, i.e., the properties established and validated for components in isolation hold also after the components are assembled into the system.

Such a composition paradigm calls for new component concepts and composition mechanisms that can support various key characteristics of real-time systems.

This special issue collects the contributions presented at the 5th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2012), held in conjunction with the 33rd IEEE Real-Time Systems Symposium, San Juan, Puerto Rico. We present six relevant papers that cover different aspects of compositionality and composability, ranging from theoretical analysis methodologies to their implementation.

A trend we have observed in this research area is an increasing attention to the memory system. In this special issue, two papers focus on this topic.

Special Issue Editors:
Benny Akesson, CISTER-ISEP Research Unit, Porto, Portugal
Bjorn Andersson, Software Engineering Institute, Carnegie Mellon University, USA

Editorial Board:

Oleg Sokolsky, University of Pennsylvania

Georgios E. Fainekos, Arizona State University

Last update: 10-26-2013
Maintained by Valentina Sokolskaya
Designed by Chengdu Huang

SIGBED Review, Volume 10, Number 3, October 2013
Special Issue on 5th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2012)

Content:

Upcoming Events:

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

Introduction to the Special Issue

Papers

Editorial Board:

SIGBED Review, Volume 10, Number 3, October 2013 Special Issue on 5th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2012)

Content:

Upcoming Events:

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

Introduction to the Special Issue

Papers

Editorial Board:

SIGBED Review, Volume 10, Number 3, October 2013
Special Issue on 5th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2012)