DARPA มอบสัญญาให้ใช้ AI สำหรับการบำรุงรักษาซอฟต์แวร์

DARPA มอบสัญญาให้ใช้ AI สำหรับการบำรุงรักษาซอฟต์แวร์

ประสบการณ์การฟังที่ดีที่สุดอยู่บน 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:คุณจะพูดว่าเลขฐานสองเพื่อหาสิ่งนั้นสำหรับผู้ฟังทั่วไป

        ต้องการติดตามข่าวสารล่าสุดของรัฐบาลกลางและข้อมูลล่าสุดจากอุปกรณ์ทั้งหมดของคุณหรือไม่ ดาวน์โหลดแอป Federal News Network ที่ปรับปรุงใหม่

ดร.อเล็กเซย์ ล็อกอินอฟ:ไบนารี่คือไฟล์เรียกทำงานจริง เลขศูนย์และบิตจริง บิตที่ทำงานบนคอมพิวเตอร์ในที่สุด โดยปกติแล้ว โค้ดเริ่มต้นจากการเป็นซอร์สโค้ด จากนั้นคอมไพล์โดยคอมไพเลอร์เป็นไบนารี จากนั้นเราพยายามเปลี่ยนจากเวอร์ชันสุดท้ายนั้นกลับเป็นคณิตศาสตร์ที่นำไปสู่การสร้างซอร์สโค้ด แล้วก็ไบนารี

credit : 3daysofsyllamo.org
makedigitalworldeasy.org
thaidiary.net
flashpoetry.net
coachfactoryoutletstoreco.com
glimpsescience.net
sylvanianvillage.com
royalnepaleseembassy.org
21stcenturybackcare.com
coachfactoryonlinea.net