Narrow your search

Library

ULB (5)

KU Leuven (4)

Odisee (4)

Thomas More Kempen (4)

Thomas More Mechelen (4)

UCLL (4)

ULiège (4)

VIVES (4)

EhB (3)

UGent (3)

More...

Resource type

book (6)


Language

English (6)


Year
From To Submit

2012 (2)

2011 (1)

2010 (1)

2009 (2)

Listing 1 - 6 of 6
Sort by

Book
Embedded system design : modeling, synthesis and verification
Author:
ISBN: 9781441905048 9781441905031 Year: 2009 Publisher: Dordrecht ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Smart Cameras
Authors: ---
ISBN: 9781441909534 9781441909541 9781489985224 9781441909527 Year: 2010 Publisher: Boston, MA Springer US

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Enhancing Embedded Systems Simulation : A Chip-Hardware-in-the-Loop Simulation Framework
Author:
ISBN: 383481475X 383489916X Year: 2011 Publisher: Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Embedded control system design : a model based approach
Author:
ISBN: 3642285945 3642447724 9786613844279 3642285953 1283531828 Year: 2012 Publisher: Heidelberg : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Introduction to embedded system design using field programmable gate arrays
Author:
ISBN: 1281913693 9786611913694 184882016X 1848820151 9781848820159 9781848820166 1849968152 Year: 2009 Publisher: London : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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


Book
Architecture of computing systems-- ARCS 2012 : 25th International Conference, Munich, Germany, February 28 - March 2, 2012 : proceedings
Authors: --- --- ---
ISSN: 03029743 ISBN: 364228292X 3642282938 Year: 2012 Volume: 7179 Publisher: Berlin ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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 --- Réseaux d'ordinateurs --- Génie logiciel --- Systèmes d'exploitation (Ordinateurs) --- Systè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