کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
491748 720657 2015 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Simulation of real-time systems with clock calculus
ترجمه فارسی عنوان
شبیه سازی سیستم های لحظه ای با حساب ساعتی
کلمات کلیدی
SIGNAL، حساب ساعتی، درخت بهینه سازی شده ساعت، ایجاد کد
فهرست مطالب مقاله
چکیده

لغات کلیدی

1. مقدمه

2. مقدمه ای بر SIGNAL

2.1. سیگنال ها و ساعت ها

2.2. ساختارهای ابتدایی

2.3. سیستم معادلات بولی و اصول کد شبیه سازی 

2.4. چارچوب شبیه سازی برای SIGNAL

3. حساب ساعتی و ساخت درخت ساعتی

3.1. فرآیند حساب ساعتی

3.1.1 ایجاد معادلات ساعتی 

3.1.2 تجزیه معادلات ساعتی 

3.1.3. ایجاد دسته های معادل ساعت و SRNF

شکل 1. مدلسازی، تحلیل و چارچوب شبیه سازی برای SIGNAL.

3.2. تعریف درخت ساعت، ویژگی ها و ساخت درخت

3.2.1. تعریف و ویژگی های درخت ساعتی 

شکل 2. مثالی از درخت ساعتی.

3.2.2. ساخت درخت ساعتی

3.3. ایجاد کردن کد شبیه سازی 

4. مطالعه موردی 

شکل 3. فرایند شبیه سازی SIGNAL

شکل 4. دستگاه حالت پایدار فرایند ABRO.

شکل 5. برنامه سیگنال فرآیند ABRO

شکل 6. SNF بدست آمده از معادلات ساعتی در جدول 4. 

شکل 7. دسته های معادل ساعتی برنامه نمونه.

شکل 8. بخشی از SRNF برنامه نمونه.

شکل 9. بخشی از Elist برنامه نمونه.

شکل 10. درخت ساعتی برنامه نمونه. 

شکل 11. گره ساعتی C_13.

5. کارهای انجام پذیرفته ی مربوطه 

شکل 12. بخش مرکزی تکرار.

شکل 13. نمودار موج نتیجه شبیه سازی

6. نتیجه گیری
ترجمه چکیده
سیستم های لحظه ای ایمنی-حیاتی نیاز به مدلسازی و شبیه سازی در مراحل اولیه توسعه چرخه عمر دارند. 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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Simulation Modelling Practice and Theory - Volume 51, February 2015, Pages 69–86
نویسندگان
, , , ,