This book introduces fundamental concepts and theories in pervasive computing as well as its key technologies and applications. It explains how to design and implement pervasive middleware and real application systems, covering nearly all aspects related to pervasive computing. Key technologies in the book include pervasive computing-oriented resource management and task migration, mobile pervasive transaction, human computer interface, and context collection-oriented wireless sensor networks.

Computer simulation is an effective and popular universal tool that can be applied to almost all disciplines. Requiring only basic knowledge of programming, mathematics, and probability theory, Computer Simulation: A Foundational Approach Using Python takes a hands-on approach to programming to introduce the fundamentals of computer simulation. The main target of the book is computer science and engineering students who are interested mainly in directly applying the techniques to their research problems. The book will be of great interest to senior undergraduate and starting graduate students in the fields of computer science and engineering and industrial engineering.

Although multicore is now a mainstream architecture, there are few textbooks that cover parallel multicore architectures. Filling this gap, Fundamentals of Parallel Multicore Architecture provides all the material for a graduate or senior undergraduate course that focuses on the architecture of multicore processors. The book is also useful as a reference for professionals who deal with programming on multicore or designing multicore chips. The text's coverage of fundamental topics prepares students to study research papers in the multicore architecture area. The text offers many pedagogical features, including: Sufficiently short chapters that can be comfortably read over a weekend Introducing each concept by first describing the problem and building intuition that leads to the need for the concept "Did you know?" boxes that present mini case studies, alternative points of view, examples, and other interesting facts or discussion items Thought-provoking interviews with experts who share their perspectives on multicore architectures in the past, present, and future Online programming assignments and solutions that enhance students' understanding The first several chapters address programming issues in shared memory multiprocessors, such as the programming model and techniques to parallelize regular and irregular applications. The core of the book covers the architectures for shared memory multiprocessors. The final chapter contains interviews with experts in parallel multicore architecture.

The Unified Modeling Language is rapidly gaining acceptance as the mechanism of choice to model complex software systems at various steps of their specification and design, using a number of orthogonal views that illustrate use cases, class diagrams and even detailed state machine-based behaviors of objects.
UML for Real: Design of Embedded Real-Time Systems aims to show the reality of UML as a medium for specification and implementation of real-time systems, illustrating both the current capabilities and limits of UML for this task, and future directions that will improve its usefulness for real-time and embedded product design. It will also cover selected applications examples. The book is an edited volume of solicited chapters.
The table of contents covers:

-UML and the Real-time/Embedded Domain, with chapters on the role of UML in software development and on UML and Real-Time Systems.
-Representing Key Real-Time Concepts with UML, with chapters on logical structure, on modeling system-level behavior using MSCs and extensions, on platform modeling, on hardware and software object modeling, on fine-grain and high-level patterns for real-time systems, on modeling Quality Of Service and metric time, and finally on performance and schedulability analysis using UML.
-Specific Applications, with chapters on UML in the automotive and telecom domains.
-Process and Tools, with chapters on software performance engineering and on UML tools for real-time processes.

Systems Engineering for Business Process Change: New Directions is a collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes. The papers contained in this volume report the results from the projects funded by the programme, which ran between 1997 and 2001. An earlier volume, published in 2000, reported interim results.
Bringing together researchers from diverse backgrounds in Computer Science, Information Systems, Engineering and Business Schools, this book explores the problems experienced by IT-dependent businesses that have to implement changing business processes in the context of their investment in legacy systems. The book presents some of the solutions investigated through the collaborations set up within the research programme.
Whether you are a researcher interested in the ideas that were generated by the research programme, or a user trying to understand the nature of the problems and their solutions, you cannot fail to be inspired by the writings contained in this volume.

The book begins with an introduction to software reliability, models and techniques. The book is an informative book covering the strategies needed to assess software failure behaviour and its quality, as well as the application of optimization tools for major managerial decisions related to the software development process. It features a broad range of topics including software reliability assessment and apportionment, optimal allocation and selection decisions and upgradations problems. It moves through a variety of problems related to the evolving field of optimization of software reliability engineering, including software release time, resource allocating, budget planning and warranty models, which are each explored in depth in dedicated chapters. This book provides a comprehensive insight into present-day practices in software reliability engineering, making it relevant to students, researchers, academics and practising consultants and engineers.

Calculation is the main function of a computer. The central unit is responsible for executing the programs. The microprocessor is its integrated form. This component, since the announcement of its marketing in 1971, has not stopped breaking records in terms of computing power, price reduction and integration of functions (calculation of basic functions, storage with integrated controllers). It is present today in most electronic devices. Knowing its internal mechanisms and programming is essential for the electronics engineer and computer scientist to understand and master the operation of a computer and advanced concepts of programming. This first volume focuses more particularly on the first generations of microprocessors, that is to say those that handle integers in 4 and 8-bit formats. The first chapter presents the calculation function and reminds the memory function. The following is devoted to notions of calculation model and architecture. The concept of bus is then presented. Chapters 4 and 5 can then address the internal organization and operation of the microprocessor first in hardware and then software. The mechanism of the function call, conventional and interrupted, is more particularly detailed in a separate chapter. The book ends with a presentation of architectures of the first microcomputers for a historical perspective. The knowledge is presented in the most exhaustive way possible with examples drawn from current and old technologies that illustrate and make accessible the theoretical concepts. Each chapter ends if necessary with corrected exercises and a bibliography. The list of acronyms used and an index are at the end of the book.

This classic reference work is a comprehensive guide to the design, evaluation, and use of reliable computer systems. It includes case studies of reliable systems from manufacturers, such as Tandem, Stratus, IBM, and Digital. It covers special systems such as the Galileo Orbiter fault protection system and AT&T telephone switching system processors.

Nothing has been more prolific over the past century than human/machine interaction. Automobiles, telephones, computers, manufacturing machines, robots, office equipment, machines large and small; all affect the very essence of our daily lives. However, this interaction has not always been efficient or easy and has at times turned fairly hazardous. Cognitive Systems Engineering (CSE) seeks to improve this situation by the careful study of human/machine interaction as the meaningful behavior of a unified system. Written by pioneers in the development of CSE, Joint Cognitive Systems: Foundations of Cognitive Systems Engineering offers a principled approach to studying human work with complex technology. The authors use a top-down, functional approach and emphasize a proactive (coping) perspective on work that overcomes the limitations of the structural human information processing view. They describe a conceptual framework for analysis with concrete theories and methods for joint system modeling that can be applied across the spectrum of single human/machine systems, social/technical systems, and whole organizations. The book explores both current and potential applications of CSE illustrated by examples. Understanding the complexities and functions of the human/machine interaction is critical to designing safe, highly functional, and efficient technological systems. This is a critical reference for students, designers, and engineers in a wide variety of disciplines.

Our fascination with new technologies is based on the assumption that more powerful automation will overcome human limitations and make our systems 'faster, better, cheaper,' resulting in simple, easy tasks for people. But how does new technology and more powerful automation change our work? Research in Cognitive Systems Engineering (CSE) looks at the intersection of people, technology, and work. What it has found is not stories of simplification through more automation, but stories of complexity and adaptation. When work changed through new technology, practitioners had to cope with new complexities and tighter constraints. They adapted their strategies and the artifacts to work around difficulties and accomplish their goals as responsible agents. The surprise was that new powers had transformed work, creating new roles, new decisions, and new vulnerabilities. Ironically, more autonomous machines have created the requirement for more sophisticated forms of coordination across people, and across people and machines, to adapt to new demands and pressures. This book synthesizes these emergent Patterns though stories about coordination and mis-coordination, resilience and brittleness, affordance and clumsiness in a variety of settings, from a hospital intensive care unit, to a nuclear power control room, to a space shuttle control center. The stories reveal how new demands make work difficult, how people at work adapt but get trapped by complexity, and how people at a distance from work oversimplify their perceptions of the complexities, squeezing practitioners. The authors explore how CSE observes at the intersection of people, technology, and work, how CSE abstracts patterns behind the surface details and wide variations, and how CSE discovers promising new directions to help people cope with complexities. The stories of CSE show that one key to well-adapted work is the ability to be prepared to be surprised. Are you ready?

Become a more effective decision-maker, communicator, and manager by using the valuable techniques described in this unique book. It's designed to help you break away from the constraints of the technologist's "analytical/scientific" viewpoint and employ broader organizational and personal perspectives that strengthen your decision-making ability and leadership skills.

"Decision-Making for Technology Executives" shows you how to utilize this multiple perspective approach to problem-solving and systems development in real-world, outside the laboratory, situations. You learn how this three-dimensional approach has been applied successfully to a wide spectrum of complex systems tasks: from system forecasting to technology assessment, from industrial catastrophes to facility siting decisions, from corporate strategy to acquisition.

Through valuable case studies, such as the Exxon Valdez and Bhopal accidents, you learn lessons on improving technology and risk assessment, forecasting, and crisis management. And through ready-to-implement, practical guidelines you see how to become a more effective decision-maker and manager, while improving communication between technologists and others involved in the decision process.

A one-of-its-kind look at the multiple perspective concept, this guide helps to increase your understanding of complex sociotechnical systems, boost the technologist's effectiveness as an executive, and improve technological risk management, forecasting, and planning.

SystemC provides a robust set of extensions to the C++ language that enables rapid development of complex models of hardware and software systems. The authors focus on practical use of the language for modeling real systems, showing: A step-by-step build-up of syntax Code examples for each concept Over 8000 lines of downloadable code examples Updates to reflect the SystemC standard, IEEE 1666 Why features are as they are Many resource references How SystemC fits into an ESL methodology This new edition of an industry best seller is updated to reflect the standardization of SystemC as IEEE 1666 and other improvements that reflect feedback from readers of the first edition. The wide ranging feedback also include suggestions from editors of the Japanese and Korean language translations, professors and students, and computer engineers from a broad industrial and geographical spectrum, all who have successfully used the first edition. New chapters have been added on the SystemC Verification Library and the Transaction Level Modeling, and proposed changes to the current SystemC standard. David Black and Jack Donovan, well known consultants in the EDA industry, have teamed with Bill Bunton and Anna Keist, experienced SystemC modeling engineers, to write the second edition of this highly popular classic. As a team the authors bring over 100 years of ASIC and system design experience together to make a very readable introduction to SystemC.

Over the last ten years, the ARM architecture has become one of the most pervasive architectures in the world, with more than 2 billion ARM-based processors embedded in products ranging from cell phones to automotive braking systems. A world-wide community of ARM developers in semiconductor and product design companies includes software developers, system designers and hardware engineers. To date no book has directly addressed their need to develop the system and software for an ARM-based system. This text fills that gap.
This book provides a comprehensive description of the operation of the ARM core from a developer s perspective with a clear emphasis on software. It demonstrates not only how to write efficient ARM software in C and assembly but also how to optimize code. Example code throughout the book can be integrated into commercial products or used as templates to enable quick creation of productive software.
The book covers both the ARM and Thumb instruction sets, covers Intel's XScale Processors, outlines distinctions among the versions of the ARM architecture, demonstrates how to implement DSP algorithms, explains exception and interrupt handling, describes the cache technologies that surround the ARM cores as well as the most efficient memory management techniques. A final chapter looks forward to the future of the ARM architecture considering ARMv6, the latest change to the instruction set, which has been designed to improve the DSP and media processing capabilities of the architecture.
* No other book describes the ARM core from a system and software perspective.
* Author team combines extensive ARM software engineering experience with an in-depth knowledge of ARM developer needs.
* Practical, executable code is fully explained in the book and available on the publisher's Website.
* Includes a simple embedded operating system."

Zuse's textbook on software measurement provides basic principles as well as theoretical and practical guidelines for the use of numerous kinds of software measures. It is written to enable scientists, teachers, practit ioners, and students to define the basic terminology of Software Measurement and to contribute to theory building. The textbook considers, among other, qualitative and numerical models behind software measures. It explains step-by-step the importance of qualitative properties, the meaning of scale types, the foundations of the validation of measures, and the foundations of prediction models, the models behind the Function-Point method and the COCOMO model, and the qualitative assumption of object-oriented measures. For applications of software measures in practice more than two hundred software measures of the software life-cycle are described in detail (object-oriented measures included). The enclosed CD contains a selection of more than 1,600 references of literature, and a small demo version of ZD-MIS (Zuse/Drabe - Measurement Information System) is presented.

Classical Feedback Control with Nonlinear Multi-Loop Systems describes the design of high-performance feedback control systems, emphasizing the frequency-domain approach widely used in practical engineering. It presents design methods for high-order nonlinear single- and multi-loop controllers with efficient analog and digital implementations. Bode integrals are employed to estimate the available system performance and to determine the ideal frequency responses that maximize the disturbance rejection and feedback bandwidth. Nonlinear dynamic compensators provide global stability and improve transient responses. This book serves as a unique text for an advanced course in control system engineering, and as a valuable reference for practicing engineers competing in today's industrial environment.

I Grundlagen.- Wer braucht wofur Avatare? Konzeption und Implementierung naturlichsprachlicher Systeme - Zur Einfuhrung.- Die Bedeutung von naturlichsprachlichen Dialogsystemen im Internet-Business.- Technische Grundlagen von naturlichsprachlichen Dialogsystemen.- Ein Quantensprung fur Dialogsysteme.- II E-Business und Avatare.- "Ich habe Ihre Eingabe leider nicht verstanden" - Qualitatskriterien fur Online-Tests von Bots.- Strategien fur Dialogfuhrungssysteme - Automation der Kundenkommunikation im Kontaktkanal Internet.- Schoen - schnell - schlau: Online-Marketing mit Avataren.- Avatare und die Usability von Websites.- Support-Chat und Avatare als Mittel der persoenlichen Kundenbetreuung im World Wide Web.- Cor@: Der Avatar der Deutschen Bank - Eine Fallstudie aus der Sicht des Auftragnehmers.- PIA - Der virtuelle Einkaufs-Guide - Eine Fallstudie des Club Bertelsmann.- Ein virtueller Berater fur Yello - Auswahl, Implementierung und Betrieb eines Avatars.- III Marketing und Avatare.- Darf's ein bisschen menschlicher sein? - Virtuelle Charaktere am Point of Sale.- Robert T-Online - Eine Karriere zwischen Wirklichkeit und Cyberspace.- Robert T-Online - Ein universeller Markenbotschafter.- Avatare und Entertainment.- It's time for a Strike! - Wahlkampf einer digitalen Prasidentschaftskandidatin.- IV Ausblick.- Mehr als nur ein nettes Gesicht: Embodied conversational interface agents.- Mit Hand und Fuss - Die Bedeutung der nonverbalen Kommunikation fur die Emotionalisierung von Dialogfuhrungssystemen.- Virtualisierung und Personalisierung - Technologietrends machen Avatare zur innovativen Mensch-Maschine-Schnittstelle.

Engineering systems are an important element of world economy. Each year billions of dollars are spent to develop, manufacture, operate, and maintain various types of engineering systems about the globe. The reliability and usability of these systems have become important because of their increasing complexity, sophistication, and non-specialist users. Global competition and other factors are forcing manufacturers to produce highly reliable and usable engineering systems. Along with examples and solutions, this book integrates engineering systems reliability and usability into a single volume for those individuals that directly or indirectly are concerned with these areas.

Thinking: A Guide to Systems Engineering Problem-Solving focuses upon articulating ways of thinking in today's world of systems and systems engineering. It also explores how the old masters made the advances they made, hundreds of years ago. Taken together, these considerations represent new ways of problem solving and new pathways to answers for modern times. Special areas of interest include types of intelligence, attributes of superior thinkers, systems architecting, corporate standouts, barriers to thinking, and innovative companies and universities. This book provides an overview of more than a dozen ways of thinking, to include: Inductive Thinking, Deductive Thinking, Reductionist Thinking, Out-of-the-Box Thinking, Systems Thinking, Design Thinking, Disruptive Thinking, Lateral Thinking, Critical Thinking, Fast and Slow Thinking, and Breakthrough Thinking. With these thinking skills, the reader is better able to tackle and solve new and varied types of problems. Features Proposes new approaches to problem solving for the systems engineer Compares as well as contrasts various types of Systems Thinking Articulates thinking attributes of the great masters as well as selected modern systems engineers Offers chapter by chapter thinking exercises for consideration and testing Suggests a "top dozen" for today's systems engineers

Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet design verification methods and tools lag behind and have difficulty in dealing with the increasing design complexity. This may get worse because more complex systems are now constructed by (re)using Intellectual Property blocks developed by third parties. To verify such designs, abstract models of the blocks and the system must be developed, with separate concerns, such as interface communication, functionality, and timing, that can be verified in an almost independent fashion. Standard Hardware Description Languages such as VHDL and Verilog are inspired by procedural imperative' programming languages in which function and timing are inherently intertwined in the statements of the language. Furthermore, they are not conceived to state the intent of the design in a simple declarative way that contains provisions for design choices, for stating assumptions on the environment, and for indicating uncertainty in system timing. Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method presents a description methodology that was inspired by Timing Diagrams and Process Algebras, the so-called Hierarchical Annotated Diagrams. It is suitable for specifying systems with complex interface behaviors that govern the global system behavior. A HADD specification can be converted into a behavioral real-time model in VHDL and used to verify the surrounding logic, such as interface transducers. Also, function can be conservatively abstracted away and the interactions between interconnecteddevices can be verified using Constraint Logic Programming based on Relational Interval Arithmetic. Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method is of interest to readers who are involved in defining methods and tools for system-level design specification and verification. The techniques for interface compatibility verification can be used by practicing designers, without any more sophisticated tool than a calculator.

This book explores the application of breakthrough technologies to improve transportation performance. Transportation systems represent the "blood vessels" of a society, in which people and goods travel. They also influence people's lives and affect the liveability and sustainability of our cities. The book shows how emergent technologies are able to monitor the condition of the structure in real time in order to schedule the right moment for maintenance activities an so reduce the disturbance to users. This book is a valuable resource for those involved in research and development in this field. Part I discusses the context of transportation systems, highlighting the major issues and challenges, the importance of understating human factors that could affect the maintenance operations and the main goals in terms of safety standards. Part II focuses on process-oriented innovations in transportation systems; this section stresses the importance of including design parameters in the planning, offering a comparison between risk-based and condition-based maintenance and, lastly, showing applications of emergent technologies. Part III goes on to reflect on the technical-oriented innovations, discussing the importance of studying the physical phenomena that are behind transportation system failures and problems. It then introduces the general trend of collecting and analyzing big data using real-world cases to evaluate the positive and negative aspects of adopting extensive smart sensors for gathering information on the health of the assets. The last part (IV) explores cultural and behavioural changes, and new knowledge management methods, proposing novel forms of maintenance and vocational training, and introduces the need for radical new visions in transportation for managing unexpected events. The continuous evolution of maintenance fields suggests that this compendium of "state-of-the-art" applications will not be the only one; the authors are planning a collection of cutting-edge examples of transportation systems that can assist researchers and practitioners as well as students in the process of understanding the complex and multidisciplinary environment of maintenance engineering applied to the transport sector.

The TransNav 2011 Symposium held at the Gdynia Maritime University, Poland in June 2011 has brought together a wide range of participants from all over the world. The program has offered a variety of contributions, allowing to look at many aspects of the navigational safety from various different points of view. Topics presented and discussed at the Symposium were: navigation, safety at sea, sea transportation, education of navigators and simulator-based training, sea traffic engineering, ship's manoeuvrability, integrated systems, electronic charts systems, satellite, radio-navigation and anti-collision systems and many others. This book is part of a series of six volumes and provides an overview of Transport Systems and Processes and is addressed to scientists and professionals involved in research and development of navigation, safety of navigation and sea transportation.

A comprehensive introduction to reliability and availability modeling, analysis, and design at the system, hardware, and software levels

Reliability of Computer Systems and Networks presents the fundamentals of reliability and availability analysis for various computer hardware, software, and networked systems. Reliability and availability as major objectives in system design are the focus. Various redundancy and fault-tolerant techniques, as well as error-correcting coding techniques are treated.

The author proposes a high-level design approach based on apportioning the reliability and availability goals to subsystems and provides various techniques for achieving these subsystem goals. The next step is an efficient, exact optimization approach based on upper and lower bounds to minimize the number of feasible candidates. The most readily applied methods for analysis are utilized and design techniques are derived from basic principles. Analytical simplifications and approximations are developed to validate the results of computer models used for large-scale complex problems.

Coverage includes:

• Coding and decoding schemes for error detection and correction including chip reliability
• Comparison of the reliability and availability of parallel, standby, and majority voting architectures
• Formulation, solution, and interpretation of Markov models for repairable systems
• Introduction and comparison of various RAID memory systems
• The architecture and fault-tolerant principles of TANDEM and STRATUS non-stop computer systems
• Practical and tutorial examples and numerous practice problems
• Appendices which cover the necessary background material on probability, reliability, and architecture

Reliability of Computer Systems and Networks offers in-depth and up-to-date coverage of reliability and availability for students with a focus on important applications areas, computer systems, and networks. Professionals in systems and reliability design, as well as computer architecture, will find it a highly useful reference.

This book provides an essential update for experienced data processing professionals, transaction managers and database specialists who are seeking system solutions beyond the confines of traditional approaches. It provides practical advice on how to manage complex transactions and share distributed databases on client servers and the Internet. Based on extensive research in over 100 companies in the USA, Europe, Japan and the UK, topics covered include : * the challenge of global transaction requirements within an expanding business perspective *how to handle long transactions and their constituent elements *possible benefits from object-oriented solutions * the contribution of knowledge engineering in transaction management * the Internet, the World Wide Web and transaction handling * systems software and transaction-processing monitors * OSF/1 and the Encina transaction monitor * active data transfers and remote procedure calls * serialization in a transaction environment * transaction locks, two-phase commit and deadlocks * improving transaction-oriented database management * the successful development of an increasingly complex transaction environment.