Science of System Integration

Re-examines the fundamentals of composition in heterogeneous systems, develops foundations and tools for system integration and validates the results in experiments using experimental platforms.
forum

Visible to the public Call for Abstracts: ICCAD'15 Workshop on "Towards Efficient Computing in the Dark Silicon Era" - Extended Deadline

Submitted by Anonymous on Wed, 09/30/2015 - 2:08pm

Extended Abstract Submission Deadline: October 02, 2015

ICCAD'15 Workshop on "Towards Efficient Computing in the Dark Silicon Era"

Thursday, November 5, 2015 | Doubletree Hotel, Austin, TX, USA

Workshop Site: https://wp.nyu.edu/iccad_darksil_workshop/
Submission Page: https://easychair.org/conferences/?conf=ecds2015

This workshop is organized as a collocated even at the International Conference on Computer-Aided Design (ICCAD), November 2-6, 2015: http://iccad.com/

forum

Visible to the public RST track @ SAC - Submission extended to 28 Sept

Submitted by Anonymous on Wed, 09/30/2015 - 1:58pm

CALL FOR PAPERS

31st ACM/SIGAPP SAC Symposium on Applied Computing

Track: R S T RELIABLE SOFTWARE TECHNOLOGIES AND COMMUNICATION MIDDLEWARE

April 4-8, 2016 | Pisa, Italy | http://rstsac.uc3m.es

IMPORTANT DATES:

event

Visible to the public  WFCS 2016
May 03, 2016 8:00 am - May 06, 2016 5:30 pm WEST

Submitted by Anonymous on Fri, 09/18/2015 - 3:40pm

12th IEEE World conference on Factory Communication Systems (WFCS 2016)

COMMUNICATION in AUTOMATION 

Scope:

WFCS is the largest IEEE technical event specially dedicated to industrial communication systems. The aim of this conference is to provide a forum for researchers, practitioners and developers to review current trends in this area and to present and discuss new ideas and new research directions.

Focus on:

file

Visible to the public Contract-Based Integration of Cyber-Physical Analyses

Submitted by ivan on Wed, 06/24/2015 - 12:36pm. Contributors:

Abstract: Developing cyber-physical systems involves multiple engineering domains, e.g., timing, logical correctness, thermal resilience, and mechanical stress. In today's industrial practice, these domains rely on multiple analyses to obtain and verify critical system properties. Domain differences make the analyses abstract away interactions among themselves, potentially invalidating the results. Specifically, one challenge is to ensure that an analysis is never applied to a model that violates the assumptions of the analysis.