Coordinating clocks in multiple devices to function simultaneously.
file
Abstract:
The PIs are developing their novel modeling paradigm, Generalized Synchronization Trees (GSTs), into a rich framework for both describing cyber-physical systems (CPSs) and studying their behavior under interconnection. GSTs were inspired by Milner's use of Synchronization Trees (STs) to model interconnected computing processes, but GSTs generalize the mathematical structure of their forebears in such a way as to encompass many classes of CPSs.
file
Abstract:
The aim of this project is to lay down the foundations of a novel approach to real-time control of networked cyber-physical systems (CPS) that leverages their cooperative nature. Most networked controllers are not implementable over embedded digital computer systems because they rely on continuous time or synchronous executions that are costly to enforce.
file
Abstract:
Our objective is to engineer vehicles that can collaborate on the use of a roadway. The protocols that define the collaboration must be provably safe, and the implementations of the protocols by different manufacturers must be guaranteed to inter-operate. As an example we are using a collaborative merge protocol, that assists a driver merging between two vehicles in an adjacent lane.
file
Abstract:
Central to the operation of cyber-physical systems (CPS) is accurate and reliable knowledge of time, both for meaningfully sensing and controlling the physical world state and for correct, high-performance and energy-efficient orchestration of computing and communication operations. Emerging applications that seek to control agile physical processes or depend on precise knowledge of time to infer location and coordinate communication, make use of time with diverse semantics and dynamic quality requirements.
forum
Submitted by Anonymous on Tue, 11/04/2014 - 8:47pm
EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Lund, Sweden, 8-10th July 2015
Organized by the Euromicro Technical Committee on Real-Time Systems
Conference web site: ecrts15.ecrts.org
THEME AND TOPICS OF INTEREST
ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems.
event
Submitted by Anonymous on Thu, 06/12/2014 - 4:12pm
International Open Workshop on Synchronous Programming
Centre CNRS Paul Langevin, Aussois, France
The 21st International Open Workshop on Synchronous Programming
(SYNCHRON'14) will be held in the Alps ski resort of Aussois, France,
between November 30 and December 4, 2014.
