توضیحات
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.
————————————————————–
ترجمه ماشینی :
ارائه پوشش جامعی از همگرایی زمانبندی سیستمهای جاسازی شده در زمان واقعی، کنترل دسترسی به منابع، طراحی و توسعه نرمافزار، و مدلسازی، تجزیه و تحلیل و تأیید سیستم در سطح بالا \ پس از بررسی مقدماتی، دکتر وانگ به جزئیات اجزای سختافزاری میپردازد. از جمله پردازنده ها، حافظه، دستگاه ها و معماری های ورودی/خروجی، ساختارهای ارتباطی، تجهیزات جانبی و ویژگی های سیستم عامل های بلادرنگ. فصلهای بعدی به الگوریتمهای زمانبندی کار در زمان واقعی و سیاستهای کنترل دسترسی به منابع، و همچنین کنترل وارونگی اولویت و اجتناب از بنبست اختصاص داده شده است. برنامه نویسی سیستم همزمان و برنامه نویسی POSIX برای سیستم های بلادرنگ، و همچنین ماشین های حالت محدود و شبکه های پتری تایم پوشش داده شده است. فصلی که به بررسی مدل اختصاص داده شده است، مورد توجه ویژه مهندسین نرم افزار خواهد بود، که در آن نویسنده به بحث منطق زمانی و ابزار بررسی مدل NuSMV می پردازد، و همچنین فصلی را که طراحی نرم افزار بلادرنگ با UML را مورد بررسی قرار می دهد. بخش پایانی کتاب به بررسی مسائل عملی قابلیت اطمینان نرمافزار، پیری، جوانسازی، امنیت، ایمنی و مدیریت انرژی میپردازد. علاوه بر این، کتاب: \ مدل سازی و طراحی نرم افزار جاسازی شده در زمان واقعی را با ماشین های حالت محدود، شبکه های پتری و UML و تأیید محدودیت های بلادرنگ با ابزار بررسی مدل، NuSMV / مثال های دنیای واقعی را در حالت محدود توضیح می دهد. ماشینها، بررسی مدل، طراحی سیستم بلادرنگ با UML، و موارد دیگر برنامهنویسی رایانهای تعبیهشده، طراحی برای قابلیت اطمینان و طراحی برای ایمنی را پوشش میدهد نحوه ایجاد معاوضه مهندسی مصرف برق و عملکرد را توضیح میدهد مسائل کاربردی در مورد قابلیت اطمینان نرمافزار را بررسی میکند. , پیری, جوان سازی, امنیت و مدیریت توان \ سیستم های جاسازی شده Real-Time منبع ارزشمندی برای کسانی است که مسئول طراحی، توسعه و مدیریت نرم افزارهای جاسازی شده و بلادرنگ هستند. همچنین یک کتاب درسی عالی برای دوره های تحصیلات تکمیلی در مهندسی کامپیوتر، علوم کامپیوتر، فناوری اطلاعات و مهندسی نرم افزار در سیستم های نرم افزاری جاسازی شده و بلادرنگ، و برای دوره های کارشناسی کامپیوتر و مهندسی نرم افزار است.
tag : دانلود کتاب سیستم های جاسازی شده در زمان واقعی , Download سیستم های جاسازی شده در زمان واقعی , دانلود سیستم های جاسازی شده در زمان واقعی , Download Real-Time Embedded Systems Book , سیستم های جاسازی شده در زمان واقعی دانلود , buy سیستم های جاسازی شده در زمان واقعی , خرید کتاب سیستم های جاسازی شده در زمان واقعی , دانلود کتاب Real-Time Embedded Systems , کتاب Real-Time Embedded Systems , دانلود Real-Time Embedded Systems , خرید Real-Time Embedded Systems , خرید کتاب Real-Time Embedded Systems ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.