چکیده

سیستم های بلادرنگ فراگیر می شوند. مثال هایی از نمونه سیستم های بلادرنگ شامل سیستم های چندرسانه ای وابسته به شبکه سیستم های کنترل هوایی و سیستم های نظارت می باشند. دریک سیستم زمان فوری ، درستی رفتار سیستم نه تنها به نتایج منطقی بستگی دارد، بلکه بستگی به ضرورت فیزیکی آن هم دارد، که این ها نتایج تولید شده هستند...................