Researchers have proposed numerousa

Researchers have proposed numerous
approaches for specifying, constructing, and
certifying high assurance systems. These include
formal specification notations, formal models, and
rigorous verification and validation techniques.
But, two difficult problems remain. The first is the
need for technology to support the application of
these new methods to practical systems. Without
such technology, opportunities to transfer basic
research results to practice are severely limited.
Also needed is a unified framework for building
systems that satisfy multiple critical properties.
This need exists because not one but several
different approaches for developing high assurance
systems have evolved, each with a different
philosophy of system development and different
techniques for specification and assurance.
In high assurance avionics systems, such as

ผลลัพธ์ (ไทย) 1:

นักวิจัยได้นำเสนอมากมายแจ้งสำหรับการระบุ สร้าง และได้รับการรับรองระบบประกันสูง เหล่านี้รวมถึงฯลฯ แบบ แบบจำลองทาง และเข้มงวดตรวจสอบและการตรวจสอบเทคนิคการแต่ ยังคงมีปัญหาสองยาก ครั้งแรกเป็นการต้องการเทคโนโลยีเพื่อสนับสนุนการประยุกต์ใช้วิธีใหม่กับระบบปฏิบัติการ โดยไม่ต้องเช่นเทคโนโลยี โอกาสในการถ่ายโอนเบื้องต้นผลงานวิจัยการฝึกมีอย่างจำกัดนอกจากนี้ยัง ต้องเป็นกรอบรวมสำหรับอาคารระบบที่ตอบสนองคุณสมบัติสำคัญหลายความต้องการนี้อยู่เนื่องจากไม่หนึ่ง แต่หลายวิธีต่าง ๆ สำหรับการพัฒนาความมั่นใจสูงระบบมีพัฒนา มีความแตกต่างกันปรัชญา ของการพัฒนาระบบ และแตกต่างกันเทคนิคการเพาะและประกันในระบบ avionics ประกันสูง เช่น

ผลลัพธ์ (ไทย) 2:

นักวิจัยได้เสนอหลาย
วิธีสำหรับการระบุการก่อสร้างและ
การรับรองระบบการประกันสูง เหล่านี้รวมถึง
ข้อความที่สเปคอย่างเป็นทางการรุ่นอย่างเป็นทางการและ
การตรวจสอบอย่างเข้มงวดและเทคนิคการตรวจสอบ.
แต่ทั้งสองยังคงเป็นปัญหาที่ยาก ประการแรกคือ
ความจำเป็นในการใช้เทคโนโลยีเพื่อสนับสนุนการประยุกต์ใช้
วิธีการใหม่เหล่านี้ไปใช้กับระบบปฏิบัติ โดยไม่ต้องมี
เทคโนโลยีดังกล่าวมีโอกาสที่จะถ่ายโอนพื้นฐาน
ผลการวิจัยในการฝึกจะถูก จำกัด อย่างรุนแรง.
จำเป็นยังเป็นกรอบแบบครบวงจรสำหรับการสร้าง
ระบบที่ตอบสนองคุณสมบัติที่สำคัญหลาย.
นี้ต้องอยู่เพราะไม่หนึ่ง แต่หลาย
วิธีที่แตกต่างกันสำหรับการพัฒนาความเชื่อมั่นอย่างสูง
ระบบมีการพัฒนาในแต่ละ ที่แตกต่างกันกับ
ปรัชญาของการพัฒนาระบบที่แตกต่างกันและ
เทคนิคสำหรับข้อกำหนดและการประกัน.
ในระบบการบินเชื่อมั่นอย่างสูงเช่น

ผลลัพธ์ (ไทย) 3:

นักวิจัยได้เสนอแนวทางการสร้างมากมาย

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

สูงมีการพัฒนาแต่ละคนมีปรัชญาที่แตกต่างกันของการพัฒนาระบบต่าง ๆ

และเทคนิคข้อมูลและการประกัน การประกันการบินสูง
ในระบบ เช่น