ประสบการณ์การฟังที่ดีที่สุดอยู่บน Chrome, Firefox หรือ Safari สมัครรับเสียงสัมภาษณ์ประจำวันของ Federal Drive ใน Apple Podcasts หรือ PodcastOneหน่วยงานโครงการวิจัยขั้นสูงกลาโหมกำลังมองหาวิธีที่ปัญญาประดิษฐ์อาจนำไปใช้กับการสร้างและการบำรุงรักษาซอฟต์แวร์ โดยเฉพาะอย่างยิ่งซอฟต์แวร์ที่ควบคุมระบบทางกายภาพ บริษัทได้ทำสัญญากับบริษัทชื่อ GrammaTech เพื่อพัฒนาแนวคิดนี้ สำหรับสิ่งนี้คืออะไรและเหตุใดจึงสำคัญFederal Drive กับ Tom Teminจึงหันไปหา Alexey Loginov รองประธานฝ่ายวิจัยของ GrammaTech
ในระหว่างการสัมมนาผ่านเว็บสุดพิเศษนี้ ผู้ดำเนินรายการ Jared Serbu
จะหารือเกี่ยวกับกลยุทธ์การปรับให้ทันสมัยทางดิจิทัลกับ DoD และผู้เชี่ยวชาญในอุตสาหกรรม
Tom Temin:ดร. Alexey Loginov ยินดีที่ได้ร่วมงานดร. Alexey Loginov:เยี่ยมมาก ขอบคุณ ดีมากที่ได้มาที่นี่Tom Temin:คุณกำลังทำอะไรให้กับ DARPA ภายใต้โครงการนี้ดร. อเล็กเซย์ ล็อกอินอฟ:เป็นคำถามที่ดีมาก จุดมุ่งหมายของโปรแกรมนี้คือพยายามช่วยผู้เชี่ยวชาญเฉพาะด้านดูแลรักษาและปรับปรุงระบบกายภาพทางไซเบอร์ให้ทันสมัยอย่างมีประสิทธิภาพมากขึ้น ระบบกายภาพทางไซเบอร์คือระบบที่มีองค์ประกอบของซอฟต์แวร์ทางไซเบอร์ที่ควบคุมด้านกายภาพหรือฮาร์ดแวร์ เช่น เทอร์โมสตัทอัจฉริยะ ไปจนถึงโรงไฟฟ้านิวเคลียร์
Tom Temin:ในอุตสาหกรรมนี้เรียกว่า SCADA
ดร. อเล็กเซย์ ล็อกอินอฟ:แน่นอน SCADA จึงเป็นหนึ่งในตัวอย่างที่สำคัญของระบบ CPS
Tom Temin:และฉันเดาว่ามีปัญหาด้านความปลอดภัยทางไซเบอร์กับการบำรุงรักษาซอฟต์แวร์ด้วย สิ่งนั้นรวมอยู่ในโครงการหรือไม่
ดร. อเล็กเซย์ ล็อกอินอฟ:แน่นอน โครงการเฉพาะนี้มุ่งเน้นไปที่การปรับปรุงให้ทันสมัยมากขึ้น แต่แน่นอนว่าองค์ประกอบสำคัญของการปรับปรุงให้ทันสมัยอาจเป็นความปลอดภัยในโลกไซเบอร์ ดังนั้นคุณจึงพยายามหาสาเหตุที่ระบบทำงาน และถ้าระบบทำงานผิดปกติ คุณต้องเข้าใจก่อนว่าระบบกำลังทำอะไร และจะถูกโจมตีได้อย่างไร นั่นอาจเป็นองค์ประกอบ อย่างแน่นอน.
ทอม เทมิน:และเมื่อคุณพูดตามหัวข้อ ผู้เชี่ยวชาญไม่สามารถจัดการกับเรื่องนี้
ได้ภายใต้โครงการนี้ กล่าวคือ ตรงข้ามกับคนเขียนโค้ดด้วยซอฟต์แวร์
ดร. อเล็กเซย์ ล็อกอินอฟ:ตรงกันข้ามกับซอฟต์แวร์เลย นั่นคือการเขียนโค้ดคน และบางทีสิ่งที่ซับซ้อนกว่านั้นก็คือพวก Reverse Engineers และนักวิเคราะห์ทางไซเบอร์ที่จะแยกระบบออกจากกัน ทำความเข้าใจว่าตอนนี้มันทำอะไรเพื่อช่วยนักฟิสิกส์หรือนักคณิตศาสตร์ ปรับระบบ สิ่งเหล่านี้ขาดแคลน
ทอม เทมิน:และระบบเหล่านี้บางระบบมีอายุย้อนกลับไปไม่กี่ปี และเอกสารประกอบและผู้คนที่พัฒนาระบบนี้แต่เดิมอาจหายไปนาน และนั่นคือสิ่งที่จำเป็นต้องมีวิศวกรรมย้อนรอย
ดร. อเล็กเซย์ ล็อกอินอฟ:เป๊ะเลย ระบบถูกสร้างขึ้น และในความเป็นจริงในซอฟต์แวร์ เมื่อมีคนสร้างซอฟต์แวร์บางชิ้น ไม่กี่เดือนต่อมา คุณต้องดูอีกครั้ง คุณถามตัวเองว่า คุณทำอะไรในโลกนี้ในอีกไม่กี่เดือนต่อมา และเมื่อระบบใช้งานได้หนึ่งทศวรรษหรือหลายทศวรรษ สิ่งนี้จะกลายเป็นปัญหาร้ายแรงอย่างแน่นอน
Tom Temin:คุณกำลังมองหาการพัฒนาตัวแทนที่สามารถเข้าใจซอฟต์แวร์ได้ด้วยวิธีอัตโนมัติ จากนั้นจึงส่งผลให้มีวิธีการซึ่งผู้ที่ไม่ใช่ผู้เขียนโค้ดสามารถปรับเปลี่ยนได้
ดร. อเล็กเซย์ ล็อกอินอฟ:แน่นอน ดังนั้นเราจึงพัฒนาระบบ AI และการเรียนรู้ของเครื่องโดยใช้การเรียนรู้การถ่ายโอนเทคโนโลยีที่เราพยายามวิเคราะห์ซอฟต์แวร์ ดังนั้นเราจึงสร้างตัวอย่างคณิตศาสตร์จำนวนมากที่แปลงเป็นซอร์สโค้ด จากนั้นเราพยายามย้อนกลับกระบวนการนี้ เรากำลังดูเลขฐานสอง โอเค นี่ต้องเป็นชุดของสูตรทางคณิตศาสตร์ที่ใช้ในเลขฐานสองนี้
Tom Temin:คุณจะพูดว่าเลขฐานสองเพื่อหาสิ่งนั้นสำหรับผู้ฟังทั่วไป