While our deadlock monitoring appro

While our deadlock monitoring approach can apply to any system
level design environment, we focus our effort on the synchronization
dependency and deadlock analysis for simulation in the Metropolis
design environment [3]. Metropolis is a system level design framework
for modern embedded systems. In the modeling language of
Metropolis, Metropolis Meta-Model (MMM), a design is specified
as asynchronous processes with communication specified with media
and with its overall behavior limited by the synchronization constructs:
function-architecture mappings, await statements, interface
function calls, constraints, and schedulers. The function and abstract
architecture of a system are specified separately and correlated
by the synchronization of the functional events with architectural
events (mapping). An await statement can be used to make
a process wait until some conditions hold, establish critical sections
that guarantee mutual exclusion among different processes, and prevent
interface function calls by other processes. To limit the behavior
of processes, designers can put high-level LTL (Linear Temporal
Logic) [14] or LOC (Logic of Constraints) [2] constraints on the system
specification without giving any specific scheduling algorithm,
and leave the implementation to the lower levels of abstraction. Designers
can also write their own schedulers in architecture models
at a high abstraction level, which are called quantity managers in
Metropolis. The high flexibility of the design platform allows designers
to use different modeling constructs freely in a system design.
Without a platform-supported systematic analysis mechanism,
this flexibility can lead to vulnerability to design errors that may
cause deadlocks.

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

ขณะการชะงักงันของเรา ตรวจสอบวิธีการที่สามารถใช้กับระบบใด ๆ
ระดับคอม เรามุ่งเน้นความพยายามของเราในการซิงโครไนส์
วิเคราะห์อ้างอิงและการชะงักงันในการจำลองแบบนคร
ออกแบบสิ่งแวดล้อม [3] นครเป็นระบบระดับออกแบบกรอบ
สำหรับทันสมัยระบบฝังตัว ในโมเดล
นคร นคร Meta-Model (ววดดดด), ออกแบบระบุ
เป็นกระบวนการแบบอะซิงโครนัสกับสื่อสารกับสื่อระบุ
และ มีพฤติกรรมโดยรวมของจำกัด โดยการซิงโครไนส์สร้าง:
แมปฟังก์ชันสถาปัตยกรรม รองบ อินเตอร์เฟซ
ฟังก์ชันการโทร จำกัด และ schedulers ฟังก์ชันและนามธรรม
สถาปัตยกรรมของระบบจะระบุแยกต่างหาก และ correlated
โดยตรงของการทำงานกับสถาปัตยกรรม
เหตุการณ์ (แผนที่) สามารถใช้คำสั่งที่รอคอยต้อง
รอกระบวนการจนถึงค้างบางเงื่อนไข สร้างส่วนสำคัญ
รับประกันแยกออกซึ่งกันและกันระหว่างกระบวนการต่าง ๆ และป้องกัน
ฟังก์ชันอินเทอร์เฟซเรียกกระบวนการอื่นได้ การจำกัดพฤติกรรม
ของกระบวนการ นักออกแบบสามารถใส่ LTL ระดับสูง (เส้นขมับ
ตรรกะ) [14] หรือล็อค (ตรรกะของข้อจำกัด) [2] ข้อจำกัดของระบบ
เพาะก็มีเฉพาะจัดอัลกอริทึม,
และปล่อยให้ดำเนินงานไปยังระดับล่างของ abstraction นักออกแบบ
ยังสามารถเขียน schedulers ของตนเองในรูปแบบสถาปัตยกรรม
ในระดับสูง abstraction ซึ่งจะเรียกว่าผู้จัดการปริมาณใน
นคร มีความยืดหยุ่นสูงของแพลตฟอร์มที่ออกแบบช่วยให้นักออกแบบ
ใช้โครงสร้างของโมเดลแตกต่างกันได้อย่างอิสระในการออกแบบระบบได้
โดยกลไกสนับสนุนแพลตฟอร์มวิเคราะห์ระบบ,
ความยืดหยุ่นนี้สามารถนำไปสู่ปัญหาข้อผิดพลาดในการออกแบบที่อาจ
ทำให้หยุดชะงักได้

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

ในขณะที่วิธีการตรวจสอบการหยุดนิ่งของเราสามารถนำไปใช้กับระบบ
สภาพแวดล้อมการออกแบบระดับเรามุ่งเน้นความพยายามของเราในการประสาน
การพึ่งพาและการวิเคราะห์สำหรับการจำลองหยุดชะงักในมหานคร
สภาพแวดล้อมการออกแบบ [3] มหานครที่เป็นกรอบการออกแบบระดับระบบ
สำหรับระบบฝังตัวที่ทันสมัย ในภาษาของการสร้างแบบจำลองของ
นครนคร Meta-รุ่น (MMM), การออกแบบที่มีการระบุ
ว่าเป็นกระบวนการที่ไม่ตรงกันกับการสื่อสารที่ระบุกับสื่อ
และมีพฤติกรรมโดยรวมของ จำกัด โดยการสร้างข้อมูลให้ตรงกัน:
ฟังก์ชั่นการแมปสถาปัตยกรรมรองบอินเตอร์เฟซ
การเรียกฟังก์ชั่น ข้อ จำกัด และ schedulers ฟังก์ชั่นและนามธรรม
สถาปัตยกรรมของระบบที่ระบุไว้แยกจากกันและมีความสัมพันธ์
โดยการประสานการทำงานของเหตุการณ์ที่มีสถาปัตยกรรม
เหตุการณ์ (แผนที่) รอคำสั่งที่สามารถใช้เพื่อให้
ขั้นตอนการรอจนกว่าเงื่อนไขบางอย่างค้างไว้สร้างส่วนที่สำคัญ
ที่รับประกันการยกเว้นร่วมกันระหว่างกระบวนการที่แตกต่างกันและป้องกันไม่ให้
สายงานอินเตอร์เฟซโดยกระบวนการอื่น ๆ ที่จะ จำกัด พฤติกรรม
ของกระบวนการออกแบบสามารถใส่ระดับสูง LTL (ตรงขมับ
ลอจิก) [14] หรือ LOC (ลอจิกของข้อ จำกัด ) [2] ข้อ จำกัด ในระบบ
โดยไม่ให้รายละเอียดขั้นตอนวิธีการจัดตารางการใด ๆ ที่เฉพาะเจาะจง
และออกจากการดำเนินงานไปยัง ระดับล่างของนามธรรม นักออกแบบ
ยังสามารถเขียน schedulers ของตัวเองในรูปแบบสถาปัตยกรรม
ในระดับที่เป็นนามธรรมสูงซึ่งจะเรียกว่าผู้จัดการปริมาณใน
นคร มีความยืดหยุ่นสูงของแพลตฟอร์มการออกแบบช่วยให้นักออกแบบ
ที่จะใช้สร้างแบบจำลองที่แตกต่างกันได้อย่างอิสระในการออกแบบระบบ
โดยไม่ต้องมีกลไกการวิเคราะห์ระบบแพลตฟอร์มที่สนับสนุน
ความยืดหยุ่นนี้สามารถนำไปสู่ความเสี่ยงในการออกแบบผิดพลาดที่อาจ
ทำให้เกิดการติดตาย

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

ในขณะที่ของเราหยุดชะงักการตรวจสอบวิธีการสามารถใช้กับระบบใด
ระดับการออกแบบสภาพแวดล้อม เรามุ่งเน้นความพยายามของเราในการพึ่งพาและการวิเคราะห์การจำลองการหยุดชะงักสำหรับ

ออกแบบสภาพแวดล้อมในกรุงเทพมหานคร [ 3 ] กรุงเทพมหานครเป็นระดับระบบการออกแบบกรอบ
ทันสมัยระบบฝังตัว ในแบบภาษาของ
กรุงเทพมหานครกรุงเทพมหานครเมตาโมเดล ( อืม ) , การออกแบบที่ระบุไว้
เป็นกระบวนการสื่อสารแบบอะซิงโครนัส กับระบุกับสื่อและพฤติกรรมโดยรวม
จำกัดโดยการสร้าง :
ฟังก์ชันสถาปัตยกรรมแมป รอ งบ ติดต่อ
เรียกฟังก์ชันข้อจำกัดและตารางเวลา . ฟังก์ชันและสถาปัตยกรรมนามธรรม
ของระบบระบุไว้แยกต่างหาก และมีความสัมพันธ์
โดยประสานการทำงานกับเหตุการณ์ของงานสถาปัตยกรรม
( แผนที่ ) การรอคำสั่งสามารถใช้เพื่อให้
กระบวนการรอจนกว่าเงื่อนไขบางอย่างค้างไว้ สร้างวิกฤตส่วน
รับประกันร่วมกันยกเว้นในกระบวนการต่างๆ และป้องกันไม่ให้ฟังก์ชันเรียกโดยกระบวนการอื่น ๆอินเตอร์เฟซ
. เพื่อจำกัดพฤติกรรม
ของกระบวนการออกแบบสามารถใส่ระดับสูง LTL ( Linear Temporal
ตรรกะ ) [ 14 ] หรือ loc ( ลอจิกจำกัด ) [ 2 ] ข้อจำกัดในรายละเอียดของระบบโดยไม่ให้ขั้นตอนวิธีการตั้งเวลาเฉพาะใด ๆ

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

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