شبیه سازی سیستم های لحظه ای با حساب ساعتی

قیمت: 43,000 تومان

دانلود رایگان مقاله

خرید ترجمه مقاله

عنوان فارسی

شبیه سازی سیستم های لحظه ای با حساب ساعتی

عنوان لاتین

Simulation of real-time systems with clock calculus

سیستم های لحظه ای ایمنی حیاتی نیاز به مدلسازی و شبیه سازی در مراحل اولیه توسعه چرخه عمر دارند. SIGNAL یک زبان همگام شار داده می باشد که به همراه ساعت ها بطور گسترده ای برای مدلسازی چنین سیستم هایی مورد استفاده قرار می گیرد. به دلیل ویژگی های همگام SIGNAL، حساب ساعتی در شبیه سازی و جمع آوری ضروری می باشد. این مقاله یک روش جدید برای حساب ساعتی ارائه می دهد که وابستگی های داده ای را در نظر می گیرد. به این ترتیب، کد شبیه سازی می تواند مستقیما با استفاده از یک الگوریتم حرکتی عمق اول ایجاد شود. بعلاوه، روش افزودن ساعت مبتنی بر بررسی تأثیر ساعتی جهت بدست آوردن یک ساختار کنترل بهینه سازی شده ارائه شده است.

Safety–critical real-time systems need to be modeled and simulated early in the development of lifecycle. SIGNAL is a data-flow synchronous language with clocks widely used in modeling of such systems. Due to the synchronous features of SIGNAL, clock calculus is essential in compilation and simulation. This paper proposes a new methodology for clock calculus that takes data dependencies into consideration. In this way, simulation code can be directly generated by using a depth-first traversal algorithm. In addition, a clock insertion method based on clock-implication checking is presented to obtain an optimized control structure.