Airplane and space systems.
forum
Submitted by Anonymous on Mon, 02/15/2016 - 12:43pm
event
Submitted by Anonymous on Mon, 02/15/2016 - 12:41pm
14th International Workshop on Real-Time Networks (RTN 2016)
PRESENTATION
The Real-Time Networks (RTN) is a satellite workshop of the 28th Euromicro Conference on Real-Time Systems (ECRTS 2016), the premier European venue for presenting research into the broad area of real-time and embedded systems. The RTN 2016 workshop is the fourteenth in the series of workshops that started at the 2002 ECRTS conference. No edition took however place in 2015.
page
Submitted by el_wehby on Wed, 02/10/2016 - 6:16pm
| LEAD PI |
TITLE (with link to Poster and Abstract) |
VIDEO |
file
Abstract:
One of the challenges for the future cyber-physical systems is the exploration of large design spaces. Genetic algorithms (GAs), which embody a simplified computational model of the mutation and election mechanisms of natural evolution, are known to be effective for design optimization. However, the traditional formulations are limited to choosing values for a predetermined set of parameters within a given fixed architecture.
file
Abstract:
This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives.
file
Abstract:
The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which model-level control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.
file
Abstract:
Commodity operating systems manage time in a best effort fashion, where clock synchronization is performed independently of both application demand and resource constraints. The vision of the RoseLine project is to develop a Quality of Time (QoT) stack for Linux that enables developers to write distributed applications that perform computation with a common sense of time.
file
Abstract:
Existing platforms are built with a static network connecting microprocessor, radio, clock system, and other components. This static configuration prevents researchers from experimentally validating the trade-offs between the way that clocks are conditioned and distributed, and the performance of the embedded system. In particular, such design decisions have major impact on time synchronization.
file
Abstract:
This poster summarizes our recently awarded grant on computationally aware cyber-physical systems (CPSs). The objective of this project is to generate new fundamental science for CPSs that enables more accurate and faster trajectory synthesis for controllers with nonlinear plants, or nonlinear constraints that encode obstacles. The approach is to utilize hybrid control to switch between models whose accuracy is normalized by their computational burden.
file
Abstract:
The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components.
