A reactive system is one that is in continual interaction with its environment and executes at a pace determined by that environment. Examples of reactive systems are network protocols, air-traffic control systems, industrial-process control systems etc. Reactive systems are ubiquitous and represent an important class of systems. Due to their complex nature, such systems are extremely difficult to specify and implement. Many reactive systems are employed in highly-critical applications, making it crucial that one considers issues such as reliability and safety while designing such systems. The design of reactive systems is considered to be problematic, and p.oses one of the greatest challenges in the field of system design and development. In this paper, we discuss specification-modeling methodologies for reactive systems. Specification modeling is an important stage in reactive system design where the designer specifies the desired properties of the reactive system in the form of a specification model. This specification model acts as the guidance and source for the implementation. To develop the specification model of complex systems in an organized manner, designers resort to specification modeling methodologies. In the context of reactive systems, we can call such methodologies reactive-system specification modeling methodologies.

This book introduces a new notion of replacement in maintenance and reliability theory. Replacement Overtime, where replacement is done at the first completion of a working cycle over a planned time, is a new research topic in maintenance theory and also serves to provide a fresh optimization technique in reliability engineering. In comparing replacement overtime with standard and random replacement techniques theoretically and numerically, 'Maintenance Overtime Policies in Reliability Theory' highlights the key improvements to be gained by adopting this new approach and shows how they can be applied to inspection policies, parallel systems and cumulative damage models. Utilizing the latest research in replacement overtime by internationally recognized experts, the reader will be introduced to new topics and methods, and learn how to apply this knowledge practically to actual reliability models. This book will serve as an essential guide to a new subject of study for graduate students and researchers and also provides a useful guide for reliability engineers and managers who have difficulties in maintenance of computer and production systems with random working cycles.

In just 24 lessons of one hour or less, Design Thinking for Tech helps you inject techniques and exercises into your projects using the same systematic and creative process that designers have used for years. Anderson walks you through a simple four-phase Design Thinking model, showing how to loop back, keep learning, and continuously refine your work. You start by understanding the essential "what, how, when, why, and who" of Design Thinking. Next, you use core Design Thinking techniques to understand the big picture, focus on your most critical problems, think more creatively about them, take the "next best steps" toward problem resolution and value creation, and along the way rapidly iterate for progress. Every lesson builds on what you've already learned, with exercises crafted to deliver directly relevant experience. Regardless of your role in the world of technology, you'll learn how to supercharge success for any tech-related project, business initiative, or digital transformation. Learn how to... Apply a simple four-phased Design Thinking model in team and individual settings Inject game-changing methods into the project lifecycle Gain crucial "big picture" insights into how a situation has evolved over time Build and maintain healthier, more resilient teams Reskill teams to deliver greater business, functional, and technical impact Set and manage realistic expectations through a 360 Degrees view of your stakeholders Connect, communicate, and empathize with the right people at the right time Liberate the ideas trapped in your head so you can explore them deeply with others Think divergently, expand creativity, and work through uncertainty Navigate problems to quickly arrive at potential solutions Deliver incremental yet real value to people who desperately need it Start small to deliver greater value at velocity Improve how you approach and manage change Step-by-step instructions carefully walk you through the most common tasks. Practical, hands-on examples show you how to apply what you learn. Quizzes and exercises help you test your knowledge and stretch your skills. Notes and tips point out shortcuts and solutions.

The process of designing large real-time embedded signal processing systems is plagued by a lack of coherent specification and design methodology. A canonical waterfall design process is commonly used to specify, design, and implement these systems with commercial-off-the-shelf (COTS) multiprocessing (MP) hardware and software. Powerful frameworks exist for each individual phase of this canonical design process, but no single methodology exists which enables these frameworks to work together coherently, i.e., allowing the output of a framework used in one phase to be consumed by a different framework used in the next phase. This lack of coherence usually leads to design errors that are not caught until well in to the implementation phase. Since the cost of redesign increases as the design moves through these three stages, redesign is the most expensive if not performed until the implementation phase, thus making the current incoherent methodology costly. Specification and Design Methodology for Real-Time Embedded Systems shows how designs targeting COTS MP technologies can be improved by providing a coherent coupling between these frameworks, a quality known as "model continuity. This book presents a new specification and design methodology (SDM) which accomplishes the requirements specification, design exploration, and implementation of COTS MP-based signal processing systems by using powerful commercial frameworks that are intelligently integrated into a single domain-specific SDM. From the foreword: "This book is remarkably practical. It provides an excellent snapshot of the state-of-the-art and gives the reader a good understanding of both the fundamental challenges of specificationand design as well as a unified and quantified ability to assess a given methodology." Daniel Gajski, University of California

CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.

I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (eRM). The main goal of verification is, after all, finding more bugs quicker using given resources, and verification reuse (module-to-system, old-system-to-new-system etc. ) is a key enabling component. This book offers a fresh approach in teaching the e hardware verification language within the context of coverage driven verification methodology. I hope it will help the reader und- stand the many important and interesting topics surrounding hardware verification. Yoav Hollander Founder and CTO, Verisity Inc. Preface This book provides a detailed coverage of the e hardware verification language (HVL), state of the art verification methodologies, and the use of e HVL as a facilitating verification tool in implementing a state of the art verification environment. It includes comprehensive descriptions of the new concepts introduced by the e language, e language syntax, and its as- ciated semantics. This book also describes the architectural views and requirements of verifi- tion environments (randomly generated environments, coverage driven verification environments, etc. ), verification blocks in the architectural views (i. e. generators, initiators, c- lectors, checkers, monitors, coverage definitions, etc. ) and their implementations using the e HVL. Moreover, the e Reuse Methodology (eRM), the motivation for defining such a gui- line, and step-by-step instructions for building an eRM compliant e Verification Component (eVC) are also discussed.

As electronic technology reaches the point where complex systems can be integrated on a single chip, and higher degrees of performance can be achieved at lower costs, designers must devise new ways to undertake the laborious task of coping with the numerous, and non-trivial, problems that arise during the conception of such systems. On the other hand, shorter design cycles (so that electronic products can fit into shrinking market windows) put companies, and consequently designers, under pressure in a race to obtain reliable products in the minimum period of time. New methodologies, supported by automation and abstraction, have appeared which have been crucial in making it possible for system designers to take over the traditional electronic design process and embedded systems is one of the fields that these methodologies are mainly targeting. The inherent complexity of these systems, with hardware and software components that usually execute concurrently, and the very tight cost and performance constraints, make them specially suitable to introduce higher levels of abstraction and automation, so as to allow the designer to better tackle the many problems that appear during their design. Advanced Techniques for Embedded Systems Design and Test is a comprehensive book presenting recent developments in methodologies and tools for the specification, synthesis, verification, and test of embedded systems, characterized by the use of high-level languages as a road to productivity. Each specific part of the design process, from specification through to test, is looked at with a constant emphasis on behavioral methodologies. Advanced Techniques for Embedded Systems Design and Test is essential reading for all researchers in the design and test communities as well as system designers and CAD tools developers.

In recent years, the use of technology for the purposes of improving and enriching traditional instructional practices has received a great deal of attention. However, few works have explicitly examined cognitive, psychological, and educational principles on which technology-supported learning environments are based. This volume attempts to cover the need for a thorough theoretical analysis and discussion of the principles of system design that underlie the construction of technology-enhanced learning environments. It presents examples of technology-supported learning environments that cover a broad range of content domains, from the physical sciences and mathematics to the teaching of language and literacy.
The emphasis in this book is not on the design of educational software but on the design of learning environments. A great deal of research on learning and instruction has recently moved out of the laboratory into the design of applications in instructional settings. By designing technology-supported learning environments instructional scientists attempt to better understand the theories and principles that are explicit in their theories of learning. The contributors to this volume examine how factors such as social interaction, the creation of meaningful activities, the use of multiple perspectives, and the construction of concrete representations influence the acquisition of new information and transfer.

This book focuses on design in the domain of human-computer interaction. Including a broad sampling of case studies as well as narrower theoretical or empirical studies, it includes consideration of educational uses of design rationale, methods for teaching it in industry, and applications to a variety of software and user interface/application domains. The volume promises to be the largest collection of work on design rationale ever assembled, and thereby to energize the considerable, widespread interest in this topic. It will also act as a focus for the existing but scattered work in this domain.

This book focuses on design in the domain of human-computer interaction. Including a broad sampling of case studies as well as narrower theoretical or empirical studies, it includes consideration of educational uses of design rationale, methods for teaching it in industry, and applications to a variety of software and user interface/application domains. The volume promises to be the largest collection of work on design rationale ever assembled, and thereby to energize the considerable, widespread interest in this topic. It will also act as a focus for the existing but scattered work in this domain.

Memory Architecture Exploration for Programmable Embedded Systems addresses efficient exploration of alternative memory architectures, assisted by a "compiler-in-the-loop" that allows effective matching of the target application to the processor-memory architecture. This new approach for memory architecture exploration replaces the traditional black-box view of the memory system and allows for aggressive co-optimization of the programmable processor together with a customized memory system.
The book concludes with a set of experiments demonstrating the utility of this exploration approach. The authors perform architecture and compiler exploration for a set of large, real-life benchmarks, uncovering promising memory configurations from different perspectives, such as cost, performance and power.

The area of hybrid dynamical systems (HDS) represents a difficult and exciting challenge to control engineers and is referred to as "the control theory of tomorrow" because of its future potential for solving problems. This relatively new discipline bridges control engineering, mathematics, and computer science. There is now an emerging literature on this topic describing a number of mathematical models, heuristic algorithms, and stability criteria. However, presently there is no systematic theory of HDS. "Hybrid Dynamical Systems" focuses on a comprehensive development of HDS theory and integrates results established by the authors.

The work is a self-contained informative text/reference, covering several theoretically interesting and practically significant problems concerning the use of switched controllers and examining the sensor scheduling problem. The emphasis is on classes of uncertain systems as models for HDS.

Features and topics:

* Focuses on the design of robust HDS in a logical and clear manner

* Applies the hybrid control systems framework to two classical robust control problems: design of an optimal stable controller for a linear system and simultaneous stabilization of a collection of plants

* Presents a detailed treatment of stability and H-infinity control problems for a class of HDS

* Covers recent original results with complete mathematically rigorous proofs

Researchers and postgraduate students in control engineering, applied mathematics, and theoretical computer science will find this book covers the latest results on this important area of research. Advanced engineering practitioners and applied researchers working in areas of controlengineering, signal processing, communications, and fault detection will find this book an up-to-date resource.

This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (Chapters 1 to 5), was an introduction to the basic concepts of formal language theory and context-free parsing. Volume II (Chapters 6 to 10) contains a thorough treat ment of the theory of the two most important deterministic parsing methods: LR(k) and LL(k) parsing. Volume II is a continuation of Volume I; together these two volumes form an integrated work, with chapters, theorems, lemmas, etc. numbered consecutively. Volume II begins with Chapter 6 in which the classical con structions pertaining to LR(k) parsing are presented. These include the canonical LR(k) parser, and its reduced variants such as the LALR(k) parser and the SLR(k) parser. The grammarclasses for which these parsers are deterministic are called LR(k) grammars, LALR(k) grammars and SLR(k) grammars; properties of these grammars are also investigated in Chapter 6. A great deal of attention is paid to the rigorous development of the theory: detailed mathematical proofs are provided for most of the results presented."

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

Model-Based Systems Engineering explains the fundamental theories behind model-based systems and the considerations involved in applying theory to the design of real systems. The book begins by presenting terms used in systems engineering and introducing the discrete system and its components. The remainder of the text explains topics such as the mathematical theory of system coupling, the homomorphic relationship between systems, the concept of system mode, the mathematical structure of T3SD system requirements, and the implications of that structure for T3SD system design. Appendices include a short bibliography, detailed definitions of all examples discussed in the text, a list of all notations used, and an index.
Model-Based Systems Engineering is an excellent text for engineering students, and an invaluable reference for engineers and scientists.

Improvement in the quality of integrated circuit designs and a designer's productivity can be achieved by a combination of two factors: Using more structured design methodologies for extensive reuse of existing components and subsystems. It seems that 70% of new designs correspond to existing components that cannot be reused because of a lack of methodologies and tools. Providing higher level design tools allowing to start from a higher level of abstraction. After the success and the widespread acceptance of logic and RTL synthesis, the next step is behavioral synthesis, commonly called architectural or high-level synthesis. Behavioral Synthesis and Component Reuse with VHDL provides methods and techniques for VHDL based behavioral synthesis and component reuse. The goal is to develop VHDL modeling strategies for emerging behavioral synthesis tools. Special attention is given to structured and modular design methods allowing hierarchical behavioral specification and design reuse. The goal of this book is not to discuss behavioral synthesis in general or to discuss a specific tool but to describe the specific issues related to behavioral synthesis of VHDL description. This book targets designers who have to use behavioral synthesis tools or who wish to discover the real possibilities of this emerging technology. The book will also be of interest to teachers and students interested to learn or to teach VHDL based behavioral synthesis.

The time evol11tion of many physical phenomena in nat11re can be de scribed by partial differential eq11ations. To analyze and control the dynamic behavior of s11ch systems. infinite dimensional system theory was developed and has been refined over the past several decades. In recent years. stim11lated by the applications arising from space exploration. a11tomated manufact11ring, and other areas of technological advancement, major progress has been made in both theory and control technology associated with infinite dimensional systems. For example, new conditions in the time domain and frequency domain have been derived which guarantee that a Co-semigroup is exponen tially stable; new feedback control laws helVe been proposed to exponentially;;tabilize beam. wave, and thermoelastic equations; and new methods have been developed which allow us to show that the spectrum-determined growth condition holds for a wide class of systems. Therefore, there is a need for a reference book which presents these restllts in an integrated fashion. Complementing the existing books, e. g . . 1]. 41]. and 128]. this book reports some recent achievements in stability and feedback stabilization of infinite dimensional systems. In particular, emphasis will be placed on the second order partial differential equations. such as Euler-Bernoulli beam equations. which arise from control of numerous mechanical systems stich as flexible robot arms and large space structures. We will be focusing on new results. most of which are our own recently obtained research results."

Reservation procedures constitute the core of many popular data transmission protocols. They consist of two steps: A request phase in which a station reserves the communication channel and a transmission phase in which the actual data transmission takes place. Such procedures are often applied in communication networks that are characterised by a shared communication channel with large round-trip times.

In this book, we propose queuing models for situations that require a reservation procedure and validate their applicability in the context of cable networks.

We offer various mathematical models to better understand the performance of these reservation procedures. The book covers four key performance models, and modifications to these: Contention trees, the repairman model, the bulk service queue, and tandem queues.

The relevance of this book is not limited to reservation procedures and cable networks, and performance analysts from a variety of areas may benefit, as all models have found application in other fields as well.

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.

In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques.

Researchers and students will learn basic dependability concepts and how to model them usingUML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies."

Verification isjob one in today's modem design process. Statistics tell us that the verification process takes up a majority of the overall work. Chips that come back dead on arrival scream that verification is at fault for not finding the mistakes. How do we ensure success? After an accomplishment, have you ever had someone ask you, "Are you good or are you just lucky?"? Many design projects depend on blind luck in hopes that the chip will work. Other's, just adamantly rely on their own abilities to bring the chip to success. ill either case, how can we tell the difference between being good or lucky? There must be a better way not to fail. Failure. No one likes to fail. ill his book, "The Logic of Failure," Dietrich Domer argues that failure does not just happen. A series of wayward steps leads to disaster. Often these wayward steps are not really logical, decisive steps, but more like default omissions. Anti-planning if you will, an ad-hoc approach to doing something. To not plan then, is to fail.

With this book, Christopher Kormanyos delivers a highly practical guide to programming real-time embedded microcontroller systems in C++. It is divided into three parts plus several appendices. Part I provides a foundation for real-time C++ by covering language technologies, including object-oriented methods, template programming and optimization. Next, part II presents detailed descriptions of a variety of C++ components that are widely used in microcontroller programming. It details some of C++'s most powerful language elements, such as class types, templates and the STL, to develop components for microcontroller register access, low-level drivers, custom memory management, embedded containers, multitasking, etc. Finally, part III describes mathematical methods and generic utilities that can be employed to solve recurring problems in real-time C++. The appendices include a brief C++ language tutorial, information on the real-time C++ development environment and instructions for building GNU GCC cross-compilers and a microcontroller circuit. For this fourth edition, the most recent specification of C++20 is used throughout the text. Several sections on new C++20 functionality have been added, and various others reworked to reflect changes in the standard. Also several new example projects ranging from introductory to advanced level are included and existing ones extended, and various reader suggestions have been incorporated. Efficiency is always in focus and numerous examples are backed up with runtime measurements and size analyses that quantify the true costs of the code down to the very last byte and microsecond. The target audience of this book mainly consists of students and professionals interested in real-time C++. Readers should be familiar with C or another programming language and will benefit most if they have had some previous experience with microcontroller electronics and the performance and size issues prevalent in embedded systems programming.

This comprehensive volume is the product of an intensive collaborative effort among researchers across the United States, Europe and Japan. The result -- a change in the way we think of humans and computers.

Resilience Engineering (RE) studies have successfully identified and described many instances of resilient performance in high hazard sectors as well as in the far more frequent cases where people and organisations cope with the uncertainties of daily operations. Since RE was first described in 2006, a steady accumulation of insights and efforts have provided the basis for practical tools and methods. This development has been documented by a series of texts in the Resilience Engineering Perspectives series as well as by a growing number of papers and reports. This book encapsulates the essential practical lessons learned from the use of Resilience Engineering (RE) for over ten years. The main contents are a series of chapters written by those who have been instrumental in these applications. To increase the value for the reader, each chapter will include: rationale for the overall approach; data sought and reason(s) for choosing; data sources used, data analyses performed, and how recommendations were made and turned into practice. Serving as a reference for practitioners who want to analyse, support, and manage resilient performance, this book also advances research into RE by inquiring why work goes well in unpredictable environments, to improve work performance, or compensate for deficiencies.

Queueing theory applications can be discovered in many walks of life including; transportation, manufacturing, telecommunications, computer systems and more. However, the most prevalent applications of queueing theory are in the telecommunications field. Queueing Theory for Telecommunications: Discrete Time Modelling of a Single Node System focuses on discrete time modeling and illustrates that most queueing systems encountered in real life can be set up as a Markov chain. This feature is very unique because the models are set in such a way that matrix-analytic methods are used to analyze them. Queueing Theory for Telecommunications: Discrete Time Modelling of a Single Node System is the most relevant book available on queueing models designed for applications to telecommunications. This book presents clear concise theories behind how to model and analyze key single node queues in discrete time using special tools that were presented in the second chapter. The text also delves into the types of single node queues that are very frequently encountered in telecommunication systems modeling, and provides simple methods for analyzing them. Where appropriate, alternative analysis methods are also presented. This book is for advanced-level students and researchers concentrating on engineering, computer science and mathematics as a secondary text or reference book. Professionals who work in the related industries of telecommunications, industrial engineering and communications engineering will find this book useful as well.

Besides scheduling problems for single and parallel machines and shop scheduling problems, this book covers advanced models involving due-dates, sequence dependent changeover times and batching. Discussion also extends to multiprocessor task scheduling and problems with multi-purpose machines. Among the methods used to solve these problems are linear programming, dynamic programming, branch-and-bound algorithms, and local search heuristics. The text goes on to summarize complexity results for different classes of deterministic scheduling problems.