The 20th IEEE Pacific Rim International Symposium on Dependable Computing  PRDC 2014 is the twentieth in this series of symposia started in 1989 that are devoted to dependable and fault-tolerant computing. PRDC is recognized as the main event in the Pacific area that covers the many dimensions of dependability and fault tolerance, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems.

Introduction ============ Formal methods for software developent are still not widely used in industry. This may be due to the fact that the formal methods community has not enough focused its attention to software engineering needs, and its specific role in the software process. At the same time, from a software engineering perspective, there could be a number of fundamental principles that might help to guide the design of formal methods in order to make them more easily applicable in the development of software applications.

The 10th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications Developers of embedded Real-Time Operating Systems (RTOS) are faced with many challenges arising from two opposite needs: the need for extreme resource usage optimization (processor, energy, network bandwidth, etc.) on the one hand, and an the other hand also increasing demands for scalability, flexibility, isolation, adaptivity, reconfigurability, predictability, serviceability, and certifiability. Further, while

Welcome to the 2nd annual workshop on parallelism in mobile platforms (PRISM-2)!   Mobile platforms are an increasingly important computing environment for many people and businesses. It is both historic and symbolic that PCs were outsold by smartphones in 2011. Rapid advances in wireless network technology like 4G LTE and multicore based mobile architectures continue to fuel the development of exciting new applications on mobile platforms, which, in turn, attract elevated attention to the mobile platforms.

Transformation Tool Contest 2014 The aim of this event is to compare the expressiveness, the usability and the performance of graph and model transformation tools along a number of selected case studies. A deeper understanding of the relative merits of different tool features will help to further improve graph and model transformation tools and to indicate open problems.

7th  International Workshop on Numerical Software Verification July 17-18, 2014 A Satellite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014 Novelty of this edition

The Third IEEE International Workshop on Exploitation of Hardware Accelerators held in conjunction with IEEE HPCS 2014

The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed hardware/software system engineering, down to microarchitectures, digital circuits and VLSI techniques. It is a discussion forum for researchers and engineers from academia and industry working on state-of-the-art investigations, development and applications.

2nd Workshop on Virtualization for Real-Time Embedded Systems (VtRES 2014), In conjunction with the

International Workshop on Dynamic Resource Allocation and  Management in Embedded, High Performance and Cloud Computing DreamCloud is the first workshop aiming to encourage technical and scientific