Testing

A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
file

Visible to the public CPS: Breakthrough: Towards a Science of Attack Composition, Mitigation and Verification in CPS: A Passivity Based Approach

Abstract:

Cyber-physical systems (CPS) have become increasingly prevalent in applications including health care, energy, and transportation. The tight coupling between cyber and physical components of CPS implies that cyber attacks can degrade the safety, availability, and performance of physical components. The cyber components also introduce multiple entry points to the CPS, lowering the cost of attacks compared to purely physical systems.

file

Visible to the public Adaptive Intelligence for Cyber-­Physical Automotive Active Safety System Design and Evaluation

Abstract:

In order to improve the current capabilities of automotive active safety control systems (ASCS) one needs to take into account the interactions between driver/vehicle/ASCS/environment. To achieve this goal, this research will infer longterm and short-term driver behavior via the use of Bayesian networks and neuromorphic algorithms to estimate the driver's skills and current state of attention from eye movement data, together with dynamic motion cues obtained from steering and pedal inputs.

file

Visible to the public Frontier: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

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

Visible to the public Robustness Guided Testing and Verification for Cyber-Physical Systems

This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.

file

Visible to the public A Framework for Validation and Monitoring of Robotic Surgery Systems

Abstract:

The objective of this research is the development of a framework for assessing the reliability and safety of robotic surgery systems during development, field testing, and general deployment. The framework uses accurate simulations to assess pre-clinical reliability before deployment. After deployment, the framework uses data collection through online monitoring of the system as it is being used in the field, followed by analysis to obtain assessments of operational reliability and safety.

file

Visible to the public Power Distribution System for Continuous Operation

Abstract:

Success of numerous long-term robotic network missions in space, air, ground, and water is measured by the ability of the robots to operate for extended time in highly dynamic and potentially hazardous operating environments. The proposed work responds to the urgency for development of innovative mobile power distribution systems that lower deployment and operating costs, while simultaneously increasing mission efficiency, and supporting the network's need to be responsive to changing physical conditions.

file

Visible to the public A Knowledge Representation and Information Fusion Framework for Decision Making in Complex Cyber-Physical Systems

Abstract:

Modern distributed cyber-physical systems (CPSs) encounter a large variety of physical faults and cyber anomalies and in many cases, they are vulnerable to catastrophic fault propagation scenarios due to strong connectivity among the sub-systems.

file

Visible to the public Cyber-Enabled Repetitive Motions in Rehabilitation

Abstract:

The project seeks to develop cyber-enabled exercise machines (CEEMs), which will be characterized by: i. intrinsic safety, ii. an extended use of sensing and estimation of biomechanical data, iii. real-time adaptation and guidance to the user to achieve optimal exercise. The project will develop optimality criteria on the basis of collective activation of target muscle groups.

file

Visible to the public Maneuver and Data Optimization for High Confidence Testing of Future Automotive Cyber-Physical Systems

Abstract:

This project addresses urgent challenges in high confidence validation and verification of automotive vehicles due to on-going and anticipated introduction of advanced, connected and autonomous vehicles into mass production. Since such vehicles operate across both physical and cyber domains, faults can occur in traditional physical components, in cyber components (i.e., algorithms, processors, networks, etc.), or in both.