برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Real-Time Embedded Systems

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

مشخصات کتاب

Real-Time Embedded Systems

دسته بندی: سیستم های عامل
ویرایش: 1 
نویسندگان: Jiacun Wang  
سری: Quantitative Software Engineering Series 
ISBN (شابک) : 1118116178, 9781118116173 
ناشر: Wiley 
سال نشر: 2017 
تعداد صفحات: 320 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

قیمت کتاب (تومان) : 42,000

کلمات کلیدی مربوط به کتاب سیستم های جاسازی شده در زمان واقعی: سخت‌افزار، همزمانی، مدیریت حافظه، مدیریت دسترسی، میکروکنترلرها، اجزای الکترونیکی، حسگرها، مدیریت فرآیند، سیستم‌های جاسازی شده، خودکارهای حالت محدود، ریزپردازنده‌ها، سیستم‌های زمان واقعی، زمان‌بندی وظایف، اشتراک‌گذاری منابع، UML، شبکه‌های پتری

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 12

در صورت تبدیل فایل کتاب Real-Time Embedded Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سیستم های جاسازی شده در زمان واقعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب سیستم های جاسازی شده در زمان واقعی

ارائه پوشش جامع از همگرایی زمان‌بندی سیستم‌های جاسازی شده در زمان واقعی، کنترل دسترسی به منابع، طراحی و توسعه نرم‌افزار، و مدل‌سازی، تجزیه و تحلیل و تأیید سیستم در سطح بالا دکتر وانگ پس از یک مرور کلی مقدماتی، به جزئیات اجزای سخت افزاری، از جمله پردازنده ها، حافظه، دستگاه ها و معماری های ورودی/خروجی، ساختارهای ارتباطی، لوازم جانبی و ویژگی های سیستم عامل های بلادرنگ می پردازد. فصل‌های بعدی به الگوریتم‌های زمان‌بندی کار در زمان واقعی و سیاست‌های کنترل دسترسی به منابع، و همچنین کنترل وارونگی اولویت و اجتناب از بن‌بست اختصاص داده شده است. برنامه نویسی سیستم همزمان و برنامه نویسی POSIX برای سیستم های بلادرنگ، و همچنین ماشین های حالت محدود و شبکه های پتری تایم پوشش داده شده است. فصلی که به بررسی مدل اختصاص داده شده است، مورد توجه ویژه مهندسین نرم افزار خواهد بود، که در آن نویسنده به بحث منطق زمانی و ابزار بررسی مدل NuSMV می پردازد، و همچنین فصلی را که طراحی نرم افزار بلادرنگ با UML را مورد بررسی قرار می دهد. بخش پایانی کتاب به بررسی مسائل عملی قابلیت اطمینان نرم‌افزار، پیری، جوان‌سازی، امنیت، ایمنی و مدیریت انرژی می‌پردازد. علاوه بر این، کتاب: • مدل‌سازی و طراحی نرم‌افزار تعبیه‌شده در زمان واقعی را با ماشین‌های حالت محدود، شبکه‌های پتری و UML و تأیید محدودیت‌های بلادرنگ با ابزار بررسی مدل، NuSMV، توضیح می‌دهد. • دارای نمونه‌های دنیای واقعی در ماشین‌های حالت محدود، بررسی مدل، طراحی سیستم بلادرنگ با UML، و موارد دیگر • برنامه ریزی کامپیوتری تعبیه شده، طراحی برای قابلیت اطمینان، و طراحی برای ایمنی را پوشش می دهد • نحوه ایجاد معاوضه مهندسی بین مصرف توان و عملکرد را توضیح می دهد • مسائل عملی مربوط به قابلیت اطمینان نرم افزار، پیری، جوان سازی، امنیت و مدیریت توان را بررسی می کند Real-Time Embedded Systems یک منبع ارزشمند برای کسانی است که مسئول طراحی، توسعه و مدیریت نرم افزارهای جاسازی شده و بلادرنگ هستند. همچنین یک کتاب درسی عالی برای دوره های تحصیلات تکمیلی در مهندسی کامپیوتر، علوم کامپیوتر، فناوری اطلاعات و مهندسی نرم افزار در سیستم های نرم افزاری جاسازی شده و بلادرنگ، و برای دوره های کارشناسی کامپیوتر و مهندسی نرم افزار است.

توضیحاتی درمورد کتاب به خارجی

Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification Following an introductory overview, Dr. Wang delves into the specifics of hardware components, including processors, memory, I/O devices and architectures, communication structures, peripherals, and characteristics of real-time operating systems. Later chapters are dedicated to real-time task scheduling algorithms and resource access control policies, as well as priority-inversion control and deadlock avoidance. Concurrent system programming and POSIX programming for real-time systems are covered, as are finite state machines and Time Petri nets. Of special interest to software engineers will be the chapter devoted to model checking, in which the author discusses temporal logic and the NuSMV model checking tool, as well as a chapter treating real-time software design with UML. The final portion of the book explores practical issues of software reliability, aging, rejuvenation, security, safety, and power management. In addition, the book: • Explains real-time embedded software modeling and design with finite state machines, Petri nets, and UML, and real-time constraints verification with the model checking tool, NuSMV • Features real-world examples in finite state machines, model checking, real-time system design with UML, and more • Covers embedded computer programing, designing for reliability, and designing for safety • Explains how to make engineering trade-offs of power use and performance • Investigates practical issues concerning software reliability, aging, rejuvenation, security, and power management Real-Time Embedded Systems is a valuable resource for those responsible for real-time and embedded software design, development, and management. It is also an excellent textbook for graduate courses in computer engineering, computer science, information technology, and software engineering on embedded and real-time software systems, and for undergraduate computer and software engineering courses.