Thursday, March 1, 2018
1:30 – 2:30 PM
About the Presentation
Why do Mechanical Engineers and Software Engineers need to design and build together? In order to successfully transition from traditional mechanical products to the next generation of Cyber-Physical Systems, we will have to reinvent our innovation and development processes and take a multidisciplinary approach. The next generation of CPS will be autonomous and be able to adapt their behavior to the users requirements to handle the dynamic and versatile environment. Therefore one of the most important properties of these types of systems remain to be their resiliency to internal and external failures and attacks. This is specially important because CPS and Industrial Control Systems (ICSs) have a vital role in automation of critical infrastructures such as nuclear power plants, dams, oil and gas industries, etc. Therefore, verification of control strategies with regard to safety and security is essential in these systems.
This talk focuses on automating the verification of safety and security requirements to ensure designs are safe, automating the analysis of design topology to increase design robustness against internal failures or external attacks, and allocating an appropriate level of redundancy into the design to ensure designs are resilient. In distributed complex systems, a single initiating fault can propagate through the system uncontrollably, resulting in severely degraded performance or complete failure. This research is motivated by the fact that there is no formal means to verify the safety and resilience properties, and no provision to incorporate related analysis into the design process
About the Presenter
Hoda Mehrpouyan, Ph.D., Assistant Professor
Co-Director, Cyber Lab for Industrial Control Systems
Dr. Mehrpouyan received the Bachelor degree from British Columbia Institute of Technology (BCIT), Burnaby. Canada in 2007, and Master degree from Linkoping University, Linkoping, Sweden, and Ph.D. degree from Oregon State University, Corvallis, Oregon. As part of her research, she has worked on the DARPA’s Adaptive Vehicle Make (AVM) program, to develop an early design stage tool to automatically verify predominate faults in infantry fighting vehicles by utilizing a library of faulty behavior models for infantry fighting vehicles. She developed a novel failure modeling and simulation technique based on a system of probability equations for accurate characterization of failure propagation in complex engineered system design. In addition, an epidemic spreading algorithm was developed to compare different conceptual design architectures in terms of their resilience to failure propagation. She has collaborated with NASA Ames Research Center and Carnegie Melon University on designing and developing techniques and supporting tools for the verification of complex engineered systems during design.
In the course of her graduate studies she has also had the opportunity to work as an intern at the Palo Alto Research Center (PARC) with the primary goal of establishing a ”correct-by-construction” design prior to detailed design and prototyping. As part of the DARPA project, under the AVM program, her role was to implement a model-based hazard analysis procedure for early identification of potential safety issues caused by unexpected environmental factors and subsystem interactions within a complex avionic system.
For the last 15 years she has worked on mission and safety-critical, real-time, robotics and complex systems. More specifically her expertise in the fields of security and safety requirement analysis, formal verification and model checking, and complex systems and resiliency has resulted in several publications. As a Personal Investigator (PI), she was funded by NSA and NSF for the CyberGen program: GenCyber 2017 Teacher program and an NSF CISE Research Initiation Initiative (CRII) grant based on the proposal that was submitted to the Secure and Trustworthy Cyberspace (SaTC) program. She is responsible for developing and teaching two new courses as part of the PhD program in cybersecurity at Boise State University: CS623-Robotics and Cyber Physical Systems, and CS624-Cyber Security of Critical Infrastructures.