Listing 1 - 6 of 6 |
Sort by
|
Choose an application
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.
Embedded computer systems --- Systèmes enfouis (Informatique) --- Design and construction. --- Conception et construction --- Eingebettetes System. --- Embedded systems --- Modellen (vorm) --- Programmatuurtechniek --- Design. --- Embedded systems. --- Modellen (vorm). --- Programmatuurtechniek. --- Systèmes enfouis (Informatique) --- EPUB-LIV-FT LIVINGEN SPRINGER-B
Choose an application
Smart Cameras Edited by: Ahmed Nabil Belbachir Although there are many "definitions" of smart cameras offered by the media, camera manufacturers and developers, still no binding definition exists. For the purpose of this book, a smart camera is defined as a vision system which, in addition to image capture circuitry, is capable of extracting application-specific information from the captured images, along with generating event descriptions or making decisions that are used in an intelligent and automated system. This book provides a single-source reference, with content from several disparate scientific, technological and commercial aspects related to smart cameras: photoreceptors, pixels, signal processing, image sensor architectures, embedded systems, computer vision, sensor networks, applications of smart cameras and market trends. It provides background information, fundamentals, and an overview of the historical evolution, applications and the latest trends in intelligent camera concepts for professionals, researchers and practitioners. Provides information on smart cameras for an interdisciplinary audience (embedded systems; image processing; camera technology) of professionals, practitioners and students; Integrates coverage of hardware electronics, signal processing, embedded computing, computer vision, sensor networks and smart camera applications in surveillance, machine vision and the automotive industry; Includes an analysis of the smart camera market evolution, based on interviews with market leaders.
Electrical engineering --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- DIP (documentimage processing) --- beeldverwerking --- spraaktechnologie --- grafische vormgeving --- elektrische circuits --- signaalverwerking --- Cameras. --- Computer vision. --- Eingebettetes System. --- Intelligente Kamera. --- Maschinelles Sehen. --- Verteiltes System.
Choose an application
Using the real Microcontroller (µC) as a replacement for a µC model inside a system simulation of a µC-based system is a big benefit since the µC is already verified. Moreover, its maximum performance and its accuracy are much higher than any simulation model. With the Chip-Hardware-in-the-Loop Simulation (CHILS) approach, Christian Köhler covers the connection between µC and simulation, the analysis and optimization of such coupling systems as well as the interface abstraction. He develops the hardware to simulation coupling system with a focus on less hardware effort, the capabilities to couple with different simulation environments, and the efficiency of coupling. The interface abstraction primarily supports the efficiency of coupling. The system analysis and optimization concepts include formal criteria to determine the fidelity of Hardware-in-the-Loop (HIL) coupling systems, stability analysis of coupling systems, and the numerical analysis of applied software algorithms. Furthermore, the author presents existing concepts to simulate complex systems and compares them with the new approach.
Eingebettetes System. --- Embedded computer systems -- Design. --- Embedded computer systems. --- Embedded systems. --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- Embedded computer systems --- Engineering. --- Electrical engineering. --- Design and construction. --- Electric engineering --- Construction --- Computer science. --- Computer simulation. --- Computer Science. --- Simulation and Modeling. --- Computer Science, general. --- Electrical Engineering. --- Engineering --- Industrial arts --- Technology --- Computer engineering. --- Computers --- Informatics --- Science --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Design and construction
Choose an application
Control system design is a challenging task for practicing engineers. It requires knowledge of different engineering fields, a good understanding of technical specifications and good communication skills. The current book introduces the reader into practical control system design, bridging the gap between theory and practice. The control design techniques presented in the book are all model based., considering the needs and possibilities of practicing engineers. Classical control design techniques are reviewed and methods are presented how to verify the robustness of the design. It is how the designed control algorithm can be implemented in real-time and tested, fulfilling different safety requirements. Good design practices and the systematic software development process are emphasized in the book according to the generic standard IEC61508. The book is mainly addressed to practicing control and embedded software engineers - working in research and development – as well as graduate students who are faced with the challenge to design control systems and implement them in real-time.
Mechatronics. --- Embedded computer systems --- Electrical & Computer Engineering --- Mechanical Engineering --- Engineering & Applied Sciences --- Mechanical Engineering - General --- Electrical Engineering --- Automatic control. --- System design. --- Embedded control systems --- Design and construction. --- Engineering. --- Control engineering. --- Industrial engineering. --- Production engineering. --- Control. --- Industrial and Production Engineering. --- Design, System --- Systems design --- Electronic data processing --- System analysis --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers --- Control and Systems Theory. --- Management engineering --- Simplification in industry --- Engineering --- Value analysis (Cost control) --- Manufacturing engineering --- Process engineering --- Industrial engineering --- Mechanical engineering --- Eingebettetes System. --- Regelungssystem. --- Reglerentwurf. --- Softwareentwicklung. --- Robuste Regelung.
Choose an application
As the uses of digital systems continue to proliferate in quantity and variety, field programmable gate arrays (FPGAs) are taking centre-stage in their design. Introduction to Embedded System Design Using Field Programmable Gate Arrays provides a starting point for the use of FPGAs in the design of embedded systems. The text considers a hypothetical robot controller as an embedded application and weaves around it related concepts of FPGA-based digital design. The book details: • use of FPGA vis-à-vis general purpose processor and microcontroller; • design using Verilog hardware description language; • digital design synthesis using Verilog and Xilinx® SpartanTM 3 FPGA; • FPGA-based embedded processors and peripherals; • overview of serial data communications and signal conditioning using FPGA; • FPGA-based motor drive controllers; and • prototyping digital systems using FPGA. The book is a good introductory text for FPGA-based design. It will be useful for both students and designers who have worked with microprocessors and microcontrollers and now wish to move to design using FPGA. Its end-of-chapter exercises and frequent use of example can be used for teaching or for self-study.
Field programmable gate arrays. --- Digital electronics --- Robots --- Embedded computer systems --- Computer-aided design. --- Control systems --- Design and construction. --- Design. --- Embedded systems (Computer systems) --- Computer systems --- Architecture Analysis and Design Language --- Automata --- Automatons --- Manipulators (Mechanism) --- Robotics --- Mecha (Vehicles) --- Digital circuits --- Digital techniques (Electronics) --- Electronic systems --- Electronics --- Field programmable logic arrays --- FPGAs --- Gate array circuits --- Programmable logic devices --- Eingebettetes System. --- Field programmable gate array. --- Industrieroboter. --- Programmierbare Steuerung. --- Reglerentwurf. --- Systemsynthese. --- VERILOG. --- Electronics. --- Information theory. --- Systems engineering. --- Computer aided design. --- Logic design. --- Electronics and Microelectronics, Instrumentation. --- Control and Systems Theory. --- Theory of Computation. --- Circuits and Systems. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Logic Design. --- Design, Logic --- Design of logic systems --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Communication theory --- Communication --- Cybernetics --- Electrical engineering --- Physical sciences --- Design and construction --- Microelectronics. --- Control engineering. --- Computers. --- Electronic circuits. --- Computer-aided engineering. --- CAE --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Calculators --- Cyberspace --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Microtechnology --- Semiconductors --- Miniature electronic equipment --- Data processing
Choose an application
This book constitutes the refereed proceedings of the 25th International Conference on Architecture of Computing Systems, ARCS 2012, held in Munich, Germany, in February/March 2012. The 20 revised full papers presented in 7 technical sessions were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on robustness and fault tolerance, power-aware processing, parallel processing, processor cores, optimization, and communication and memory.
Electrical & Computer Engineering --- Engineering & Applied Sciences --- Telecommunications --- Information Technology --- Computer Science (Hardware & Networks) --- Computer architecture --- Software architecture --- Architecture, Software --- Computer software --- Computer software architecture --- Architecture --- Design --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Software engineering. --- Operating systems (Computers). --- Information storage and retrieval. --- Computer Science. --- Computer Communication Networks. --- Computer System Implementation. --- Operating Systems. --- Software Engineering. --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Architecture, Computer --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Informatics --- Science --- Operating systems --- Distributed processing --- Computer network architectures. --- Information storage and retrieva. --- Information retrieval. --- Data retrieval --- Data storage --- Discovery, Information --- Information discovery --- Information storage and retrieval --- Retrieval of information --- Documentation --- Information science --- Information storage and retrieval systems --- Architectures, Computer network --- Network architectures, Computer --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer networks. --- Computer systems. --- Computer and Information Systems Applications. --- Data centers --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Informatique --- ReÌseaux d'ordinateurs --- GeÌnie logiciel --- SysteÌmes d'exploitation (Ordinateurs) --- SysteÌmes d'information --- Operating systems (Computers) --- CASHE --- Computerarchitektur --- Echtzeitsystem --- Eingebettetes System --- Fehlertoleranz --- Leistungsbewertung --- Mehrkernprozessor --- Mehrprozessorsystem --- Parallelverarbeitung --- Power-Management --- Robustheit --- Speicherhierarchie --- System-on-Chip --- Architectures
Listing 1 - 6 of 6 |
Sort by
|