AdaCore และ NVIDIA ผนึกกำลัง! เปิดตัวภาษา Ada และ SPARK สู่ตลาดรถยนต์ พร้อมยกระดับความปลอดภัยซอฟต์แวร์

AdaCore ผู้เชี่ยวชาญด้านเครื่องมือซอฟต์แวร์ที่มีความสมบูรณ์สูง มีความยินดีที่จะประกาศการนำภาษาโปรแกรม Ada และ SPARK เข้าสู่ตลาดอุตสาหกรรมยานยนต์ โดยร่วมกับพันธมิตร NVIDIA พวกเขาเตรียมเผยแพร่กระบวนการอ้างอิงที่พร้อมใช้งาน ซึ่งจะเปิดโอกาสให้ผู้อื่นสามารถนำไปปรับใช้ตามแนวทางของพวกเขาได้

NVIDIA ได้พัฒนา Drive OS ซึ่งเป็นระบบปฏิบัติการอ้างอิงและชุดซอฟต์แวร์ที่เกี่ยวข้องที่ออกแบบมาโดยเฉพาะสำหรับการพัฒนาและปรับใช้แอปพลิเคชันสำหรับรถยนต์ไร้คนขับบนฮาร์ดแวร์ที่ใช้ DRIVE AGX ระบบนี้ประกอบด้วยส่วนประกอบซอฟต์แวร์ที่สอดคล้องกับมาตรฐานการรับรองยานยนต์ ISO-26262 ในระดับความสมบูรณ์สูงสุด เพื่อให้บรรลุเป้าหมายดังกล่าว NVIDIA ได้เลือกใช้ภาษาเหล่านี้ในการพัฒนาส่วนประกอบที่สำคัญที่สุดบางส่วนของชุดซอฟต์แวร์ ซึ่งจำเป็นต้องมีกระบวนการพัฒนาที่ใช้ประโยชน์จากวิธีการเชิงรูปนัย (formal methods) และคุณลักษณะด้านความปลอดภัยอื่นๆ ของภาษา Ada และ SPARK เพื่อใช้ประโยชน์จากความสามารถของภาษาเหล่านี้ได้อย่างเต็มที่

AdaCore และ NVIDIA ได้ตัดสินใจเผยแพร่กระบวนการอ้างอิงนี้โดยอิสระในรูปแบบโอเพนซอร์สและเป็นเอกสารที่พัฒนาอย่างต่อเนื่อง เพื่อให้อุตสาหกรรมโดยรวมสามารถนำภาษา Ada และ SPARK ไปปรับใช้ได้

“ในขณะที่มูลค่าเพิ่มของอุตสาหกรรมยานยนต์หันเหจากคุณสมบัติทางกลไกไปสู่คุณสมบัติซอฟต์แวร์มากขึ้นเรื่อยๆ การบรรลุความปลอดภัยของซอฟต์แวร์ในระดับสูงสุดจึงกลายเป็นหนึ่งในความท้าทายที่สำคัญที่สุดของการพัฒนารถยนต์สมัยใหม่” Quentin Ochem, Chief Product and Revenue Officer ของ AdaCore กล่าว “NVIDIA แสดงให้เห็นถึงความเป็นผู้นำทางเทคนิคที่โดดเด่นอย่างแท้จริงในโดเมนนี้ โดยการนำภาษา Ada และ SPARK เข้าสู่กระบวนการพัฒนาของตน และเปิดโอกาสให้ส่วนที่เหลือของชุมชนเดินตามรอย”

กระบวนการอ้างอิง ISO-26262 สามารถดูได้ที่ https://nvidia.github.io/spark-process/ และสามารถนำไปใช้หรือปรับแต่งได้อย่างอิสระโดยผู้ที่สนใจนำภาษาเหล่านี้ไปใช้

การเปิดตัวครั้งนี้ถือเป็นก้าวสำคัญในการยกระดับความปลอดภัยและความน่าเชื่อถือของซอฟต์แวร์ในอุตสาหกรรมยานยนต์ ซึ่งจะส่งผลดีต่อการพัฒนารถยนต์ไร้คนขับและระบบอัตโนมัติในอนาคต

ที่มา : https://www.eenewseurope.com/en/ada-and-spark-enter-the-automotive-iso-26262-market-with-nvidia/

Tags AdaCore automotive NVIDIA SPARK

About pawarit

Check Also

Continental เปิดตัวหน่วยเซมิคอนดักเตอร์ใหม่ ร่วมกับ GlobalFoundries เสริมแกร่งอุตสาหกรรมยานยนต์

Continental ซึ่งเป็นบริษัทเทคโนโลยีสำหรับยานยนต์ชั้นนำ ได้ประกาศจัดตั้งหน่วยงานใหม่ชื่อ Advanced Electronics & Semiconductor Solutions (AESS) โดยมีจุดประสงค์หลักเพื่อออกแบบและตรวจสอบวงจรรวมเซมิคอนดักเตอร์สำหรับงานเฉพาะ (application-specific semiconductor circuits) การเคลื่อนไหวครั้งนี้เกิดขึ้นในขณะที่ Continental …

Toyoda Gosei เร่งพัฒนาถุงลมนิรภัยสำหรับรถจักรยานยนต์ ขณะนี้ได้ทดสอบการชนกับยานพาหนะจริงแล้ว

บริษัท Toyoda Gosei ประเทศญี่ปุ่น กำลังใช้ประโยชน์จากความเชี่ยวชาญด้านระบบความปลอดภัยสำหรับรถยนต์เพื่อพัฒนาถุงลมนิรภัยสำหรับจักรยานยนต์ ซึ่งเป็นส่วนหนึ่งในความพยายามของบริษัทที่จะทำให้การเดินทางมีความปลอดภัยยิ่งขึ้น โดยมีเป้าหมายในการนำผลิตภัณฑ์นี้ออกสู่ตลาดให้เร็วขึ้น และเมื่อไม่นานมานี้ได้ดำเนินการทดสอบการชนกับยานพาหนะจริงภายในบริษัท ซึ่งผลการทดสอบที่ได้นี้จะนำไปปรับปรุงเทคโนโลยีการป้องกันผู้ขับขี่จักรยานยนต์ต่อไป