Abstract: Processors in cyber‐physical systems are increasingly being used in applications where they must operate in harsh ambient conditions and a computational workload which can lead to high chip temperatures. Examples include cars, robots, aircraft and spacecraft. High operating temperatures accelerate the aging of the chips, thus increasing transient and permanent failure rates. Current ways to deal with this mostly turn off the processor core or drastically slow it down when some part of it is seen to exceed a given temperature threshold.

Abstract: The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which graphical control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

Abstract: The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which model-level control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

Abstract: We are at the end of a four­year effort that has dramatically improved the capability of the use of RF sensors, particularly those that measure received signal strength (RSS) to sense the locations and context of people in buildings and homes.  We have investigated both systems which use RFID tags to identify a person or object, and those which use a static deployed network of transceivers for device­free localization, to locate people moving in the environment who do not carry any tag or device.  Locating people who don’t wear a de

Abstract: Our overarching goal is to develop a framework for design automation of cyber-physical systems that augment human-in-the-loop inference and interaction by complex systems operating at the interface of computation and physical environment.

Abstract: Effective response and adaptation to the physical world, and rigorous management of such behaviors, are mandatory features of cyber-physical systems (CPS). However, achieving such capabilities across diverse application requirements surpasses the current state of the art in system platforms and tools. Existing systems do not support the expression, integration, and enforcement of such properties that span cyber and physical domains.

Abstract: Modern cyber-physical applications appearing in, e.g., industrial and building automation, often utilize wireless communication to transfer information between sensors, controllers, and actuators. The wireless devices used to carry out the communication, however, are characterized by resource constraints, e.g., limited battery power resources for transmission. To achieve a desirable balance between control application performance and resource utilization, efficient resource management mechanisms are necessary.

Recent years have seen medical devices go from being monolithic to a collection of integrated systems. Modern medical device systems have thus become a distinct class of cyber-physical systems called Medical Cyber Physical Systems (MCPS), featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially thepatient whose safety is of the utmost concern. The goal of this project is to develop a new paradigm for the design and implementation of safe, secure, and reliable MCPS, which includes:

EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 8-10th July 2015 Organized by the Euromicro Technical Committee on Real-Time Systems Conference web site: ecrts15.ecrts.org THEME AND TOPICS OF INTEREST ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems.

The 12th IEEE International Conference on Embedded Software and Systems Co-located with HPCC 2015 and CSS 2015 *IMPORTANT DATES*