To make this same capability availa

To make this same capability available with commercial tools, we recently developed translators from the Lustre language that the SCADE tool set from Esterel Technologies is based on, making it possible to prove properties about SCADE models. By using the Simulink gateway provided by Esterel Technologies, we have also been able to prove properties of Simulink models.

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

เพื่อทำให้ความสามารถเดียวกันนี้พร้อม ด้วยเครื่องมือทางการค้า เราเพิ่งพัฒนาแปลจากโกลเด้นภาษาที่เครื่องมือ SCADE จาก Esterel เทคโนโลยีขึ้นอยู่กับ ทำให้สามารถพิสูจน์คุณสมบัติเกี่ยวกับรุ่น SCADE โดยใช้เกตเวย์ Simulink โดยเทคโนโลยี Esterel เรามียังได้พิสูจน์คุณสมบัติรุ่น Simulink

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

ที่จะทำให้ความสามารถในการเดียวกันนี้สามารถใช้ได้กับเครื่องมือเชิงพาณิชย์เราเมื่อเร็ว ๆ นี้ได้รับการพัฒนานักแปลจากภาษา Lustre ว่าเครื่องมือ SCADE ตั้ง Esterel เทคโนโลยีจะขึ้นอยู่กับการทำให้มันเป็นไปได้ที่จะพิสูจน์คุณสมบัติเกี่ยวกับรุ่น SCADE โดยใช้ประตู Simulink โดย Esterel เทคโนโลยีที่เราได้รับยังสามารถที่จะพิสูจน์คุณสมบัติของรุ่น Simulink

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

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