CALL FOR PAPERS  23rd International Symposium on Temporal Representation and Reasoning (TIME 2016) Aim

The 14th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2016)  6th – 7th Oct 2016 |  Pittsburgh, USA | http://www.estimedia.org/ The IEEE ESTIMedia’16 is organized as a part of the Embedded Systems Week 2016 

14th International Workshop on Real-Time Networks (RTN 2016) PRESENTATION The Real-Time Networks (RTN) is a satellite workshop of the 28th Euromicro Conference on Real-Time Systems (ECRTS 2016), the premier European venue for presenting research into the broad area of real-time and embedded systems. The RTN 2016 workshop is the fourteenth in the series of workshops that started at the 2002 ECRTS conference. No edition took however place in 2015.

The 27th International Conference on Concurrency Theory (CONCUR2016) The 27th International Conference on Concurrency Theory will take place in Québec City, Canada, 23-26 August 2016. The event will be co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). 

7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2016) a satellite workshop of the 28th Euromicro Conference on Real-Time Systems (ECRTS 2016)

LEAD PI TITLE (with link to Poster and Abstract) VIDEO

The 35th International Conference on Computer Safety, Reliability and Security (SAFECOMP2016) ABOUT SAFECOMP

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.

Abstract: This poster summarizes our recently awarded grant on computationally aware cyber-physical systems (CPSs). The objective of this project is to generate new fundamental science for CPSs that enables more accurate and faster trajectory synthesis for controllers with nonlinear plants, or nonlinear constraints that encode obstacles. The approach is to utilize hybrid control to switch between models whose accuracy is normalized by their computational burden.

16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) Toulouse, France | 5th July 2016 | http://wcet2016.compute.dtu.dk                in conjunction with the Euromicro Conference on Real-Time Systems (ECRTS) WCET 2016 is kindly supported by TACLe (www.tacle.eu), an European COST-Action on Timing Analysis on Code-Level. GOALS AND TOPICS