{"product_id":"9780792386148","title":"IFIP Advances in Information and Communication Technology: IFIP WG10.3\/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October 5–6, 1998, Schloß Eringerfeld, Germany","description":"\u003ch1\u003eIFIP Advances in Information and Communication Technology: IFIP WG10.3\/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October 5–6, 1998, Schloß Eringerfeld, Germany\u003c\/h1\u003e \u003ch2\u003eRammig, Franz J.\u003c\/h2\u003e \u003cp\u003eEmbedded 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. \u003cbr\u003e  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. \u003cbr\u003e  Distribution and parallelism in embedded systems design increase the  engineering challenges and require new development methods and tools.  \u003cbr\u003e  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. \u003cbr\u003e  The book is organized in six chapters:   \u003c\/p\u003e\u003cli\u003e`Formalisms for Embedded System Design': IP-based  system design and various approaches to multi-language formalisms.  \u003c\/li\u003e  \u003cli\u003e`Synthesis from Synchronous\/Asynchronous Specification':  Synthesis techniques based on Message Sequence Charts (MSC),  StateCharts, and Predicate\/Transition Nets. \u003c\/li\u003e  \u003cli\u003e`Partitioning and  Load-Balancing': Application in simulation models and target systems.  \u003c\/li\u003e  \u0026lt;`Verification and Validation': Formal techniques for precise  verification and more pragmatic approaches to validation.    \u003cli\u003e`Design Environments' for distributed embedded systems and their  impact on the industrial state of the art. \u003c\/li\u003e  \u003cli\u003e`Object Oriented  Approaches': Impact of OO-techniques on distributed embedded systems.  £\/LIST£ \u003cbr\u003e  This volume will be essential reading for computer science researchers  and application developers. \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1999-09-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792386148\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-387-35570-2\u003c\/p\u003e \u003cp\u003eDimensions: 234cm x156cm\u003c\/p\u003e \u003cp\u003ePages: 240\u003c\/p\u003e \u003c\/li\u003e","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45378912747660,"sku":"9780792386148","price":197.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792386148.jpg?v=1770782503","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780792386148","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}