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

دانلود کتاب 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

31000 تومان موجود

کتاب سیستم های تعبیه شده توزیع شده و موازی: IFIP WG10.3/WG10.5 کارگاه بین المللی در مورد سیستم های تعبیه شده توزیع شده و موازی (DIPES 98) 5-6 اکتبر 1998 ، Schloß Eringerfeld ، آلمان نسخه زبان اصلی

دانلود کتاب سیستم های تعبیه شده توزیع شده و موازی: IFIP WG10.3/WG10.5 کارگاه بین المللی در مورد سیستم های تعبیه شده توزیع شده و موازی (DIPES 98) 5-6 اکتبر 1998 ، Schloß Eringerfeld ، آلمان بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید


این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.


امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 5


توضیحاتی در مورد کتاب 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

نام کتاب : 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
عنوان ترجمه شده به فارسی : سیستم های تعبیه شده توزیع شده و موازی: IFIP WG10.3/WG10.5 کارگاه بین المللی در مورد سیستم های تعبیه شده توزیع شده و موازی (DIPES 98) 5-6 اکتبر 1998 ، Schloß Eringerfeld ، آلمان
سری : IFIP — The International Federation for Information Processing 25
نویسندگان : , , ,
ناشر : Springer US
سال نشر : 1999
تعداد صفحات : 238
ISBN (شابک) : 9781475750065 , 9780387355702
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت



بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.

توضیحاتی در مورد کتاب :




سیستم های جاسازی شده در حال تبدیل شدن به یکی از نیروهای محرکه اصلی در علم کامپیوتر هستند. علاوه بر این، این تأثیر فناوری اطلاعات جاسازی شده است که سرعت را در بیشتر حوزه های مهندسی دیکته می کند. تقریباً تمام محصولات فنی بالاتر از سطح معینی از پیچیدگی، نه تنها کنترل می‌شوند، بلکه به طور فزاینده‌ای تحت تسلط سیستم‌های رایانه‌ای تعبیه‌شده‌شان هستند.
به طور سنتی، چنین سیستم های کنترل تعبیه شده به روشی یکپارچه و متمرکز پیاده سازی شده اند. اخیراً راه حل های توزیع شده اهمیت فزاینده ای پیدا کرده اند. در این رویکرد، وظیفه کنترل توسط تعدادی از کنترل‌کننده‌ها انجام می‌شود که در کل سیستم توزیع شده و توسط برخی از شبکه‌های متصل مانند فیلدباس متصل شده‌اند. چنین سیستم تعبیه‌شده‌ای ممکن است از چند کنترل‌کننده تا چند صد، مانند خودروهای رده بالای امروزی، تشکیل شود.
توزیع و موازی سازی در طراحی سیستم های تعبیه شده چالش های مهندسی را افزایش می دهد و به روش ها و ابزارهای توسعه جدید نیاز دارد.
این کتاب حاصل کارگاه بین المللی سیستم های جاسازی شده توزیع شده و موازی (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£
    خواندن این جلد برای محققان علوم کامپیوتر و توسعه دهندگان برنامه ضروری است.


  • فهرست مطالب :


    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

    توضیحاتی در مورد کتاب به زبان اصلی :


    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.




  • پست ها تصادفی