Software Certification Consortium Meeting 2014 Co-located with High Confidence Software and Systems (HCSS) Conference   The SCC is organized to pursue the following objectives:

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

International Workshop on Embedded Multi-core Systems and Applications Co-located with IEEE RTCSA 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.

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.

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

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

CODES+ISSS 2014
Call for Special Sessions

Researchers both from academia and industry are invited to submit proposals for special sessions to be held during the CODES+ISSS 2014 conference. The special sessions should aim at providing a complementary experience compared to the regular sessions and hence should include hot topics of interest to the Embedded Systems community that may also go beyond disciplines traditionally represented at CODES+ISSS. The special session could constitute either a thematic session containing individual presentations or a panel.

The special session proposal should include:

• Title of the special session
• Rationale of the need for the special session at CODES+ISSS. The rationale should stress the novelty of the topic and /or subjects covered by the regular sessions
• Short biography of the organizers
• List of 3-4 contributed presentations (including titles, presenters, contact information of the corresponding presenter, and an abstract of each contribution). For panel proposals, list three to five panelists and their area of expertise.

Proposals are due on or before May 30, 2014 and should be sent via
e-mail (PDF or ASCII) to the Program Chairs, Radu Marculescu
(radum@cmu.edu) and Gabriela Nicolescu (gabriela.nicolescu@polymtl.ca).
Proposals will be evaluated based on the timeliness of the topic and the
qualification of presenters involved in the session.

Participants of each accepted special session will have the opportunity
to submit a single overview paper covering the main aspects of the
session (the presenters will co-author this paper). Alternatively, each
presenter will have the option of submitting an extended abstract of
their presentation.


Important dates
Special Session proposal due:   May 30, 2014
Acceptance notification:        June 27, 2013


Contacts
Radu Marculescu, radum@cmu.edu
Gabriela Nicolescu, gabriela.nicolescu@polymtl.ca For more information,
visit our website: http://esweek.acm.org/codesisss/

General Announcement

Not in Slideshow

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.