Most recently, we have developed a

Most recently, we have developed a translator from Lustre to the SAL (Symbolic Analysis Language) developed by SRI International, allowing us to use the model checkers and theorem provers included in the SAL toolset. We have also developed translators from the Reactis test case generation tool to Lustre, providing an alternative path from Simulink to Lustre. This translator is being extended to support a subset of StateFlow models as well as Simulink.

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

ล่าสุด เราได้พัฒนาตัวแปลจากความวาวการแซล (สัญลักษณ์การวิเคราะห์ภาษา) ที่พัฒนา โดยนานาชาติศรี ทำให้เราสามารถใช้รูปแบบหมากและทฤษฎีบท provers ในงานแซล นอกจากนี้เรายังได้พัฒนาแปลจากเครื่องมือการสร้างกรณีทดสอบ Reactis เพื่อความวาว ให้มีเส้นทางสำรองจาก Simulink โกลเด้น แปลนี้จะมีขยายการสนับสนุนชุดย่อยของแบบจำลอง StateFlow เป็น Simulink

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

เมื่อเร็ว ๆ นี้เราได้พัฒนาแปลจาก Lustre จะ SAL (ภาษาสัญลักษณ์วิเคราะห์) ที่พัฒนาโดยประเทศศรีลังกาช่วยให้เราสามารถใช้การตรวจสอบรูปแบบและ provers ทฤษฎีบทรวมอยู่ในชุดเครื่องมือ SAL เราได้พัฒนายังแปลจากเครื่องมือสร้างกรณีทดสอบ Reactis เพื่อ Lustre ให้เส้นทางทางเลือกจาก Simulink เพื่อ Lustre แปลนี้จะถูกขยายเพื่อรองรับย่อยของรุ่น StateFlow เช่นเดียวกับ Simulink

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

เมื่อเร็วๆ นี้ เราได้พัฒนา แปลจากเงากับแซล ( ภาษาเชิงสัญลักษณ์ ) ที่พัฒนาโดย ศรีประเทศ อนุญาตให้เราใช้แบบหมากฮอสและทฤษฎีบท provers รวมอยู่ในชุดแซล นอกจากนี้เรายังได้พัฒนา แปลจาก reactis เครื่องมือสร้างกรณีทดสอบเพื่อความมันวาว ให้เส้นทางทางเลือกจาก Simulink เพื่อความมันวาว .นักแปลนี้จะถูกขยายเพื่อสนับสนุนชุดย่อยของรุ่น stateflow เช่นเดียวกับ Simulink .