Applied Formal Methods - FM-Trends 98

Applied Formal Methods - FM-Trends 98
Author: Dieter Hutter
Publisher: Springer
Total Pages: 391
Release: 2007-07-21
Genre: Computers
ISBN: 3540482571

Download Applied Formal Methods - FM-Trends 98 Book in PDF, Epub and Kindle

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a severe labour shortage in this new field. Tony Hoare's prediction of the art of software (and hardware) development becoming a proper engineering science with its own body of tools and techniques is now becoming a reality. So the focus of this application oriented workshop was not so much on spe cial academic topics but rather on the many practical aspects of this emerging new technology: verification and validation, and tool support and integration into the software life-cycle. By evaluating the state of the art with respect to industrial applications a discussion emerged among scientists, practising engi neers, and members of regulatory and funding agencies about future needs and developments. This discussion lead to roadmaps with respect to the future of this field, to tool support, and potential application areas and promising market segments. The contributions of the participants from industry as well as from the respective national security bureaus were particularly valuable and highly appreciated.

Embedded Software Design and Programming of Multiprocessor System-on-Chip

Embedded Software Design and Programming of Multiprocessor System-on-Chip
Author: Katalin Popovici
Publisher: Springer Science & Business Media
Total Pages: 246
Release: 2010-03-03
Genre: Computers
ISBN: 1441955674

Download Embedded Software Design and Programming of Multiprocessor System-on-Chip Book in PDF, Epub and Kindle

Current multimedia and telecom applications require complex, heterogeneous multiprocessor system on chip (MPSoC) architectures with specific communication infrastructure in order to achieve the required performance. Heterogeneous MPSoC includes different types of processing units (DSP, microcontroller, ASIP) and different communication schemes (fast links, non standard memory organization and access). Programming an MPSoC requires the generation of efficient software running on MPSoC from a high level environment, by using the characteristics of the architecture. This task is known to be tedious and error prone, because it requires a combination of high level programming environments with low level software design. This book gives an overview of concepts related to embedded software design for MPSoC. It details a full software design approach, allowing systematic, high-level mapping of software applications on heterogeneous MPSoC. This approach is based on gradual refinement of hardware/software interfaces and simulation models allowing to validate the software at different abstraction levels. This book combines Simulink for high level programming and SystemC for the low level software development. This approach is illustrated with multiple examples of application software and MPSoC architectures that can be used for deep understanding of software design for MPSoC.

Autonomic Communication

Autonomic Communication
Author: Athanasios V. Vasilakos
Publisher: Springer Science & Business Media
Total Pages: 381
Release: 2009-09-23
Genre: Computers
ISBN: 0387097538

Download Autonomic Communication Book in PDF, Epub and Kindle

New paradigms for communication/networking systems are needed in order to tackle the emerging issues such as heterogeneity, complexity and management of evolvable infrastructures. In order to realize such advanced systems, approaches should become task- and knowledge-driven, enabling a service-oriented, requirement, and trust-driven development of communication networks. The networking and seamless integration of concepts, technologies and devices in a dynamically changing environment poses many challenges to the research community, including interoperability, programmability, management, openness, reliability, performance, context awareness, intelligence, autonomy, security, privacy, safety, and semantics. This edited volume explores the challenges of technologies to realize the vision where devices and applications seamlessly interconnect, intelligently cooperate, and autonomously manage themselves, and as a result, the borders of virtual and real world vanish or become significantly blurred.

CODES/CASHE '98

CODES/CASHE '98
Author:
Publisher:
Total Pages:
Release: 1998
Genre: Computer-aided design
ISBN:

Download CODES/CASHE '98 Book in PDF, Epub and Kindle

Real-Time Embedded Systems

Real-Time Embedded Systems
Author: Christos Koulamas
Publisher: MDPI
Total Pages: 189
Release: 2019-01-10
Genre: Electrical engineering. Electronics. Nuclear engineering
ISBN: 3038975095

Download Real-Time Embedded Systems Book in PDF, Epub and Kindle

This book is a printed edition of the Special Issue "Real-Time Embedded Systems" that was published in Electronics

Synthesis and Optimization of DSP Algorithms

Synthesis and Optimization of DSP Algorithms
Author: George Constantinides
Publisher: Springer Science & Business Media
Total Pages: 170
Release: 2004-04-30
Genre: Technology & Engineering
ISBN: 1402079303

Download Synthesis and Optimization of DSP Algorithms Book in PDF, Epub and Kindle

Synthesis and Optimization of DSP Algorithms describes approaches taken to synthesising structural hardware descriptions of digital circuits from high-level descriptions of Digital Signal Processing (DSP) algorithms. The book contains: -A tutorial on the subjects of digital design and architectural synthesis, intended for DSP engineers, -A tutorial on the subject of DSP, intended for digital designers, -A discussion of techniques for estimating the peak values likely to occur in a DSP system, thus enabling an appropriate signal scaling. Analytic techniques, simulation techniques, and hybrids are discussed. The applicability of different analytic approaches to different types of DSP design is covered, -The development of techniques to optimise the precision requirements of a DSP algorithm, aiming for efficient implementation in a custom parallel processor. The idea is to trade-off numerical accuracy for area or power-consumption advantages. Again, both analytic and simulation techniques for estimating numerical accuracy are described and contrasted. Optimum and heuristic approaches to precision optimisation are discussed, -A discussion of the importance of the scheduling, allocation, and binding problems, and development of techniques to automate these processes with reference to a precision-optimized algorithm, -Future perspectives for synthesis and optimization of DSP algorithms.

Design of Energy-Efficient Application-Specific Instruction Set Processors

Design of Energy-Efficient Application-Specific Instruction Set Processors
Author: Tilman Glökler
Publisher: Springer Science & Business Media
Total Pages: 246
Release: 2007-05-08
Genre: Technology & Engineering
ISBN: 1402025408

Download Design of Energy-Efficient Application-Specific Instruction Set Processors Book in PDF, Epub and Kindle

After a brief introduction to low-power VLSI design, the design space of ASIP instruction set architectures (ISAs) is introduced with a special focus on important features for digital signal processing. Based on the degrees of freedom offered by this design space, a consistent ASIP design flow is proposed: this design flow starts with a given application and uses incremental optimization of the ASIP hardware, of ASIP coprocessors and of the ASIP software by using a top-down approach and by applying application-specific modifications on all levels of design hierarchy. A broad range of real-world signal processing applications serves as vehicle to illustrate each design decision and provides a hands-on approach to ASIP design. Finally, two complete case studies demonstrate the feasibility and the efficiency of the proposed methodology and quantitatively evaluate the benefits of ASIPs in an industrial context.

DCIS2002

DCIS2002
Author: Salvador Bracho del Pino
Publisher: Ed. Universidad de Cantabria
Total Pages: 756
Release: 2002
Genre: Technology & Engineering
ISBN: 9788481023114

Download DCIS2002 Book in PDF, Epub and Kindle

Este libro contiene las presentaciones de la XVII Conferencia de Diseño de Circuitos y Sistemas Integrados celebrado en el Palacio de la Magdalena, Santander, en noviembre de 2002. Esta Conferencia ha alcanzado un alto nivel de calidad, como consecuencia de su tradición y madurez, que lo convierte en uno de los acontecimientos más importantes para los circuitos de microelectrónica y la comunidad de diseño de sistemas en el sur de Europa. Desde su origen tiene una gran contribución de Universidades españolas, aunque hoy los autores participan desde catorce países

Real-Time Simulation Technologies: Principles, Methodologies, and Applications

Real-Time Simulation Technologies: Principles, Methodologies, and Applications
Author: Katalin Popovici
Publisher: CRC Press
Total Pages: 663
Release: 2017-12-19
Genre: Technology & Engineering
ISBN: 1351833391

Download Real-Time Simulation Technologies: Principles, Methodologies, and Applications Book in PDF, Epub and Kindle

Real-Time Simulation Technologies: Principles, Methodologies, and Applications is an edited compilation of work that explores fundamental concepts and basic techniques of real-time simulation for complex and diverse systems across a broad spectrum. Useful for both new entrants and experienced experts in the field, this book integrates coverage of detailed theory, acclaimed methodological approaches, entrenched technologies, and high-value applications of real-time simulation—all from the unique perspectives of renowned international contributors. Because it offers an accurate and otherwise unattainable assessment of how a system will behave over a particular time frame, real-time simulation is increasingly critical to the optimization of dynamic processes and adaptive systems in a variety of enterprises. These range in scope from the maintenance of the national power grid, to space exploration, to the development of virtual reality programs and cyber-physical systems. This book outlines how, for these and other undertakings, engineers must assimilate real-time data with computational tools for rapid decision making under uncertainty. Clarifying the central concepts behind real-time simulation tools and techniques, this one-of-a-kind resource: Discusses the state of the art, important challenges, and high-impact developments in simulation technologies Provides a basis for the study of real-time simulation as a fundamental and foundational technology Helps readers develop and refine principles that are applicable across a wide variety of application domains As science moves toward more advanced technologies, unconventional design approaches, and unproven regions of the design space, simulation tools are increasingly critical to successful design and operation of technical systems in a growing number of application domains. This must-have resource presents detailed coverage of real-time simulation for system design, parallel and distributed simulations, industry tools, and a large set of applications.

Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing

Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing
Author: Reiner W. Hartenstein
Publisher: Springer Science & Business Media
Total Pages: 872
Release: 2000-08-21
Genre: Computers
ISBN: 3540678999

Download Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing Book in PDF, Epub and Kindle

This book constitues the refereed proceedings of the 10th International Conference on Field-Programmable Logic and Applications, FPL 2000, held in Villach, Austria in August 2000. The 64 revised full papers presented together with eight invited contributions and 21 short papers were carefully reviewed and selected from a total of 131 submissions. The book offers topical sections on network processors, prototyping, dynamic reconfigurability, technology mapping/routing and placement, biologically inspired methods, mobile communciation, design space exploration, optimization, architectures, methodology and technology, compilation, applications, and miscellaneous.