Even with careful methodological gu

Even with careful methodological guidance, it is still possible to introduce unintended and undesirable behaviors into function specifications,
high level architecture models or function-architecture
mappings. Foremost among these are deadlock, livelock and starvation.
Being semantic in nature, their complete and precise characterization
requires formal analysis or verification, which can only be
done at a high level of abstraction due to the state space explosion
problem. In this work, We look for a practical solution to deal with
these design problems in realistic and complex system designs. A
simulation based analysis methodology is proposed for the detection
and elimination of these “semantic errors”. Designers are responsible
for coming up with simulation vectors and scenarios that
are important and may lead to undesirable behaviors such as a deadlock.
Our approach automatically analyzes the simulation status and
reports deadlocks once they occur.

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

แม้จะ มีคำแนะนำ methodological ระวัง ก็ยังสามารถแนะนำพฤติกรรมที่ไม่พึงปรารถนา และตั้งใจในข้อกำหนดฟังก์ชัน,
รูปแบบสถาปัตยกรรมระดับสูงหรือฟังก์ชันสถาปัตยกรรม
แม็ป สำคัญในหมู่เหล่านี้การชะงักงัน livelock และความอดอยาก
ถูกความหมายธรรมชาติ จำแนกความสมบูรณ์ และแม่นยำ
ต้องตรวจสอบ วิเคราะห์อย่างเป็นทางการ ซึ่งสามารถ
ทำได้ที่ระดับสูงของ abstraction เนื่องจากการขยายพื้นที่รัฐ
ปัญหาได้ ในงานนี้ เราค้นหาโซลูชันในการจัดการกับปฏิบัติ
เหล่านี้ออกแบบปัญหาในการออกแบบระบบที่ซับซ้อน และสมจริง A
มีเสนอวิธีวิเคราะห์โดยการจำลองการตรวจ
และกำจัดเหล่านี้ "ผิดความหมาย" มีความรับผิดชอบ
สำหรับมากับเวกเตอร์ของการจำลองสถานการณ์ที่
มีความสำคัญ และอาจนำไปสู่พฤติกรรมที่ไม่พึงปรารถนาเช่นการชะงักงัน
วิธีการของเราโดยอัตโนมัติวิเคราะห์สถานะการจำลอง และ
รายงานหยุดชะงักเมื่อพวกเขาเกิดขึ้น

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

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

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

แม้แต่กับระวังวิธีการแนะแนว มันยังสามารถแนะนำที่ไม่ได้ตั้งใจและพฤติกรรมที่ไม่พึงประสงค์ในคุณสมบัติการทำงานสูงรูปแบบสถาปัตยกรรมระดับหรือฟังก์ชัน

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

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