Testing Complex and Embedded Systems

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE explains how to apply the complex MARTE standard in practical situations. This approachable referenceprovides a handy user gu

An important objective in testing software systems is to show that they actually work. This can be done quickly for single benign cases, but then the system may fail in the real world. In addition to

The building blocks of today’s embedded systems-on-a-chip (SoC) are complex IP components and programmable processor cores. This means that more and more system functionality is implemented in softwar

Vehicles are complex systems (non-linear, multi-variable) where the abundance of embedded controllers should ensure better security. This book aims at emphasizing the interest and potential of Linear

Software test automation has moved beyond a luxury to become a necessity. Applications and systems have grown ever larger and more complex, and manual testing simply cannot keep up. As technology chan

This 2002 book investigates the opportunities in building intelligent decision support systems offered by multi-agent distributed probabilistic reasoning. Probabilistic reasoning with graphical models, also known as Bayesian networks or belief networks, has become increasingly an active field of research and practice in artificial intelligence, operations research and statistics. The success of this technique in modeling intelligent decision support systems under the centralized and single-agent paradigm has been striking. Yang Xiang extends graphical dependence models to the distributed and multi-agent paradigm. He identifies the major technical challenges involved in such an endeavor and presents the results. The framework developed in the book allows distributed representation of uncertain knowledge on a large and complex environment embedded in multiple cooperative agents, and effective, exact and distributed probabilistic inference.

This is a single-volume history of Christianity in Poland, a subject at the core of religious history and European secular history alike. The book covers the development of Polish Christianity from the tenth century to the year 2000, placing it in the broader context of East-Central European political, social, religious and cultural history. Jewish-Christian relations, and the problematic religious history of the Jews in the region, play an important part in the story, and there are pervasive references to countries historically linked to Poland, such as Lithuania, Belarus and the Ukraine. Jerzy Kloczowski shows how the history of Poland, and Polish Christianity, are embedded in the complex systems of relations with other countries and religious denominations. A History of Polish Christianity should be read by anyone interested in the confrontation between Christianity and the totalitarian systems of the twentieth century, and in the interplay between Eastern and Western Christianity.

Modern appliances are complex machines with processors, operating systems, and application software. While there are books that will tell you how to run Linux on embedded hardware, and books on how to

'Design by programming' has proved very successful in the development of complex software systems. This book describes the construction of programs for VLSI digital circuit design, using the language Tangram, and shows how they can be compiled automatically in fully asynchronous circuits. Handshake circuits were invented by the author to separate questions involving the efficient implementation of the VLSI circuits from issues arising in their design. Dr van Berkel presents a mathematical theory of handshake circuits and a silicon compiler supported by a correctness proof. The treatment of VLSI realizations of handshake circuits includes various forms of optimization, handshake refinement, message encoding, circuit initialization, and testing. The approach is illustrated with a host of examples drawn from a wide range of application areas. The book will be of use to electrical engineers and computer scientists involved in VLSI design.

Learning to perform complex action strategies is an important problem in the fields of artificial intelligence, robotics, and machine learning. Filled with interesting new experimental results, Learni

The new generation of 32-bit PIC microcontrollers can be used to solve the increasingly complex embedded system design challenges faced by engineers today. This book teaches the basics of 32-bit C pro