Real-Time Systems Design and Analysis

The leading text in the field explains step by step how to write software that responds in real time From power plants to medicine to avionics, the world increasingly depends on computer systems that can compute and respond to various excitations in real time. The Fourth Edition of Real-Time Systems Design and Analysis gives software designers the knowledge and the tools needed to create real-time software using a holistic, systems-based approach. The text covers computer architecture and organization, operating systems, software engineering, programming languages, and compiler theory, all from the perspective of real-time systems design. The Fourth Edition of this renowned text brings it thoroughly up to date with the latest technological advances and applications. This fully updated edition includes coverage of the following concepts: Multidisciplinary design challenges Time-triggered architectures Architectural advancements Automatic code generation Peripheral interfacing Life-cycle processes The final chapter of the text offers an expert perspective on the future of real-time systems and their applications. The text is self-contained, enabling instructors and readers to focus on the material that is most important to their needs and interests. Suggestions for additional readings guide readers to more in-depth discussions on each individual topic. In addition, each chapter features exercises ranging from simple to challenging to help readers progressively build and fine-tune their ability to design their own real-time software programs. Now fully up to date with the latest technological advances and applications in the field, Real-Time Systems Design and Analysis remains the top choice for students and software engineers who want to design better and faster real-time systems at minimum cost.

A comprehensive treatment of model-based fuzzy control systems This volume offers full coverage of the systematic framework for the stability and design of nonlinear fuzzy control systems. Building on the Takagi-Sugeno fuzzy model, authors Tanaka and Wang address a number of important issues in fuzzy control systems, including stability analysis, systematic design procedures, incorporation of performance specifications, numerical implementations, and practical applications. Issues that have not been fully treated in existing texts, such as stability analysis, systematic design, and performance analysis, are crucial to the validity and applicability of fuzzy control methodology. Fuzzy Control Systems Design and Analysis addresses these issues in the framework of parallel distributed compensation, a controller structure devised in accordance with the fuzzy model. This balanced treatment features an overview of fuzzy control, modeling, and stability analysis, as well as a section on the use of linear matrix inequalities (LMI) as an approach to fuzzy design and control. It also covers advanced topics in model-based fuzzy control systems, including modeling and control of chaotic systems. Later sections offer practical examples in the form of detailed theoretical and experimental studies of fuzzy control in robotic systems and a discussion of future directions in the field. Fuzzy Control Systems Design and Analysis offers an advanced treatment of fuzzy control that makes a useful reference for researchers and a reliable text for advanced graduate students in the field.

Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification Following an introductory overview, Dr. Wang delves into the specifics of hardware components, including processors, memory, I/O devices and architectures, communication structures, peripherals, and characteristics of real-time operating systems. Later chapters are dedicated to real-time task scheduling algorithms and resource access control policies, as well as priority-inversion control and deadlock avoidance. Concurrent system programming and POSIX programming for real-time systems are covered, as are finite state machines and Time Petri nets. Of special interest to software engineers will be the chapter devoted to model checking, in which the author discusses temporal logic and the NuSMV model checking tool, as well as a chapter treating real-time software design with UML. The final portion of the book explores practical issues of software reliability, aging, rejuvenation, security, safety, and power management. In addition, the book: Explains real-time embedded software modeling and design with finite state machines, Petri nets, and UML, and real-time constraints verification with the model checking tool, NuSMV Features real-world examples in finite state machines, model checking, real-time system design with UML, and more Covers embedded computer programing, designing for reliability, and designing for safety Explains how to make engineering trade-offs of power use and performance Investigates practical issues concerning software reliability, aging, rejuvenation, security, and power management Real-Time Embedded Systems is a valuable resource for those responsible for real-time and embedded software design, development, and management. It is also an excellent textbook for graduate courses in computer engineering, computer science, information technology, and software engineering on embedded and real-time software systems, and for undergraduate computer and software engineering courses.

This book presents a unified frequency-domain method for the analysis of distributed control systems. The following important topics are discussed by using the proposed frequency-domain method: (1) Scalable stability criteria of networks of distributed control systems; (2) Effect of heterogeneous delays on the stability of a network of distributed control system; (3) Stability of Internet congestion control algorithms; and (4) Consensus in multi-agent systems. This book is ideal for graduate students in control, networking and robotics, as well as researchers in the fields of control theory and networking who are interested in learning and applying distributed control algorithms or frequency-domain analysis methods.

An Authoritative Introduction to a Major Subject in Systems Engineering and Management This important volume fills the need for a textbook on the fundamentals of economic systems analysis and assessment, illustrating their vital role in systems engineering and systems management. Providing extensive coverage on key topics, it assumes no prior background in mathematics or economics in order to comprehend the material. The book is comprised of five major parts: Microeconomics: a concise overview that covers production and the theory of the firm; theory of the consumer; market equilibria and market imperfections; and normative or welfare economics, including imperfect competition effects and consumer and producer surplus Program Management Economics: discusses economic valuation of programs and projects, including investment rates of return; cost-benefit and cost-effectiveness analysis; earned value management; cost structures and estimation of program costs and schedules; strategic and tactical pricing issues; and capital investment and options Cost Estimation: reviews cost-estimation technologies involving precedented and unprecedented development, commercial-off-the-shelf (COTS) software, software reuse, application generators, and fourth-generation languages Strategic Investments in an Uncertain World: addresses alternative methods for valuation of firms including Stern Stewart's EVA, Holt's CFROI, and various competing methodologies Contemporary Perspectives: covers ongoing extensions to theory and practice that enable satisfactory treatment of the increasing returns to scale, network effects, and path-dependent issues generally associated with contemporary ultra-large-scale telecommunications and information networks Also discussed in this comprehensive text are normative or welfare economics and behavioral economics; COCOMO I and II and COSYSMO as examples of a cost model; and options-based valuation models and valuation of information technology intensive enterprises. Economic Systems Analysis and Assessment serves as an ideal textbook for senior undergraduate and first-year graduate courses in economic systems analysis and assessment, as well as a valuable reference for engineers and managers involved with information technology intensive systems, professional economists, cost analysts, investment evaluators, and systems engineers.

The first book to provide a comprehensive overview of the subject rather than a collection of papers. The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences. A handy reference for practitioners in the field.

Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since responsible of software execution in a timely manner. This book provides state of knowledge in this domain with special emphasis on the key results obtained within the last decade. This book addresses foundations as well as the latest advances and findings in Real-Time Scheduling, giving all references to important papers. But nevertheless the chapters will be short and not overloaded with confusing details. Coverage includes scheduling approaches for mono-core as well as multi-core platforms, dependent tasks, networks, and notably very tremendous recent advances in scheduling of energy constrained embedded systems. Other sophisticated issues such as feedback control scheduling and timing analysis of critical applications are also addressed. This volume can serve as a textbook for courses on the topic in bachelor and in more advanced master programs. It also provides a reference for computer scientists and engineers involved in the design or the development of Cyber-Physical Systems which require up-to-date real-time scheduling solutions.

Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since it is responsible for software execution in a timely manner. This book, the second of two volumes on the subject, brings together knowledge on specific topics and discusses the recent advances for some of them. It addresses foundations as well as the latest advances and findings in real-time scheduling, giving comprehensive references to important papers, but the chapters are short and not overloaded with confusing details. Coverage includes scheduling approaches for networks and for energy autonomous systems. Other sophisticated issues, such as feedback control scheduling and probabilistic scheduling, are also addressed. This book can serve as a textbook for courses on the topic in bachelor’s degrees and in more advanced master’s degree programs. It also provides a reference for computer scientists and engineers involved in the design or the development of Cyber-Physical Systems which require up-to-date real-time scheduling solutions.

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.