The Forum on Design Languages (FDL) is the European Forum to exchange experiences and learn new trends, in the application of languages and the associated design methods and tools, to design complex electronic systems. By offering several co-located workshops, this multi-faceted event gives an excellent opportunity to gain up-to-date knowledge across main aspects of such a wide field. All the workshops address as their common denominator the different application domains of system-design languages with the presentation of the latest research results and design experiences.
FDL'02 was organized as four focused workshops, Languages for Analog and Mixed-Signal system design, UML-based system specification and design, C/C++-based system design and Specification Formalisms for Proven design.

FDL served once more as the European Forum for electronic system design languages and consolidates as the main place in Europe where designers interested in design languages and their applications can meet and interchange experiences.

In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC.

UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation.

The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.

This volume comprises the edited proceedings of the 2006 CoreGRID Integration Workshop (CGIW'2006), held October 2006 in Krakow, Poland. A ?Network of Excellence? funded by the European Commission's Sixth Framework Program, CoreGRID, aims to strengthen and advance scientific and technological excellence in the area of Grid and Peer-to-Peer technologies by bringing together a critical mass of well-established researchers from 41 European research institutions. Achievements in European Research on Grid Systems covers, though is not limited to, the following topics: knowledge and data management; programming models; system architecture; Grid information, resource and workflow monitoring services; resource management and scheduling; systems, tools and environments; trust and security issues on the Grid. Designed for a professional audience of industry practitioners and researchers, Achievements in European Research on Grid Systems is also suitable for advanced-level students in computer science.

VHDL Answers to Frequently Asked Questions, Second Edition is a follow up to the author's books VHDL Answers to Frequently Asked Questions (ISBN 0-7923-9791-6) and VHDL Coding Styles and Methodologies (ISBN 0-7923-9598-0). This book addresses: misinterpretations in the use of the language; methods for writing error-free, and simulation-efficient, code for testbench designs and for synthesis; and general principles and guidelines for design verification. This second edition includes the following additions to the first edition: a new chapter on design for reuse that defines coding and design techniques that are impermeable to new technologies and are malleable to new requirements; more questions and answers including discussions on applications of guarded signals and shared variables; more models including the design of a reusable priority encoder, and a switch; more packages including an enhancement of image package to convert values to text strings in binary, hexadecimal, and decimal formats, and the complex package that defines complex numbers and overloaded operators.The book differs from other VHDL books in many respects. This bookemphasizes real VHDL, rather than philosophical or introductory types of informationemphasizes application of VHDL for synthesisuses complete examples to demonstrate problems and solutionsprovides a disk that includes all the book examples and other useful VHDL reference materialuses easy to remember symbology notation to emphasize language rules, good and poor methodology and coding stylesidentifies obsolete VHDL constructs that must be avoidedidentifies synthesizable/non-synthesizable structuresuses a question and answer format to clarify and emphasizethe concerns of VHDL users.VHDL Answers to Frequently Asked Questions, Second Edition is intended for those who are seeking an enhanced proficiency in VHDL.

Explore the cloud-native paradigm for event-driven and service-oriented applications In Cloud-Native Computing: How to Design, Develop, and Secure Microservices and Event-Driven Applications, a team of distinguished professionals delivers a comprehensive and insightful treatment of cloud-native computing technologies and tools. With a particular emphasis on the Kubernetes platform, as well as service mesh and API gateway solutions, the book demonstrates the need for reliability assurance in any distributed environment. The authors explain the application engineering and legacy modernization aspects of the technology at length, along with agile programming models. Descriptions of MSA and EDA as tools for accelerating software design and development accompany discussions of how cloud DevOps tools empower continuous integration, delivery, and deployment. Cloud-Native Computing also introduces proven edge devices and clouds used to construct microservices-centric and real-time edge applications. Finally, readers will benefit from: Thorough introductions to the demystification of digital transformation Comprehensive explorations of distributed computing in the digital era, as well as reflections on the history and technological development of cloud computing Practical discussions of cloud-native computing and microservices architecture, as well as event-driven architecture and serverless computing In-depth examinations of the Akka framework as a tool for concurrent and distributed applications development Perfect for graduate and postgraduate students in a variety of IT- and cloud-related specialties, Cloud-Native Computing also belongs in the libraries of IT professionals and business leaders engaged or interested in the application of cloud technologies to various business operations.

Modeling Microprocessor Performance focuses on the development of a design and evaluation tool, named RIPE (Rensselaer Interconnect Performance Estimator). This tool analyzes the impact on wireability, clock frequency, power dissipation, and the reliability of single chip CMOS microprocessors as a function of interconnect, device, circuit, design and architectural parameters. It can accurately predict the overall performance of existing microprocessor systems. For the three major microprocessor architectures, DEC, PowerPC and Intel, the results have shown agreement within 10% on key parameters. The models cover a broad range of issues that relate to the implementation and performance of single chip CMOS microprocessors. The book contains a detailed discussion of the various models and the underlying assumptions based on actual design practices. As such, RIPE and its models provide an insightful tool into single chip microprocessor design and its performance aspects. At the same time, it provides design and process engineers with the capability to model, evaluate, compare and optimize single chip microprocessor systems using advanced technology and design techniques at an early design stage without costly and time consuming implementation. RIPE and its models demonstrate the factors which must be considered when estimating tradeoffs in device and interconnect technology and architecture design on microprocessor performance.

An overview and a critical review of the Conformance Testing Methodology and Framework is provided by this book. This standard, ISO/IEC 9646, describes a methodology for testing implementations of Open System Interconnection (OSI) specifications. It is widely used by protocol and profile specifiers to help them specify their conformance requirements unambiguously and to provide proformas for suppliers to fill in to clarify which capabilities their products support. The standard is also used by test specifiers to define how to specify OSI conformance tests and to give guidance to test system developers. Further, it is used by test laboratories and the relevant accreditation bodies to define how an OSI test service should be operated. Finally, it is used by other testing methodology specifiers to serve as a guide on how to write testing methodology standards.

The publication, which will serve as a definitive textbook on the subject, enables readers to understand existing test documents, especially test suites, and aims to assist them in producing their own documents.

Embedded 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. 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. Distribution and parallelism in embedded systems design increase the engineering challenges and require new development methods and tools. 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. The book is organized in six chapters: `Formalisms for Embedded System Design': IP-based system design and various approaches to multi-language formalisms. `Synthesis from Synchronous/Asynchronous Specification': Synthesis techniques based on Message Sequence Charts (MSC), StateCharts, and Predicate/Transition Nets. `Partitioning and Load-Balancing': Application in simulation models and target systems. <`Verification and Validation': Formal techniques for precise verification and more pragmatic approaches to validation. `Design Environments' for distributed embedded systems and their impact on the industrial state of the art. `Object Oriented Approaches': Impact of OO-techniques on distributed embedded systems. GBP/LISTGBP This volume will be essential reading for computer science researchers and application developers.

This book describes how we can design and make efficient processors for high-performance computing, AI, and data science. Although there are many textbooks on the design of processors we do not have a widely accepted definition of the efficiency of a general-purpose computer architecture. Without a definition of the efficiency, it is difficult to make scientific approach to the processor design. In this book, a clear definition of efficiency is given and thus a scientific approach for processor design is made possible. In chapter 2, the history of the development of high-performance processor is overviewed, to discuss what quantity we can use to measure the efficiency of these processors. The proposed quantity is the ratio between the minimum possible energy consumption and the actual energy consumption for a given application using a given semiconductor technology. In chapter 3, whether or not this quantity can be used in practice is discussed, for many real-world applications. In chapter 4, general-purpose processors in the past and present are discussed from this viewpoint. In chapter 5, how we can actually design processors with near-optimal efficiencies is described, and in chapter 6 how we can program such processors. This book gives a new way to look at the field of the design of high-performance processors.

Introduction to Hardware-Software Co-Design presents a number of issues of fundamental importance for the design of integrated hardware software products such as embedded, communication, and multimedia systems. This book is a comprehensive introduction to the fundamentals of hardware/software co-design. Co-design is still a new field but one which has substantially matured over the past few years. This book, written by leading international experts, covers all the major topics including: fundamental issues in co-design; hardware/software co-synthesis algorithms; prototyping and emulation; target architectures; compiler techniques; specification and verification; system-level specification. Special chapters describe in detail several leading-edge co-design systems including Cosyma, LYCOS, and Cosmos. Introduction to Hardware-Software Co-Design contains sufficient material for use by teachers and students in an advanced course of hardware/software co-design. It also contains extensive explanation of the fundamental concepts of the subject and the necessary background to bring practitioners up-to-date on this increasingly important topic.

Perception of human beings has evolved from natural biosensor to powerful sensors and sensor networks. In sensor networks, trillions of devices are interconnected and sense a broad spectrum of contexts for human beings, laying the foundation of Internet of Things (IoT). However, sensor technologies have several limitations relating to deployment cost and usability, which render them unacceptable for practical use. Consequently, the pursuit of convenience in human perception necessitates a wireless, sensorless and contactless sensing paradigm. Recent decades have witnessed rapid developments in wireless sensing technologies, in which sensors detect wireless signals (such as acoustic, light, and radio frequency) originally designed for data transmission or lighting. By analyzing the signal measurements on the receiver end, channel characteristics can be obtained to convey the sensing results. Currently, significant effort is being devoted to employing the ambient Wi-Fi, RFID, Bluetooth, ZigBee, and television signals for smart wireless sensing, eliminating the need for dedicated sensors and promoting the prospect of the Artificial Intelligence of Things (AIoT). This book provides a comprehensive and in-depth discussion of wireless sensing technologies. Specifically, with a particular focus on Wi-Fi-based sensing for understanding human behavior, it adopts a top-down approach to introduce three key topics: human detection, localization, and activity recognition. Presenting the latest advances in smart wireless sensing based on an extensive review of state-of-the-art research, it promotes the further development of this area and also contributes to interdisciplinary research.

This book explores a range of important theoretical and practical issues in the field of computational network application tools, while also presenting the latest advances and innovations using intelligent technology approaches. The main focus is on detecting and diagnosing complex application performance problems so that an optimal and expected level of system service can be attained and maintained. The book discusses challenging issues like enhancing system efficiency, performance, and assurance management, and blends the concept of system modeling and optimization techniques with soft computing, neural network, and sensor network approaches. In addition, it presents certain metrics and measurements that can be translated into business value. These metrics and measurements can also help to establish an empirical performance baseline for various applications, which can be used to identify changes in system performance. By presenting various intelligent technologies, the book provides readers with compact but insightful information on several broad and rapidly growing areas in the computation network application domain. The book's twenty-two chapters examine and address current and future research topics in areas like neural networks, soft computing, nature-inspired computing, fuzzy logic and evolutionary computation, machine learning, smart security, and wireless networking, and cover a wide range of applications from pattern recognition and system modeling, to intelligent control problems and biomedical applications. The book was written to serve a broad readership, including engineers, computer scientists, management professionals, and mathematicians interested in studying tools and techniques for computational intelligence and applications for performance analysis. Featuring theoretical concepts and best practices in computational network applications, it will also be helpful for researchers, graduate and undergraduate students with an interest in the fields of soft computing, neural networks, machine learning, sensor networks, smart security, etc.

For courses in object-oriented systems analysis and design. This text teaches students object-oriented systems analysis and design in a highly practical and accessible way.

Three approaches can be applied to determine the performance of parallel and distributed computer systems: measurement, simulation, and mathematical methods. This book introduces various network architectures for parallel and distributed systems as well as for systems-on-chips, and presents a strategy for developing a generator for automatic model derivation. It will appeal to researchers and students in network architecture design and performance analysis.

Hybrid System Identification helps readers to build mathematical models of dynamical systems switching between different operating modes, from their experimental observations. It provides an overview of the interaction between system identification, machine learning and pattern recognition fields in explaining and analysing hybrid system identification. It emphasises the optimization and computational complexity issues that lie at the core of the problems considered and sets them aside from standard system identification problems. The book presents practical methods that leverage this complexity, as well as a broad view of state-of-the-art machine learning methods. The authors illustrate the key technical points using examples and figures to help the reader understand the material. The book includes an in-depth discussion and computational analysis of hybrid system identification problems, moving from the basic questions of the definition of hybrid systems and system identification to methods of hybrid system identification and the estimation of switched linear/affine and piecewise affine models. The authors also give an overview of the various applications of hybrid systems, discuss the connections to other fields, and describe more advanced material on recursive, state-space and nonlinear hybrid system identification. Hybrid System Identification includes a detailed exposition of major methods, which allows researchers and practitioners to acquaint themselves rapidly with state-of-the-art tools. The book is also a sound basis for graduate and undergraduate students studying this area of control, as the presentation and form of the book provides the background and coverage necessary for a full understanding of hybrid system identification, whether the reader is initially familiar with system identification related to hybrid systems or not.

This book presents a comprehensive overview of fundamental issues and recent advances in graph data management. Its aim is to provide beginning researchers in the area of graph data management, or in fields that require graph data management, an overview of the latest developments in this area, both in applied and in fundamental subdomains. The topics covered range from a general introduction to graph data management, to more specialized topics like graph visualization, flexible queries of graph data, parallel processing, and benchmarking. The book will help researchers put their work in perspective and show them which types of tools, techniques and technologies are available, which ones could best suit their needs, and where there are still open issues and future research directions. The chapters are contributed by leading experts in the relevant areas, presenting a coherent overview of the state of the art in the field. Readers should have a basic knowledge of data management techniques as they are taught in computer science MSc programs.

This book constitutes the refereed proceedings of six International Workshops held as parallel events of the 17th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2021, virtually and in Hersonissos, Crete, Greece, in June 2021: the 6th Workshop on 5G-Putting Intelligence to the Network Edge, 5G-PINE 2021; Artificial Intelligence in Biomedical Engineering and Informatics Workshop, AI-BIO 2021; Workshop on Defense Applications of AI, DAAI 2021; Distributed AI for Resource-Constrained Platforms Workshop, DARE 2021; Energy Efficiency and Artificial Intelligence Workshop, EEAI 2021; and the 10th Mining Humanistic Data Workshop, MHDW 2021. The 24 full papers and 16 short papers presented at these workshops were carefully reviewed and selected from 72 submissions. The papers presented at 5G-PINE focus on the latest AI applications in the telecommunication industry and AI in modern 5G-oriented telecommunications infrastructures. The papers chosen for AI-BIO 2021 present research on the subject of AI, in its broadest sense, in biomedical engineering and health informatics. The DAAI 2021 papers aim at presenting recent evolutions in artificial intelligence applicable to defense and security applications. The papers selected for DARE 2021 address a variety of pertinent and challenging topics within the scope of distributed AI for resource-constrained platforms. The papers presented at EEAI 2021 aim to bring together interdisciplinary approaches that focus on the application of AI-driven solutions for increasing and improving energy efficiency of residential and tertiary buildings and of occupant behavior. The MHDW papers focus on topics such as recommendation systems, sentiment analysis, pattern recognition, data mining, and time series.

This book presents the latest research in the fields of reliability theory and its applications, providing a comprehensive overview of reliability engineering and discussing various tools, techniques, strategies and methods within these areas. Reliability analysis is one of the most multidimensional topics in the field of systems reliability engineering, and while its rapid development creates opportunities for industrialists and academics, it is also means that it is hard to keep up to date with the research taking place. By gathering findings from institutions around the globe, the book offers insights into the international developments in the field. As well as discussing the current areas of research, it also identifies knowledge gaps in reliability theory and its applications and highlights fruitful avenues for future research. Covering topics from life cycle sustainability to performance analysis of cloud computing, this book is ideal for upper undergraduate and postgraduate researchers studying reliability engineering.

This book gathers selected papers presented at International Conference on Machine Learning, Advances in Computing, Renewable Energy and Communication (MARC 2020), held in Krishna Engineering College, Ghaziabad, India, during December 17-18, 2020. This book discusses key concepts, challenges, and potential solutions in connection with established and emerging topics in advanced computing, renewable energy, and network communications.

Make Software Architecture Choices That Maximize Value and Innovation "[Vernon and Jaskula] provide insights, tools, proven best practices, and architecture styles both from the business and engineering viewpoint. . . . This book deserves to become a must-read for practicing software engineers, executives as well as senior managers." --Michael Stal, Certified Senior Software Architect, Siemens Technology Strategic Monoliths and Microservices helps business decision-makers and technical team members clearly understand their strategic problems through collaboration and identify optimal architectural approaches, whether the approach is distributed microservices, well-modularized monoliths, or coarser-grained services partway between the two. Leading software architecture experts Vaughn Vernon and Tomasz Jaskula show how to make balanced architectural decisions based on need and purpose, rather than hype, so you can promote value and innovation, deliver more evolvable systems, and avoid costly mistakes. Using realistic examples, they show how to construct well-designed monoliths that are maintainable and extensible, and how to gradually redesign and reimplement even the most tangled legacy systems into truly effective microservices. Link software architecture planning to business innovation and digital transformation Overcome communication problems to promote experimentation and discovery-based innovation Master practices that support your value-generating goals and help you invest more strategically Compare architectural styles that can lead to versatile, adaptable applications and services Recognize when monoliths are your best option and how best to architect, design, and implement them Learn when to move monoliths to microservices and how to do it, whether they're modularized or a "Big Ball of Mud" Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.

This monograph is intended for researchers and professionals in the fields of computer science and cybernetics. Nowadays, the areas of computer science and cybernetics (mainly its artificial intelligence branches) are subject to an immense degree of study and are applied in a wide range of technical and industrial projects. The individual chapters of this monograph were developed from a series of invited lectures at the Brno University of Technology in the years 2018 and 2019. The main aim of these lectures was to create an opportunity for students, academics, and professionals to exchange ideas, novel research methods, and new industrial applications in the fields related to soft computing and cybernetics. The authors of these chapters come from around the world and their works cover both new theoretical and application-oriented results from areas such as automation, control, robotics, optimization, statistics, reinforcement learning, image processing, and evolutionary algorithms.

Information Systems Development (ISD) progresses rapidly, continually creating new challenges for the professionals involved. New concepts, approaches and techniques of systems development emerge constantly in this field. Progress in ISD comes from research as well as from practice. This conference will discuss issues pertaining to information systems development (ISD) in the inter-networked digital economy. Participants will include researchers, both experienced and novice, from industry and academia, as well as students and practitioners. Themes will include methods and approaches for ISD; ISD education; philosophical, ethical, and sociological aspects of ISD; as well as specialized tracks such as: distributed software development, ISD and knowledge management, ISD and electronic business / electronic government, ISD in public sector organizations, IOS.

With the diversification of Internet services and the increase in mobile users, efficient management of network resources has become an extremely important issue in the field of wireless communication networks (WCNs). Adaptive resource management is an effective tool for improving the economic efficiency of WCN systems as well as network design and construction, especially in view of the surge in mobile device demands. This book presents modelling methods based on queueing theory and Markov processes for a wide variety of WCN systems, as well as precise and approximate analytical solution methods for the numerical evaluation of the system performance. This is the first book to provide an overview of the numerical analyses that can be gleaned by applying queueing theory, traffic theory and other analytical methods to various WCN systems. It also discusses the recent advances in the resource management of WCNs, such as broadband wireless access networks, cognitive radio networks, and green cloud computing. It assumes a basic understanding of computer networks and queueing theory, and familiarity with stochastic processes is also recommended. The analysis methods presented in this book are useful for first-year-graduate or senior computer science and communication engineering students. Providing information on network design and management, performance evaluation, queueing theory, game theory, intelligent optimization, and operations research for researchers and engineers, the book is also a valuable reference resource for students, analysts, managers and anyone in the industry interested in WCN system modelling, performance analysis and numerical evaluation.

In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standards are being increasingly used, at the same time as the scope is being broadened to additional application areas. This book presents the latest developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.

This book presents the proceedings of the 12th International Parallel Tools Workshop, held in Stuttgart, Germany, during September 17-18, 2018, and of the 13th International Parallel Tools Workshop, held in Dresden, Germany, during September 2-3, 2019. The workshops are a forum to discuss the latest advances in parallel tools for high-performance computing. High-performance computing plays an increasingly important role for numerical simulation and modeling in academic and industrial research. At the same time, using large-scale parallel systems efficiently is becoming more difficult. A number of tools addressing parallel program development and analysis has emerged from the high-performance computing community over the last decade, and what may have started as a collection of a small helper scripts has now matured into production-grade frameworks. Powerful user interfaces and an extensive body of documentation together create a user-friendly environment for parallel tools.