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

چکیده
لغات کلیدی
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، حساب ساعتی در شبیه سازی و جمع آوری ضروری می باشد. این مقاله یک روش جدید برای حساب ساعتی ارائه می دهد که وابستگی های داده ای را در نظر می گیرد. به این ترتیب، کد شبیه سازی می تواند مستقیما با استفاده از یک الگوریتم حرکتی عمق اول ایجاد شود. بعلاوه، روش افزودن ساعت مبتنی بر بررسی تأثیر ساعتی جهت بدست آوردن یک ساختار کنترل بهینه سازی شده ارائه شده است.