An abstract describing one facet of our research.

                        Call for papers: CRTS 2012        5th Workshop on Compositional Theory and Technology for                   Real-Time Embedded Systems (CRTS 2012)                         http://crts2012.ele.tue.nl/

15th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing

  The 10th ACM Conference on Embedded Networked Sensor Systems (SenSys 2012) solicits innovative research papers on the systems issues of networked, embedded sensing and control. The conference brings together academic, industry, and government professionals to a premier single-track, highly selective forum on sensor network design, implementation, and application.

IEEE DEST 2012 (June 18-20 2012, Campione, ITALY) has a track on Cyber Physical Energy Systems:

The 9th ACM Conference on Embedded Networked Sensor Systems (SenSys 2011) is a highly selective, single-track forum for the presentation of research results on systems issues in the area of embedded, networked sensors. Distributed systems based on networked sensors and actuators with embedded computation capabilities allow for an instrumentation of the physical world at an unprecedented scale and density, thus enabling a new generation of monitoring and control applications.

The goal of the Analytic Virtual Integration of Cyber-Physical Systems (AVICPS) workshop is to explore architecture design patterns, tools and the theoretical analytical foundations for creating common system-wide composition models where key properties can be studied and guarantees provided before the start of actual development. Of particular interest are the case studies on the challenges of expressing the properties of the final product in terms of component properties and the architecture that governs their interactions. Both solutions and/or open problems are welcome.

This session focuses on methods and design tools for the exploration, analysis, simulation, selection, synthesis, and optimization of E/E automotive architectures (e.g., software, hardware, communication, wiring harness, and power architectures). These methods and tools apply to technologies such as multi-core processors, distributed systems, AUTOSAR, Flexray, CAN, Ethernet, and DSRC among others. The methods and tools are usually (but not limited to) model-based.

The SDL 2011 International Conference addresses system and software modelling, specification, and analysis of distributed systems, embedded systems, communication systems, and real-time systems.

Workshop on the Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'11) CyPhy aims to bring together researchers and practitioners working in the areas of modeling, simulation, and evaluation of cyber-physical systems. In 2011, CyPhy will take a broad interpretation of these areas. The priority for this first instance of this workshop is to bring together expertise from as diverse set of disciplines as possible.