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

  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.

2nd EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS 2014)   FOCUS: Embedded systems, being inseparable parts of certain larger (embedding) systems, constitute information-processing parts of cyber-physical systems composed of information-processing and physical sub-systems.

Complexity, Informatics and Cybernetics: IMCIC 2014 jointly withThe 20th International Conference on Information Systems Analysis and Synthesis: ISAS 2014   Motives and Purpose   Conceptual and instrumental relationships among Complexity, Informatics and Cybernetics are continuously growing, cross-fertilizing each other and generating important theoretical and technological synergies.

24th International Conference on Field Programmable Logic and Applications The International Conference on Field Programmable Logic and Applications (FPL) is the first and largest conference covering the rapidly growing area of field-programmable logic.

CyPhy'14 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines.

Distributed Embedded Systems (DES) are rapidly becoming increasingly complex due to requirements on advanced functionality, with increasing amount and heterogeneity of the information that is exchanged. This high complexity imposes major development challenges when non-functional properties must be enforced, such as real-time response and adaptability.

Design Methods for Automotive Systems and Software The automotive track has been created this year to bring together researchers and practitioners from the automotive domain with their counterparts from the embedded systems & software (ESS) domains.  This also includes those from the electronic design automation (EDA) space.

ALCHEMY Workshop Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems

FM 2014 is the nineteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is