Real-Time Coordination

Coordinating individual systems to function dynamically and simultaneously in all situations.
forum

Visible to the public First CFP: Int. Conference on Architecture of Computing Systems (ARCS 2016)

29th GI/ITG International Conference on *Architecture of Computing Systems* (ARCS 2016)

Nuremberg, Germany, April 4-7, 2016 | http://www3.cs.fau.de/arcs2016/

Paper Submission Deadline: October 26, 2015

The ARCS series of conferences has a long tradition reporting high quality results in computer architecture and operating systems research. The focus of the 2016 conference will be on *Heterogeneity in Architectures and Systems - From Embedded to HPC*.

forum

Visible to the public Call For Papers: Advanced Technologies for Mobile IoT and Cyber-Physical Systems

Advanced Technologies for Mobile IoT and Cyber-Physical Systems - Call for Papers

As computing and communication capabilities become both faster and cheaper, we can expect to find them embedded in diverse objects and structures in the physical environment, providing the basis for applications which link the "cyber-world" of computing and communications with the physical world and have the potential for enormous social and economic impact.

forum

Visible to the public CfP: DPRTCPS: The First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (December 1, 2015)

DPRTCPS: The First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems

December 1, 2015

at the Real-Time Systems Symposium, San Antonio, Texas, USA

event

Visible to the public  DPRTCPS 2015
Dec 01, 2015 8:00 am - 5:00 pm CST

DPRTCPS: The First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems

at the Real-Time Systems Symposium, San Antonio, Texas, USA

forum

Visible to the public Release 2.2 of the Research Data Exchange and New Connected Vehicle Data Sets Are Now Available

Release 2.2 of the Research Data Exchange and New Connected Vehicle Data Sets Are Now Available

The Research Data Exchange (RDE) is a web-based data resource provided by the USDOT Intelligent Transportation Systems (ITS) Program. It collects, manages, and provides access to archived and real-time multi-source and multi-modal data to support the development and testing of ITS applications.

New Data Environments Added to the RDE

forum

Visible to the public 2nd CfP: WESE 2015

Call for papers for WESE 2015 - Workshop on Embedded and Cyber-Physical Systems Education

Paper submission deadline: August 1st (midnight, Central European Time)

WESE web page: http://www.emsig.net/conf/2015/wese/

Venue: Part of the Embedded Systems Week in Amsterdam (http://www.esweek.org/)

The workshop takes place on October 8th 2015

file

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

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.