دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات کاربردی ویرایش: 1 نویسندگان: Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg سری: ISBN (شابک) : 1402081480, 9781402081491 ناشر: سال نشر: 2004 تعداد صفحات: 339 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
در صورت تبدیل فایل کتاب Design Methods and Applications for Distributed Embedded Systems (IFIP International Federation for Information Processing) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش ها و کاربردهای طراحی برای سیستم های جاسازی شده توزیع شده (فدراسیون بین المللی پردازش اطلاعات IFIP) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
نسبت قیمت/عملکرد رو به کاهش میکروکنترلرها، جایگزینی بیشتر و بیشتر سیستمهای کنترل مکانیکی یا الکترونیکی مرسوم در بسیاری از محصولات را با سیستمهای رایانهای همزمان از نظر اقتصادی جذاب میکند. یک سیستم کامپیوتری بیدرنگ جاسازی شده همیشه بخشی از یک سیستم بزرگتر است که به خوبی مشخص شده است، که ما آن را یک محصول هوشمند مینامیم. اگرچه بیشتر محصولات هوشمند به عنوان واحدهای مستقل شروع به کار می کنند، اما بسیاری از آنها باید در مراحل بعدی با سیستم های دیگر تعامل داشته باشند. در حال حاضر، بسیاری از صنایع در میانه این گذار از محصولات مستقل به سیستم های تعبیه شده تحت شبکه هستند. این انتقال نیاز به تأمل و معماری دارد: پیچیدگی مصنوع توزیع شده در حال تکامل تنها در صورتی قابل کنترل است که برنامه ریزی دقیق و روش های طراحی اصولی جایگزین مهندسی موقت نسخه اول بسیاری از محصولات تعبیه شده مستقل شود. روشها و کاربردهای طراحی برای سیستمهای جاسازی شده توزیعشده، رویکردها و نتایج اخیر ارائهشده در کنفرانس کاری IFIP TC10 در مورد سیستمهای جاسازی شده توزیعشده و موازی (DIPES 2004)، که در آگوست 2004 به عنوان کنفرانس مشترک هجدهمین کنگره جهانی کامپیوتر IFIP برگزار شد را مستند میکند. در تولوز، فرانسه، و توسط فدراسیون بین المللی پردازش اطلاعات (IFIP) حمایت می شود. موضوعاتی که برای این کنفرانس کاری انتخاب شدهاند بسیار به موقع هستند: روشهای طراحی مبتنی بر مدل، کاوش فضای طراحی، متدولوژیهای طراحی و رابطهای کاربری، شبکهها و ارتباطات، زمانبندی و مدیریت منابع، تشخیص خطا و تحمل خطا، و تأیید و تحلیل. این موضوعات توسط چندین مقاله سخت افزاری و کاربردی تکمیل شده است.
The ever decreasing price/performance ratio of microcontrollers makes it economically attractive to replace more and more conventional mechanical or electronic control systems within many products by embedded real-time computer systems. An embedded real-time computer system is always part of a well-specified larger system, which we call an intelligent product. Although most intelligent products start out as stand-alone units, many of them are required to interact with other systems at a later stage. At present, many industries are in the middle of this transition from stand-alone products to networked embedded systems. This transition requires reflection and architecting: the complexity of the evolving distributed artifact can only be controlled if careful planning and principled design methods replace the ad-hoc engineering of the first version of many standalone embedded products. Design Methods and Applications for Distributed Embedded Systems documents recent approaches and results presented at the IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), which was held in August 2004 as a co-located conference of the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP). The topics which have been chosen for this working conference are very timely: model-based design methods, design space exploration, design methodologies and user interfaces, networks and communication, scheduling and resource management, fault detection and fault tolerance, and verification and analysis. These topics are supplemented by several hardware and application oriented papers.
MDA Platform for Complex Embedded Systems Development....Pages 1-10
On Detecting Deadlocks in Large UML Models....Pages 11-20
Verification Framework for UML-Based Design of Embedded Systems....Pages 21-30
LTL’s Intuitive Representations and Its Automaton Translation....Pages 31-42
Modeling and Verification of Hybrid Systems Based on Equations....Pages 43-52
Distribution of Time Interval Between Successive Interrupt Requests....Pages 53-62
A Membership Agreement Algorithm Detecting and Tolerating Asymmetric Timing Faults....Pages 63-72
Temporal Bounds for TTA : Validation....Pages 73-82
An Active Replication Scheme That Tolerates Failures in Distributed Embedded Real-Time Systems....Pages 83-92
Development of Distributed Automotive Software....Pages 93-102
Experiences from Model Based Development of Drive-By-Wire Control Systems....Pages 103-112
Hardware Design and Protocol Specification for the Control and Communication Within a Mechatronic System....Pages 113-122
A Decentralized Self-Organized Approach for Wireless Sensor Networks....Pages 123-132
A Software Architecture and Supporting Kernel for Largely Synchronously Operating Sensor Networks....Pages 133-144
Adaptive Bus Encoding Schemes for Power-Efficient Data Transfer in DSM Environments....Pages 145-156
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems....Pages 157-166
Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions....Pages 167-176
Flexible Resource Management....Pages 177-186
Automatic Synthesis of SystemC-Code from Formal Specifications....Pages 187-196
Hardware Synthesis of A Parallel JPEG Decoder from Its Functional Specification....Pages 197-206
A Self-Controlled and Dynamically Reconfigurable Architecture....Pages 207-216
Profiling Specification Pearl Designs....Pages 217-226
A Multiobjective Tabu Search Algorithm for The Design Space Exploration of Embedded Systems....Pages 227-236
Design Space Exploration with Automatic Generation of IP-Based Embedded Software....Pages 237-246
A Multi-Level Design Pattern for Embedded Software....Pages 247-256
A Petri Net Approach for The Design of Dynamically Modifiable Embedded Systems....Pages 257-266
Internet Premium Services for Flexible Format Distributed Devices....Pages 267-276
Evaluating High-Level Models for Real Time Embedded Systems Design....Pages 277-286
A Dataflow Language (AVON) as an Architecture Description Language (ADL)....Pages 287-296
Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines....Pages 297-306
The Implications of Real-Time Behavior in Networks-on-Chip Architectures....Pages 307-316
ME64 - A Parallel Hardware Architecture for Motion Estimation Implemented in FPGA....Pages 317-326