Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October 5–6, 1998, Schloß Eringerfeld, Germany

ویرایش: 1 
نویسندگان: Daniel D. Gajski,  Rainer Dömer,  Jianwen Zhu (auth.),  Franz J. Rammig (eds.)  
سری: IFIP — The International Federation for Information Processing 25 
ISBN (شابک) : 9781475750065, 9780387355702 
ناشر: Springer US 
سال نشر: 1999 
تعداد صفحات: 238 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

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



سیستم های جاسازی شده در حال تبدیل شدن به یکی از نیروهای محرکه اصلی در علم کامپیوتر هستند. علاوه بر این، این تأثیر فناوری اطلاعات جاسازی شده است که سرعت را در بیشتر حوزه های مهندسی دیکته می کند. تقریباً تمام محصولات فنی بالاتر از سطح معینی از پیچیدگی، نه تنها کنترل می‌شوند، بلکه به طور فزاینده‌ای تحت تسلط سیستم‌های رایانه‌ای تعبیه‌شده‌شان هستند.
به طور سنتی، چنین سیستم های کنترل تعبیه شده به روشی یکپارچه و متمرکز پیاده سازی شده اند. اخیراً راه حل های توزیع شده اهمیت فزاینده ای پیدا کرده اند. در این رویکرد، وظیفه کنترل توسط تعدادی از کنترل‌کننده‌ها انجام می‌شود که در کل سیستم توزیع شده و توسط برخی از شبکه‌های متصل مانند فیلدباس متصل شده‌اند. چنین سیستم تعبیه‌شده‌ای ممکن است از چند کنترل‌کننده تا چند صد، مانند خودروهای رده بالای امروزی، تشکیل شود.
توزیع و موازی سازی در طراحی سیستم های تعبیه شده چالش های مهندسی را افزایش می دهد و به روش ها و ابزارهای توسعه جدید نیاز دارد.
این کتاب حاصل کارگاه بین المللی سیستم های جاسازی شده توزیع شده و موازی (DIPES'98) است که توسط گروه های کاری فدراسیون بین المللی پردازش اطلاعات (IFIP) 10.3 (سیستم های همزمان) و 10.5 (طراحی و مهندسی سیستم های الکترونیکی). این کارگاه در اکتبر 1998 در Schloss Eringerfeld، در نزدیکی Paderborn، آلمان برگزار شد و کتاب حاصل منعکس کننده جدیدترین نقطه نظرات کارشناسان از برزیل، فنلاند، فرانسه، آلمان، ایتالیا، پرتغال و ایالات متحده است.
این کتاب در شش فصل سازماندهی شده است:

'Formalisms for Embedded System Design': طراحی سیستم مبتنی بر IP و رویکردهای مختلف به فرمالیسم های چند زبانه.

"Synthesis from Synchronous/Asynchronous Specification": تکنیک های سنتز مبتنی بر نمودارهای دنباله پیام (MSC)، نمودارهای حالت، و شبکه های محمول/ گذار.

"پارتیشن بندی و متعادل سازی بار": کاربرد در مدل های شبیه سازی و سیستم های هدف.

<`تأیید و اعتبارسنجی: تکنیک‌های رسمی برای راستی‌آزمایی دقیق و رویکردهای عمل‌گرایانه‌تر برای اعتبارسنجی.

"محیط های طراحی" برای سیستم های تعبیه شده توزیع شده و تاثیر آنها بر وضعیت صنعتی.

"رویکردهای شی گرا": تاثیر تکنیک های OO بر سیستم های تعبیه شده توزیع شده. £/LIST£
خواندن این جلد برای محققان علوم کامپیوتر و توسعه دهندگان برنامه ضروری است.

Embedded systems are becoming one of the major driving forces in computer science. Furthermore, it is the impact of embedded information technology that dictates the pace in most engineering domains. Nearly all technical products above a certain level of complexity are not only controlled but increasingly even dominated by their embedded computer systems.
Traditionally, such embedded control systems have been implemented in a monolithic, centralized way. Recently, distributed solutions are gaining increasing importance. In this approach, the control task is carried out by a number of controllers distributed over the entire system and connected by some interconnect network, like fieldbuses. Such a distributed embedded system may consist of a few controllers up to several hundred, as in today's top-range automobiles.
Distribution and parallelism in embedded systems design increase the engineering challenges and require new development methods and tools.
This book is the result of the International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), organized by the International Federation for Information Processing (IFIP) Working Groups 10.3 (Concurrent Systems) and 10.5 (Design and Engineering of Electronic Systems). The workshop took place in October 1998 in Schloss Eringerfeld, near Paderborn, Germany, and the resulting book reflects the most recent points of view of experts from Brazil, Finland, France, Germany, Italy, Portugal, and the USA.
The book is organized in six chapters:

`Formalisms for Embedded System Design': IP-based system design and various approaches to multi-language formalisms.

`Synthesis from Synchronous/Asynchronous Specification': Synthesis techniques based on Message Sequence Charts (MSC), StateCharts, and Predicate/Transition Nets.

`Partitioning and Load-Balancing': Application in simulation models and target systems.

<`Verification and Validation': Formal techniques for precise verification and more pragmatic approaches to validation.

`Design Environments' for distributed embedded systems and their impact on the industrial state of the art.

`Object Oriented Approaches': Impact of OO-techniques on distributed embedded systems. £/LIST£
This volume will be essential reading for computer science researchers and application developers.

Front Matter....Pages i-ix
Front Matter....Pages 1-1
IP-Centric Methodology and Specification Language....Pages 3-21
Multilanguage Design....Pages 23-36
Front Matter....Pages 37-37
From Synchronous Specifications to Asynchronous Distributed Implementations....Pages 39-49
Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems....Pages 51-60
From MSCS to Statecharts....Pages 61-71
Software Synthesis from Statechart Models for Real Time Systems....Pages 73-81
Front Matter....Pages 83-83
Combining Static Partitioning with Dynamic Distribution of Threads....Pages 85-96
Distributed HIL Simulation for the Design of Decentralized Control Structures....Pages 97-106
Distributed HIL Simulation of Mechatronic Systems Applied to an Agricultural Machine....Pages 107-116
Agent-Based Load Balancing for Mobile Robot Applications....Pages 117-126
Front Matter....Pages 127-127
Comparing Model Checking and Term Rewriting for the Verification of an Embedded System....Pages 129-138
Microscopic Modeling of Support System for In-Vehicle Embedded Systems....Pages 139-148
Extended SDL-Based Tools for Rapid Prototyping of Application Specific Signal Processors....Pages 149-156
Block Diagram Based Real-Time Simulation on a Network of Alpha Processors and C40 DSPS....Pages 157-166
Front Matter....Pages 167-167
The Dase Tool: An Environment for the Development of Real-Time Applications....Pages 169-179
PARADISE: Design Environment for Para llel & Dis tributed , E mbedded Real-Time Systems ....Pages 181-190
MCI — Multilanguage Distributed Co-Simulation Tool....Pages 191-200
Front Matter....Pages 201-201
Rapid Prototyping of Distributed Mechatronic Applications....Pages 203-212
An OO Based Methodology for Real-Time Hw/Sw Systems Modeling....Pages 213-222
Modeling Distributed State as an Abstract Object....Pages 223-230
Front Matter....Pages 201-201
Design Rationale of the Pure Object-Oriented Embedded Operating System....Pages 231-240