- Become a Member
- About Us
- Committees
- SUT Houston Branch Executive Committee
- Offshore Site Investigation and Geotechnics (OSIG)
- Subsea Engineering and Operations - Atlantic (SEO-Atlantic)
- Group on Environmental Forces (GEF)
- Robotics & Automation (R&A)
- Marine Renewable Energy Committee (MREC)
- Education Committee
- SUT Young Professionals
- Advisory Committee
- School Touring Committee
- Women in Industry
- Student Chapters
- Mentoring Program
- Learning Programs
- Events
- UT3
- News
- Society for Underwater Technology - 2021 to 2022 Highlights
- First Back In-Person Event for SUT-US
- Making History - SUT-US Elects its First Woman Chair and President
- Scholarship Awards Ceremony 2020
- SUT-US Champagne & Conversation Series Edition 6
- SUT-US Brings Its School Touring Program to the Largest School District in Houston
- SUT-US Makes Its 15th Appearance at Subsea Tieback Forum & Exhibition
- SUT-US Champagne & Conversation Series Edition 5
- SUT-US Scholarship Awards Ceremony
- Prairie View A&M University and SUT-US about to launch a new Student Organization
- SUT-US joins the NOAA ProTech Services Program
- SUT-US is the Invited Professional Organization for OTC 2019
- 2017-2018 Scholarship Awards Ceremony
- Three SUT-US Member Volunteers Awarded Fellowships by the SUT Council
- Getting an Exclusive Look at the Largest Mexican Oceanographic Project
- Promoting A Welcoming Environment, SUT Actively Combats Discrimination and Sexual Harassment
- Subsea Awareness Course Offer its Expertise to Mexico's Industry Professionals
- SUT-US Launches a New Student Chapter at Rice University
- SUT-US Gifts this Academic Year's Annual Sponsorship Checks to its Student Chapters
- SUT-USA Launched the New Committee: Group on Environmental Forces
- Galveston Student Chapter Presents First Short Course
- Passion Runs Deep in the Subsea Engineering Society
- Society for Underwater Technology Awards Six at Scholarship Reception
- School Touring Reaches Opal Hamilton Students
- SUT-SEO Presents Subsea Awareness Course
- 'Geology Rocks' 500 at Thornton Middle School
- Haigh Granted SUT Fellowship
- SUT-OSIG Members Make Presentations at MoU Signing
- Underwater Technology School-Touring Expands to College Station
- SUT-OSIG Well Represented at International Archaeology Day
- Dr. Medina-Cetina Presents at European Geosciences Union (EGU) GIFT Workshop
- Scholarship Awards Ceremony 2022
- Subscribe
Trusted Autonomous Systems Webinar
Starts: Thu, Apr 13, 2023 9:00 AM CSTEnds: Thu, Apr 13, 2023 10:00 AM CST
Become a Member Now
This webinar will present techniques for achieving trusted autonomous operations that are being pioneered on the NASA Lunar Gateway Vehicle System Manager (VSM).
The NASA Gateway Vehicle Systems Manager is designed to operate autonomously for extended periods. To achieve trusted autonomy, NASA’s enhanced verification approach uses development and operational assume-guarantee contracts. Development contracts use state machine models to verify, using linear temporal logic, that key functionality is trustworthy. Operational contracts use mission-time linear temporal logic to ensure the operation stays within predefined boundaries.
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.
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.
Donate to SUT
Add this Event to your
Outlook Calendar
Tickets
Webinar
Available Online Only
$30.00 Members Webinar
$35.00 Non-Members Webinar
FREE Student Members Webinar
$10.00 Student Non-Members Webinar
Add this Event to yourOutlook Calendar
April 2023
