IEC Certification Kit provides deta

IEC Certification Kit provides detailed workflow guidance needed for developing and verifying systems using Model-Based Design. The workflow guidance describes processes, methods, and tools used for each software development and verification step from high-level requirements validation to executable object code verification.

With IEC Certification Kit, you can generate a traceability matrix spreadsheet showing requirements-to-model-to-code bidirectional traceability paths and file information. You can also use IEC Certification Kit to generate a list of reported bugs that you can store and archive for key Simulink and Polyspace tools used for Model-Based Design

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

ชุดรับรอง IEC ให้คำแนะนำรายละเอียดลำดับงานที่จำเป็นสำหรับการพัฒนา และตรวจสอบระบบการใช้ตามรูปแบบการออกแบบ คำแนะนำลำดับอธิบายกระบวนการ วิธีการ และเครื่องมือที่ใช้ซอฟต์แวร์พัฒนาและตรวจสอบแล้วจากการตรวจสอบความต้องการระดับสูงเพื่อตรวจสอบรหัสกระทำวัตถุชุดรับรอง IEC คุณสามารถสร้างกระดาษคำนวณเมตริกซ์ติดตามแสดงความต้องการ--รูปแบบการรหัสแบบสองทิศทางสามารถติดตามเส้นทางและแฟ้มข้อมูล นอกจากนี้คุณยังสามารถใช้ชุดรับรอง IEC เพื่อสร้างรายการข้อบกพร่องที่รายงานที่คุณสามารถเก็บถาวรสำหรับคีย์ Simulink และ Polyspace เครื่องมือที่ใช้สำหรับการออกแบบตาม

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

ชุดการรับรองมาตรฐาน IEC ให้คำแนะนำรายละเอียดขั้นตอนการทำงานที่จำเป็นสำหรับการพัฒนาและการตรวจสอบระบบที่ใช้การออกแบบแบบที่ใช้ คำแนะนำขั้นตอนการทำงานจะอธิบายถึงกระบวนการวิธีการและเครื่องมือที่ใช้สำหรับแต่ละการพัฒนาซอฟต์แวร์และขั้นตอนการตรวจสอบจากความต้องการระดับสูงการตรวจสอบเพื่อตรวจสอบรหัสวัตถุปฏิบัติการ. ด้วย IEC รับรองชุดคุณสามารถสร้างสเปรดชีตเมทริกซ์ตรวจสอบย้อนกลับแสดงความต้องการที่จะรูปแบบที่จะ -code เส้นทางตรวจสอบย้อนกลับแบบสองทิศทางและแฟ้มข้อมูล นอกจากนี้คุณยังสามารถใช้ชุดการรับรองมาตรฐาน IEC เพื่อสร้างรายการข้อบกพร่องรายงานว่าคุณสามารถจัดเก็บและข้อมูลที่เก็บสำหรับ Simulink สำคัญและเครื่องมือ Polyspace ใช้สำหรับการออกแบบแบบที่ใช้

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

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

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