ManuTalkThai ศูนย์รวมข่าว Industrial Technology ออนไลน์ในประเทศไทย
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/
