1st Formal Methods for Timing Verification Workshop In conjunction with the 19th International Symposium on Formal Methods (FM 2014)

12th IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS - INDIN 2014              &nb

Welcome to EUC 2014! Embedded and ubiquitous computing is an exciting paradigm that promises to provide computing and communication services to the end users all the time and everywhere. Its systems are now invading in every aspect of our daily life and promise to revolutionize our life much more profoundly than elevators, electric motors or even personal computer evolution ever did.

12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14) Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland, 19-21 October, 2014

SORT 2014 5th IEEE Workshop on Self-Organizing Real-Time Systems Reno, Nevada, USA, June 9th, 2014 (http://www.es.cs.uni-frankfurt.de/?id=sort2014)

14th International Conference on Application of Concurrency to System Design (ACSD 2014)

The 1st Workshop on Robotic Sensor Networks                     -  part of CPSWEEK -

The 19th IEEE International Conference on Engineering of Complex Computer Systems

--------------------------------------------------------------------- &nb

  2nd International workshop on the Integration of mixed-criticality subsystems on multi-core and manycore processors 21-22 January 2014   Background   Modern embedded applications typically integrate a multitude of functionalities with potentially different criticality levels into a single system. Without appropriate preconditions, the integration of mixed-criticality subsystems can lead to a significant and potentially unacceptable increase of engineering and certification costs.