Automation and Embedded Systems

Effizienzsteigerung Im Engineering

Author: Birgit Vogel-Heuser

Publisher: kassel university press GmbH

ISBN: 3899586018

Category: Automation

Page: 123

View: 3229

Embedded Systems Handbook, Second Edition

Networked Embedded Systems

Author: Richard Zurawski

Publisher: CRC Press

ISBN: 9781439807620

Category: Technology & Engineering

Page: 837

View: 3972

Considered a standard industry resource, the Embedded Systems Handbook provided researchers and technicians with the authoritative information needed to launch a wealth of diverse applications, including those in automotive electronics, industrial automated systems, and building automation and control. Now a new resource is required to report on current developments and provide a technical reference for those looking to move the field forward yet again. Divided into two volumes to accommodate this growth, the Embedded Systems Handbook, Second Edition presents a comprehensive view on this area of computer engineering with a currently appropriate emphasis on developments in networking and applications. Those experts directly involved in the creation and evolution of the ideas and technologies presented offer tutorials, research surveys, and technology overviews that explore cutting-edge developments and deployments and identify potential trends. This second self-contained volume of the handbook, Network Embedded Systems, focuses on select application areas. It covers automotive field, industrial automation, building automation, and wireless sensor networks. This volume highlights implementations in fast-evolving areas which have not received proper coverage in other publications. Reflecting the unique functional requirements of different application areas, the contributors discuss inter-node communication aspects in the context of specific applications of networked embedded systems. Those looking for guidance on preliminary design of embedded systems should consult the first volume: Embedded Systems Design and Verification.

Embedded Systems Handbook, Second Edition 2-Volume Set

Author: Richard Zurawski

Publisher: CRC Press

ISBN: 9781420074109

Category: Technology & Engineering

Page: 1503

View: 9160

During the past few years there has been an dramatic upsurge in research and development, implementations of new technologies, and deployments of actual solutions and technologies in the diverse application areas of embedded systems. These areas include automotive electronics, industrial automated systems, and building automation and control. Comprising 48 chapters and the contributions of 74 leading experts from industry and academia, the Embedded Systems Handbook, Second Edition presents a comprehensive view of embedded systems: their design, verification, networking, and applications. The contributors, directly involved in the creation and evolution of the ideas and technologies presented, offer tutorials, research surveys, and technology overviews, exploring new developments, deployments, and trends. To accommodate the tremendous growth in the field, the handbook is now divided into two volumes. New in This Edition: Processors for embedded systems Processor-centric architecture description languages Networked embedded systems in the automotive and industrial automation fields Wireless embedded systems Embedded Systems Design and Verification Volume I of the handbook is divided into three sections. It begins with a brief introduction to embedded systems design and verification. The book then provides a comprehensive overview of embedded processors and various aspects of system-on-chip and FPGA, as well as solutions to design challenges. The final section explores power-aware embedded computing, design issues specific to secure embedded systems, and web services for embedded devices. Networked Embedded Systems Volume II focuses on selected application areas of networked embedded systems. It covers automotive field, industrial automation, building automation, and wireless sensor networks. This volume highlights implementations in fast-evolving areas which have not received proper coverage in other publications. Reflecting the unique functional requirements of different application areas, the contributors discuss inter-node communication aspects in the context of specific applications of networked embedded systems.

Embedded System Design

Modeling, Synthesis and Verification

Author: Daniel D. Gajski,Samar Abdi,Andreas Gerstlauer,Gunar Schirner

Publisher: Springer Science & Business Media

ISBN: 1441905049

Category: Technology & Engineering

Page: 352

View: 2013

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level architectures, embedded software and hardware components. Using these methods, designers can develop applications with high level models, which are automatically translatable to low level implementations. This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. The book concludes with an overview of existing tools along with a design case study outlining the practice of embedded system design. Specifically, this book addresses the following topics in detail: . System modeling at different abstraction levels . Model-based system design . Hardware/Software codesign . Software and Hardware component synthesis . System verification This book is for groups within the embedded system community: students in courses on embedded systems, embedded application developers, system designers and managers, CAD tool developers, design automation, and system engineering.

Languages for Embedded Systems and their Applications

Selected Contributions on Specification, Design, and Verification from FDL'08

Author: Martin Radetzki

Publisher: Springer Science & Business Media

ISBN: 140209714X

Category: Technology & Engineering

Page: 324

View: 7025

Embedded systems take over complex control and data processing tasks in diverse application ?elds such as automotive, avionics, consumer products, and telec- munications. They are the primary driver for improving overall system safety, ef?ciency, and comfort. The demand for further improvement in these aspects can only be satis?ed by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on speci?cation, design, and veri?cation languages. The objective of the book at hand is to provide researchers and designers with an overview of current research trends, results, and application experiences in c- puter languages for embedded systems. The book builds upon the most relevant contributions to the 2008 conference Forum on Design Languages (FDL), the p- mier international conference specializing in this ?eld. These contributions have been selected based on the results of reviews provided by leading experts from - search and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.

IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design

Author: Valeriy Vyatkin

Publisher: Isa

ISBN: 9780979234309

Category: Technology & Engineering

Page: 279

View: 2528

IEC 61499 is the newly adopted standard for distributed control systems and follows on from the IEC 61131 standard for programmable logic controllers (PLC). Part of the ISA/O3neida series on distributed industrial automation, this book is a practical guide for component-based development of distributed embedded and control systems as proposed by the new international standard. Each chapter is designed as an independent study unit, making the book ideal for use in university courses, industrial training, or self-study. Working knowledge of the IEC 61499 standard can be achieved in approximately 10 to 15 learning hours. For the control, automation, or software engineer and the embedded systems developer, this book provides concrete directions on how to specify and implement a distributed system according to the IEC 61499 standard and how to create an IEC 61499-compliant control device. The text also sheds some light on the broader embedded systems arena since the IEC 61499 standard provides the higher level (yet executable!) abstraction appropriate for model-based engineering of distributed embedded systems.

Design, Automation, and Test in Europe

The Most Influential Papers of 10 Years DATE

Author: Rudy Lauwereins,Jan Madsen

Publisher: Springer Science & Business Media

ISBN: 9781402064883

Category: Technology & Engineering

Page: 516

View: 7883

In 2007 The Design, Automation and Test in Europe (DATE) conference celebrated its tenth anniversary. As a tribute to the chip and system-level design and design technology community, this book presents a compilation of the three most influential papers of each year. This provides an excellent historical overview of the evolution of a domain that contributed substantially to the growth and competitiveness of the circuit electronics and systems industry.

Advanced Techniques for Embedded Systems Design and Test

Author: Juan C. López,Román Hermida,Walter Geisselhardt

Publisher: Springer Science & Business Media

ISBN: 1475744196

Category: Computers

Page: 290

View: 1944

As electronic technology reaches the point where complex systems can be integrated on a single chip, and higher degrees of performance can be achieved at lower costs, designers must devise new ways to undertake the laborious task of coping with the numerous, and non-trivial, problems that arise during the conception of such systems. On the other hand, shorter design cycles (so that electronic products can fit into shrinking market windows) put companies, and consequently designers, under pressure in a race to obtain reliable products in the minimum period of time. New methodologies, supported by automation and abstraction, have appeared which have been crucial in making it possible for system designers to take over the traditional electronic design process and embedded systems is one of the fields that these methodologies are mainly targeting. The inherent complexity of these systems, with hardware and software components that usually execute concurrently, and the very tight cost and performance constraints, make them specially suitable to introduce higher levels of abstraction and automation, so as to allow the designer to better tackle the many problems that appear during their design. Advanced Techniques for Embedded Systems Design and Test is a comprehensive book presenting recent developments in methodologies and tools for the specification, synthesis, verification, and test of embedded systems, characterized by the use of high-level languages as a road to productivity. Each specific part of the design process, from specification through to test, is looked at with a constant emphasis on behavioral methodologies. Advanced Techniques for Embedded Systems Design and Test is essential reading for all researchers in the design and test communities as well as system designers and CAD tools developers.

The Industrial Information Technology Handbook

Author: Richard Zurawski

Publisher: CRC Press

ISBN: 9781420036336

Category: Computers

Page: 1936

View: 1051

The Industrial Information Technology Handbook focuses on existing and emerging industrial applications of IT, and on evolving trends that are driven by the needs of companies and by industry-led consortia and organizations. Emphasizing fast growing areas that have major impacts on industrial automation and enterprise integration, the Handbook covers topics such as industrial communication technology, sensors, and embedded systems. The book is organized into two parts. Part 1 presents material covering new and quickly evolving aspects of IT. Part 2 introduces cutting-edge areas of industrial IT. The Handbook presents material in the form of tutorials, surveys, and technology overviews, combining fundamentals and advanced issues, with articles grouped into sections for a cohesive and comprehensive presentation. The text contains 112 contributed reports by industry experts from government, companies at the forefront of development, and some of the most renowned academic and research institutions worldwide. Several of the reports on recent developments, actual deployments, and trends cover subject matter presented to the public for the first time.

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Author: S. Ramesh,P. Sampath

Publisher: Springer Science & Business Media

ISBN: 1402062540

Category: Technology & Engineering

Page: 300

View: 8810

This volume is the proceedings of a workshop organized by General Motors research and development laboratory in Bangalore, India. It was the first of its kind to be run by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. It covered all areas of embedded systems development.

Model-Based Testing for Embedded Systems

Author: Justyna Zander,Ina Schieferdecker,Pieter J. Mosterman

Publisher: CRC Press

ISBN: 135183391X

Category: Computers

Page: 688

View: 5368

What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems. "It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students." —Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA "This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems." —Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway "As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today." —Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing

Model-Based Design for Embedded Systems

Author: Gabriela Nicolescu,Pieter J. Mosterman

Publisher: CRC Press

ISBN: 9781420067859

Category: Computers

Page: 766

View: 1654

The demands of increasingly complex embedded systems and associated performance computations have resulted in the development of heterogeneous computing architectures that often integrate several types of processors, analog and digital electronic components, and mechanical and optical components—all on a single chip. As a result, now the most prominent challenge for the design automation community is to efficiently plan for such heterogeneity and to fully exploit its capabilities. A compilation of work from internationally renowned authors, Model-Based Design for Embedded Systems elaborates on related practices and addresses the main facets of heterogeneous model-based design for embedded systems, including the current state of the art, important challenges, and the latest trends. Focusing on computational models as the core design artifact, this book presents the cutting-edge results that have helped establish model-based design and continue to expand its parameters. The book is organized into three sections: Real-Time and Performance Analysis in Heterogeneous Embedded Systems, Design Tools and Methodology for Multiprocessor System-on-Chip, and Design Tools and Methodology for Multidomain Embedded Systems. The respective contributors share their considerable expertise on the automation of design refinement and how to relate properties throughout this refinement while enabling analytic and synthetic qualities. They focus on multi-core methodological issues, real-time analysis, and modeling and validation, taking into account how optical, electronic, and mechanical components often interface. Model-based design is emerging as a solution to bridge the gap between the availability of computational capabilities and our inability to make full use of them yet. This approach enables teams to start the design process using a high-level model that is gradually refined through abstraction levels to ultimately yield a prototype. When executed well, model-based design encourages enhanced performance and quicker time to market for a product. Illustrating a broad and diverse spectrum of applications such as in the automotive aerospace, health care, consumer electronics, this volume provides designers with practical, readily adaptable modeling solutions for their own practice.

Model-Based Engineering of Embedded Systems

The SPES 2020 Methodology

Author: Klaus Pohl,Harald Hönninger,Reinhold Achatz,Manfred Broy

Publisher: Springer Science & Business Media

ISBN: 3642346146

Category: Computers

Page: 304

View: 8816

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs. This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering. The content of this book is structured in four parts. Part I “Starting Point” discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II “The SPES Modeling Framework” describes the SPES modeling framework. Part III “Application and Evaluation of the SPES Modeling Framework” reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV “Impact of the SPES Modeling Framework” summarizes the results achieved and provides an outlook on future work. The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.

Designing Embedded Processors

A Low Power Perspective

Author: Jörg Henkel,Sri Parameswaran

Publisher: Springer Science & Business Media

ISBN: 1402058691

Category: Technology & Engineering

Page: 550

View: 8149

To the hard-pressed systems designer this book will come as a godsend. It is a hands-on guide to the many ways in which processor-based systems are designed to allow low power devices. Covering a huge range of topics, and co-authored by some of the field’s top practitioners, the book provides a good starting point for engineers in the area, and to research students embarking upon work on embedded systems and architectures.

Applications and Theory of Petri Nets

29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings

Author: Kees van Hee,Kees M. van Hee,Rüdiger Valk

Publisher: Springer Science & Business Media

ISBN: 3540687459

Category: Computers

Page: 429

View: 7095

This volume consists of the proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2008). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. In addition, the conf- ences always welcome a range of invited talks that survey related domains, as well as satellite events such as tutorials and workshops. The 2008 conference had six invited speakers, two advanced tutorials, and four workshops. Detailed information about PETRI NETS 2008 and the related events can be found at http://ictt. xidian. edu. cn/atpn-acsd2008. The PETRI NETS 2008 conference was organized by the Institute of C- puting Theory andTechnologyat Xidian University,Xi'an, China, where it took place during June 23-27, 2008. We would like to express our deep thanks to the Organizing Committee, chaired by Zhenhua Duan, for the time and e?ort - vested in the conference and for all the help with local organization. We are also grateful for the ?nancial support of the National Natural Science Foundation of China (NSFC) (Grant No. 60433010), Xidian University, and the Institute of Computing Theory and Technology at Xidian University.

Computers as Components

Principles of Embedded Computing System Design

Author: Wayne Wolf

Publisher: Morgan Kaufmann

ISBN: 9780080886213

Category: Computers

Page: 544

View: 3044

Computers as Components, Second Edition, updates the first book to bring essential knowledge on embedded systems technology and techniques under a single cover. This edition has been updated to the state-of-the-art by reworking and expanding performance analysis with more examples and exercises, and coverage of electronic systems now focuses on the latest applications. It gives a more comprehensive view of multiprocessors including VLIW and superscalar architectures as well as more detail about power consumption. There is also more advanced treatment of all the components of the system as well as in-depth coverage of networks, reconfigurable systems, hardware-software co-design, security, and program analysis. It presents an updated discussion of current industry development software including Linux and Windows CE. The new edition's case studies cover SHARC DSP with the TI C5000 and C6000 series, and real-world applications such as DVD players and cell phones. Researchers, students, and savvy professionals schooled in hardware or software design, will value Wayne Wolf's integrated engineering design approach. * Uses real processors (ARM processor and TI C55x DSP) to demonstrate both technology and techniques...Shows readers how to apply principles to actual design practice. * Covers all necessary topics with emphasis on actual design practice...Realistic introduction to the state-of-the-art for both students and practitioners. * Stresses necessary fundamentals which can be applied to evolving technologies...helps readers gain facility to design large, complex embedded systems that actually work.

Control and Automation, and Energy System Engineering

International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

Author: Tai-hoon Kim,Hojjat Adeli,Adrian Stoica,Byeong-Ho Kang

Publisher: Springer Science & Business Media

ISBN: 3642260098

Category: Computers

Page: 392

View: 7368

This book comprises selected papers of the International Conferences, CA and CES3 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects of control and automation, and circuits, control, communication, electricity, electronics, energy, system, signal and simulation.

Embedded Systems Design

The ARTIST Roadmap for Research and Development

Author: Bruno Bouyssounouse,Joseph Sifakis

Publisher: Springer

ISBN: 3540319735

Category: Computers

Page: 496

View: 405

Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right.