Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Dr. Sushil Birla, Senior Technical Advisor, U.S. Nuclear Regulatory Commission, presentation at the 1st National CPS PI Meeting, Arlington, VA, 08/11/2010
To discuss and identify research needs in the certifiable assurance of cyber-physical systems (CPSs), focusing on uncertainties associated with the verification and validation of the complex logic on which these CPSs rely, whether the logic is implemented in software, field-programmable gate arrays (FPGAs), complex programmable logic devices (CPLDs), application-specific integrated circuits (ASICs), etc. This growing issue cuts across many application domains affecting society, e.g., medical devices, automobiles, commercial aircraft, and nuclear power plants.
The objective of this research is to develop a trustworthy and high-performance neural-machine interface (NMI) that accurately interprets the user’s intended movements in real-time for neural control of artificial legs.
Augmenting dedicated control systems with real-time sensor and actuator networks poses a number of new challenges in control system design that cannot be addressed with traditional process control methods, including: a) the handling of additional, potentially asynchronous and/or delayed measurements in the overall networked control system, and b) the substantial increase in the number of process state variables, manipulated inputs, and measurements which may impede the ability of centralized control systems to carry out real-time calculations within th
This research project addresses fundamental challenges in the verification and analysis of distributed hybrid systems. In particular, we are working to minimize the mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics currently supported in analysis.
Verification of cyber-physical systems is complicated by both their heterogeneous nature as well as their sheer complexity. Cyber-physical systems include hardware, software, and physical environment, so a formal model must integrate all of these concerns.
