SCC 2014
Software Certification Consortium Meeting 2014
Co-located with High Confidence Software and Systems (HCSS) Conference
The SCC is organized to pursue the following objectives:
SOCNE 2014
8th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments
in conjunction with
ETFA 2014 - 19th International Conference on
Emerging Technologies & Factory Automation
16-19 September 2014
Deadline for submission of regular papers: May 30, 2014
Workshop day: September 16, 2014
IWMSA 2014
International Workshop on Embedded Multi-core Systems and Applications
Co-located with IEEE RTCSA 2014
PRDC 2014
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.
FormaliSE 2014
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.
SLE 2014
7th International Conference on Software Language Engineering (SLE) 2014
Co-located with:
29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)
13th International Conference on Generative Programming: Concepts and Experiences (GPCE 2014)
---------------------------------------------------------
SCOPE
OSPERT 2014
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
ICSAI 2014
The 2014 International Conference on Systems and Informatics (ICSAI 2014)
15-17 November 2014 in Shanghai, China.
PRISM2
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.
TTC'14
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.