دانلود کتاب Architecture and Design of Distributed Embedded Systems: IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) October 18–19, 2000, Schloß Eringerfeld, Germany
کتاب معماری و طراحی سیستم های جاسازی شده توزیع شده: کارگاه بین المللی IFIP WG10.3/WG10.4/WG10.5 در مورد سیستم های جاسازی شده توزیع شده و موازی (DIPES 2000) 18 تا 19 اکتبر 2000، Schloß Eringerfeld، آلمان نسخه زبان اصلی
دانلود کتاب معماری و طراحی سیستم های جاسازی شده توزیع شده: کارگاه بین المللی IFIP WG10.3/WG10.4/WG10.5 در مورد سیستم های جاسازی شده توزیع شده و موازی (DIPES 2000) 18 تا 19 اکتبر 2000، Schloß Eringerfeld، آلمان بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Architecture and Design of Distributed Embedded Systems: IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) October 18–19, 2000, Schloß Eringerfeld, Germany
نام کتاب : Architecture and Design of Distributed Embedded Systems: IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) October 18–19, 2000, Schloß Eringerfeld, Germany
ویرایش : 1
عنوان ترجمه شده به فارسی : معماری و طراحی سیستم های جاسازی شده توزیع شده: کارگاه بین المللی IFIP WG10.3/WG10.4/WG10.5 در مورد سیستم های جاسازی شده توزیع شده و موازی (DIPES 2000) 18 تا 19 اکتبر 2000، Schloß Eringerfeld، آلمان
سری : IFIP — The International Federation for Information Processing 61
نویسندگان : R. J. Machado, J. M. Fernandes, H. D. Santos (auth.), Bernd Kleinjohann (eds.)
ناشر : Springer US
سال نشر : 2001
تعداد صفحات : 237
ISBN (شابک) : 9781475745351 , 9780387354095
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 11 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
به دلیل کاهش هزینه‌های تولید سیستم‌های فناوری اطلاعات، برنامه‌هایی که قبلاً باید به عنوان PCB گران قیمت شناخته می‌شدند، اکنون می‌توانند به عنوان یک سیستم روی تراشه قابل اجرا باشند. علاوه بر این، رسانه های ارتباطی پهن باند کم هزینه برای ارتباطات گسترده و همچنین برای تحقق سیستم های توزیع شده محلی در دسترس هستند. به طور معمول بازار به سیستم‌های فناوری اطلاعات نیاز دارد که مجموعه‌ای از ویژگی‌های خاص را برای کاربر نهایی در یک محیط معین، به اصطلاح سیستم‌های تعبیه‌شده، تحقق بخشند. برخی از نمونه‌هایی برای چنین سیستم‌های تعبیه‌شده عبارتند از سیستم‌های کنترل در اتومبیل‌ها، هواپیماها، خانه‌ها یا کارخانه‌ها، دستگاه‌های اطلاعاتی و ارتباطی مانند تلویزیون دیجیتال، تلفن‌های همراه یا سیستم‌های مستقل مانند روبات‌های خدماتی یا آموزشی.
برای طراحی سیستم های تعبیه شده، طراح باید به سه جنبه اصلی بپردازد:
- خود برنامه شامل رابط انسان و ماشین،
- معماری (هدف) سیستم شامل تمام محدودیت های عملکردی و غیر عملکردی و
- روش طراحی شامل مدل سازی، مشخصات، سنتز، آزمون و اعتبار سنجی.
این کتاب رویکردها و نتایج با کیفیت بالا را که در کارگاه بین‌المللی سیستم‌های جاسازی شده توزیع‌شده و موازی (DIPES 2000) ارائه شد، که توسط فدراسیون بین‌المللی پردازش اطلاعات (IFIP) حمایت مالی شد و توسط IFIP Working سازماندهی شد، مستند می‌کند. گروه های WG10.3، WG10.4 و WG10.5. این کارگاه در 18 تا 19 اکتبر 2000 در Schloß Eringerfeld نزدیک پادربورن آلمان برگزار شد.
معماری و طراحی سیستم های جاسازی شده توزیع شده مشابه این کارگاه سازماندهی شده است. فصل های 1 و 4 (روش شناسی I و II) به الگوهای مختلف مدل سازی و مشخصات و روش های طراحی مربوطه می پردازد. معماری سیستم های عمومی برای کلاس های مختلف سیستم های جاسازی شده در فصل 2 ارائه شده است. در فصل 3 چندین محیط طراحی برای پشتیبانی از روش های طراحی خاص ارائه شده است. مسائل مربوط به تست و اعتبارسنجی در فصل 5 مورد بحث قرار می گیرد. دو فصل آخر شامل جنبه های توزیع و ارتباط (فصل 6) و تکنیک های ترکیب برای سیستم های تعبیه شده (فصل 7) است.
خواندن این کتاب برای محققان علوم کامپیوتر و توسعه دهندگان برنامه ضروری است.
فهرست مطالب :
Front Matter....Pages i-ix
A Methodology for Complex Embedded Systems Design....Pages 1-10
Efficient System Modeling of Complex Real-Time Industrial Networks Using the ACCORD/UML Methodology....Pages 11-21
Analog/Digital Co-Design....Pages 23-32
A Design Methodology for Embedded Systems Based on Multiple Processors....Pages 33-42
An Architecture for Reliable Distributed Computer-Controlled Systems....Pages 43-52
Generic Architecture Platform for Multiprocessor System-on-Chip Design....Pages 53-63
JPURE — A Purified Java Execution Environment for Controller Networks....Pages 65-73
Optimizing Functional Distribution in Complex System Design....Pages 75-85
Customizing Software Toolkits for Embedded Systems-on-Chip....Pages 87-97
Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-on-Chip....Pages 99-110
The Specification Language SpecC within the PARADISE Design Environment....Pages 111-120
Real-Time Support for Online Controller Supervision and Optimisation....Pages 121-130
A Product Family Approach to Graceful Degradation....Pages 131-140
Environment Modelling in Closed Specifications of Embedded Systems....Pages 141-150
Test Case Design for the Validation of Component-Based Embedded Systems....Pages 151-160
Timing Constraints Validation Using Uppaal....Pages 161-171
A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems....Pages 173-182
Deriving Message Passing Protocols from Collective Behavior....Pages 183-192
Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems....Pages 193-203
A Verified Hardware Synthesis of Esterel Programs....Pages 205-214
EXPLORA — Generic Design Space Exploration During Embedded System Synthesis....Pages 215-225
Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System....Pages 227-236
توضیحاتی در مورد کتاب به زبان اصلی :
Due to the decreasing production costs of IT systems, applications that had to be realised as expensive PCBs formerly, can now be realised as a system-on-chip. Furthermore, low cost broadband communication media for wide area communication as well as for the realisation of local distributed systems are available. Typically the market requires IT systems that realise a set of specific features for the end user in a given environment, so called embedded systems. Some examples for such embedded systems are control systems in cars, airplanes, houses or plants, information and communication devices like digital TV, mobile phones or autonomous systems like service- or edutainment robots.
For the design of embedded systems the designer has to tackle three major aspects:
- The application itself including the man-machine interface,
- The (target) architecture of the system including all functional and non-functional constraints and,
- the design methodology including modelling, specification, synthesis, test and validation.
This book documents the high quality approaches and results that were presented at the International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), which was sponsored by the International Federation for Information Processing (IFIP), and organised by IFIP working groups WG10.3, WG10.4 and WG10.5. The workshop took place on October 18-19, 2000, in Schloß Eringerfeld near Paderborn, Germany.
Architecture and Design of Distributed Embedded Systems is organised similar to the workshop. Chapters 1 and 4 (Methodology I and II) deal with different modelling and specification paradigms and the corresponding design methodologies. Generic system architectures for different classes of embedded systems are presented in Chapter 2. In Chapter 3 several design environments for the support of specific design methodologies are presented. Problems concerning test and validation are discussed in Chapter 5. The last two chapters include distribution and communication aspects (Chapter 6) and synthesis techniques for embedded systems (Chapter 7).
This book is essential reading for computer science researchers and application developers.
پست ها تصادفی