کتاب مقدمه ای بر سیستم های نهفته-رویکرد سیستم های سایبر- فیزیکی و نگاهی بر ملاحظات بی درنگ

کتاب مقدمه ای بر سیستم های نهفته-رویکرد سیستم های سایبر- فیزیکی و نگاهی بر ملاحظات بی درنگ

کتاب مقدمه ای بر سیستم های نهفته-رویکرد سیستم های سایبر- فیزیکی و نگاهی بر ملاحظات بی درنگ

فهرست مطالب

فصل 1 مقدمه

بخش اول / مدلسازي رفتارهاي ديناميك
فصل2: ديناميك هاي پيوسته
فصل3 :ديناميك هاي گسسته
فصل4: سيستم هاي هيبريدي
فصل 5:تركيب ماشين هاي حالت
فصل 6:مدل هاي همروند محاسباتي

بخش دوم / طراحي سيستم هاي نهفته

فصل7: پردازنده هاي نهفته
فصل 8:معماري هاي حافظه
فصل 9:ورودي و خروجي
فصل10: چند وظيفه اي
فصل 11 :زمانبندي
فصل 12:سيستم عامل هاي نهفته و ميان افزارها

بخش سوم / آناليز و صحت سنجي
فصل13: نامتغيرها و منطق زماني
فصل 14:هم ارزي و پالايش
فصل 15:آناليز دسترس پذيري و وارسي مدل
فصل 16: آناليز كمي
بخش چهارم / پيوست ها
پيوست  .الف .مجموعه ها و پیوست ها
پيوست.ب.پيچيدگي و محاسبه پذيري