Software designed for computational processes that interact with the physical processes.
Event
SEsCPS 2016
2nd INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SEsCPS)
In conjunction with ICSE 2016
May 14-22, 2016 | Austin, TX, USA) | http://d3s.mff.cuni.cz/conferences/sescps2016/
INTRODUCTION
Submitted by Anonymous on February 3rd, 2016
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.
Submitted by Temesghen Kahsai Azene on February 1st, 2016
Abstract:
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.
Submitted by Insup Lee on January 31st, 2016
Event
SAMOS XVI
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XVI)
Samos, Greece | July 18-21, 2016 | http://www.samos-conference.com
Submitted by Anonymous on January 28th, 2016
Event
MECO’2016
5th Mediterranean Conference on Embedded Computing (MECO’2016)
Bar, Montenegro | June 12-16, 2016 | http://embeddedcomputing.me
Submitted by Anonymous on January 28th, 2016
Event
RoboCup 2016
RoboCup International Symposium 2016
OVERVIEW
The 20th Annual RoboCup International Symposium will be held in conjunction with RoboCup 2016. The Symposium is a primary venue for presentation and discussion of scientific contributions to a variety of research areas related to all RoboCup divisions (RoboCup Soccer, RoboCup Rescue, RoboCup at Home, RoboCup at Work, and RoboCup Junior). Its scope includes, but is not restricted to, research and educational activities in robotics and artificial intelligence.
Submitted by Anonymous on January 27th, 2016
Call for Proposals for Special Sessions
SIES’2016 - 11th IEEE International Symposium on Industrial Embedded Systems
23-25 May 2016 | Krakov, Poland | http://sies2016.org
Sponsored by:
IEEE Council on Electronic Design Automation and AGH Univ. of Science & Technology in Krakow
Aim:
Submitted by Anonymous on January 27th, 2016
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. However, this pass/fail approach ignores the fact that (a) processors experience accelerated aging due to high temperatures, even if these are below the threshold, and (b) while deadlines are a constraint for real-time tasks to keep the controlled plant in the allowed state space, the actual controller response times that will increase if the voltage or frequency is lowered (to cool down the chip) are what determine the controlled plant performance. Existing approaches also fail to exploit the tradeoff between controller reliability (affected by its temperature history) and the performance of the plant. This project addresses these issues. Load-shaping algorithms are being devised to manage thermal stresses while ensuring appropriate levels of control quality. Such actions include task migration, changing execution speed, selecting an alternative algorithm or software implementation of control functions, and terminating prematurely optional portions of iterative tasks. Validation platforms for this project include automobiles and unmanned aerial vehicles. These platforms have been chosen based on both their importance to society and the significant technical challenges they pose.
With CPS becoming ever more important in our lives and businesses, this project which will make CPS controllers more reliable and/or economical has broad potential social and economic impacts. Collaboration with General Motors promotes transition of the new technology to industry. The project includes activities to introduce students to thermal control in computing, in courses spanning high-school, undergraduate and graduate curricula.
Award Number
Display Videos in Hero
Off
Co-PIs
Israel Koren
Institution
University of Massachusetts Amherst
Lead PI
C.Mani Krishna
Performance Period
-
Sponsor
National Science Foundation
Submitted by C.Mani Krishna on December 21st, 2015
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. However, this pass/fail approach ignores the fact that (a) processors experience accelerated aging due to high temperatures, even if these are below the threshold, and (b) while deadlines are a constraint for real-time tasks to keep the controlled plant in the allowed state space, the actual controller response times that will increase if the voltage or frequency is lowered (to cool down the chip) are what determine the controlled plant performance. Existing approaches also fail to exploit the tradeoff between controller reliability (affected by its temperature history) and the performance of the plant. This project addresses these issues. Load-shaping algorithms are being devised to manage thermal stresses while ensuring appropriate levels of control quality. Such actions include task migration, changing execution speed, selecting an alternative algorithm or software implementation of control functions, and terminating prematurely optional portions of iterative tasks. Validation platforms for this project include automobiles and unmanned aerial vehicles. These platforms have been chosen based on both their importance to society and the significant technical challenges they pose.
With CPS becoming ever more important in our lives and businesses, this project which will make CPS controllers more reliable and/or economical has broad potential social and economic impacts. Collaboration with General Motors promotes transition of the new technology to industry. The project includes activities to introduce students to thermal control in computing, in courses spanning high-school, undergraduate and graduate curricula.
Award Number
Display Videos in Hero
Off
Co-PIs
Ella Atkins
Shige Wang
Institution
University of Michigan Ann Arbor
Lead PI
Kang Shin
Project URL
Performance Period
-
Sponsor
National Science Foundation
Submitted by Kang Shin on December 21st, 2015