Real-Time Systems Design and Analysis. Tools for the Practitioner

The leading guide to real-time systems design-revised and updated This third edition of Phillip Laplante's bestselling, practical guide to building real-time systems maintains its predecessors' unique holistic, systems-based approach devised to help engineers write problem-solving software. Dr. Laplante incorporates a survey of related technologies and their histories, complete with time-saving practical tips, hands-on instructions, C code, and insights into decreasing ramp-up times. Real-Time Systems Design and Analysis, Third Edition is essential for students and practicing software engineers who want improved designs, faster computation, and ultimate cost savings. Chapters discuss hardware considerations and software requirements, software systems design, the software production process, performance estimation and optimization, and engineering considerations. This new edition has been revised to include: * Up-to-date information on object-oriented technologies for real-time including object-oriented analysis, design, and languages such as Java, C++, and C# * Coverage of significant developments in the field, such as: New life-cycle methodologies and advanced programming practices for real-time, including Agile methodologies Analysis techniques for commercial real-time operating system technology Hardware advances, including field-programmable gate arrays and memory technology * Deeper coverage of: Scheduling and rate-monotonic theories Synchronization and communication techniques Software testing and metrics Real-Time Systems Design and Analysis, Third Edition remains an unmatched resource for students and practicing software engineers who want improved designs, faster computation, and ultimate cost savings.

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.

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.

This book proposes systemic design methodologies applied to electrical energy systems, in particular analysis and system management, modeling and sizing tools. It includes 8 chapters: after an introduction to the systemic approach (history, basics & fundamental issues, index terms) for designing energy systems, this book presents two different graphical formalisms especially dedicated to multidisciplinary devices modeling, synthesis and analysis: Bond Graph and COG/EMR. Other systemic analysis approaches for quality and stability of systems, as well as for safety and robustness analysis tools are also proposed. One chapter is dedicated to energy management and another is focused on Monte Carlo algorithms for electrical systems and networks sizing. The aim of this book is to summarize design methodologies based in particular on a systemic viewpoint, by considering the system as a whole. These methods and tools are proposed by the most important French research laboratories, which have many scientific partnerships with other European and international research institutions. Scientists and engineers in the field of electrical engineering, especially teachers/researchers because of the focus on methodological issues, will find this book extremely useful, as will PhD and Masters students in this field.

A real-time system is a complex system which is an integral part of an industrial or experimental system, a vehicle or a construction machine. The peculiarity of these systems is that they are driven by real-time targets in distributed environments. Command-control for Real-time Systems presents the calculation of correction for industrial systems of different physical natures, their implementation on real-time target industrial systems (PLC-SCADA, embedded systems with distributed networks, Networked Control Systems) and their validation by simulation. It optimizes industrial processes by the use of automatic tools, industrial computing and communications networks and aims to successively integrate new control laws (linear, nonlinear and fuzzy controllers) so that users can leverage the power of engineering science as an automatic service process optimization while maintaining their high maintainability facilities. Contents 1. Introduction. 2. Modeling Tools, S?bastien Cabaret and Mohammed Chadli. 3. Control Tools, Mohammed Chadli and Herv? Coppier. 4. Application to Cryogenic Systems, Marco Pezzetti, Herv? Coppier and Mohammed Chadli. 5. Applications to a Thermal System and to Gas Systems, S?bastien Cabaret and Herv? Coppier. 6. Application to Vehicles, Elie Kafrouni and Mohammed Chadli. 7. Real-time Implementation, Marco Pezzetti and Herv? Coppier. About the Authors Mohamed Chadli is a senior lecturer and research supervisor at the University of Picardie Jules Verne (UPJV) in France. His main research interests lie in robust control, the diagnosis and fault tolerant control of polytopic systems and applications for automobiles. He is a senior member of the IEEE, and Vice President of the AAI Club as part of SEE-France. He is the author/co-author of 3 books, book chapters and more than 100 articles published in international journals and conferences. Herv? Coppier is a lecturing researcher at ESIEE-Amiens in France. He has collaborated with industrialists in the field of automation and industrial computing, particularly with CERN, and has spearheaded various international European projects.

Metaheuristics for Structural Design and Analysis discusses general properties and types of metaheuristic techniques, basic principles of topology, shape and size optimization of structures, and applications of metaheuristic algorithms in solving structural design problems. Analysis of structures using metaheuristic algorithms is also discussed. Comparisons are made with classical methods and modern computational methods through metaheuristic algorithms. The book is designed for senior structural engineering students, graduate students, academicians and practitioners.

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.

The simulation of electromagnetic transients is a mature field that plays an important role in the design of modern power systems. Since the first steps in this field to date, a significant effort has been dedicated to the development of new techniques and more powerful software tools. Sophisticated models, complex solution techniques and powerful simulation tools have been developed to perform studies that are of supreme importance in the design of modern power systems. The first developments of transients tools were mostly aimed at calculating over-voltages. Presently, these tools are applied to a myriad of studies (e.g. FACTS and Custom Power applications, protective relay performance, simulation of smart grids) for which detailed models and fast solution methods can be of paramount importance. This book provides a basic understanding of the main aspects to be considered when performing electromagnetic transients studies, detailing the main applications of present electromagnetic transients (EMT) tools, and discusses new developments for enhanced simulation capability. Key features: Provides up-to-date information on solution techniques and software capabilities for simulation of electromagnetic transients. Covers key aspects that can expand the capabilities of a transient software tool (e.g. interfacing techniques) or speed up transients simulation (e.g. dynamic model averaging). Applies EMT-type tools to a wide spectrum of studies that range from fast electromagnetic transients to slow electromechanical transients, including power electronic applications, distributed energy resources and protection systems. Illustrates the application of EMT tools to the analysis and simulation of smart grids.

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.