This webinar will present techniques for achieving trusted autonomous operations that are being pioneered on the NASA Lunar Gateway Vehicle System Manager (VSM). The challenges of achieving trusted autonomy faced by the VSM project are similar to challenges in underwater autonomous systems. The webinar will describe the overall approach to verification and present in detail the use of design-time (development) assume-guarantee contracts using model checking and runtime (operational) assume-guarantee contracts. The webinar will conclude with a summary of lessons learned to date and future challenges.

Presenter - James B. Dabney

James B. Dabney is Program Chair and Professor of Systems Engineering at University of Houston - Clear Lake, Houston, Texas where he directs the Systems Engineering Laboratory. His research interests include systems engineering process modeling, mechatronics, dynamics and control, robotics, aircraft trajectory optimization, and space systems verification and validation. He received the B.S. Degree in Mechanical Engineering from Virginia Tech in 1974, the M.S. Degree in Process Monitoring and Control from University of Houston -Clear Lake in 1993, and the Ph.D. Degree in Mechanical Engineering from Rice University in 1998. He is a Member of ASME and INCOSE.