Application of CPS technologies deployed in military contexts.
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 hu- man lives.
file
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. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.
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:
The objective of this research is to develop tools for comprehensive design and optimization of air traffic flow management capabilities at multiple spatial and temporal resolutions: at a national airspace-wide scale and one-day time horizon (strategic time- frame); and at a regional scale (of one or a few Centers) and a two-hour time horizon (tactical time-frame).
The following results were obtained in Year 4 of the project:
file
Abstract:
Optimization algorithms used in a real-time and safety-critical context offer the potential for considerably advancing robotic and autonomous systems by improving their ability to execute complex missions. However, this promise cannot happen without proper attention to the considerably stronger operational constraints that real time, safety-critical applications must meet, unlike their non-real-time, desktop counterparts.
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.
file
Abstract:
Our proposed research is motivated by two fundamental challenges that are traditionally studied in separate disciplines. The first key challenge is that in existing digital cameras, the functionalities of a camera are constrained by its size due to the optics and quantum nature of light. It remains a challenge to design a camera architecture that has both - a small form factor and has versatile functionalities, e.g.
event
Submitted by Anonymous on Tue, 11/04/2014 - 8:53pm
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.
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.
