Command-control for Real-time Systems

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 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 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.

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.

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.

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.

Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to understand and apply model-drive engineering (MDE) and model-drive architecture (MDA) approaches to the development of embedded systems. Chapters, written by experts from academia and industry, cover topics relating to MDE practices and methods, as well as emerging MDE technologies. Much of the writing is based on the presentations given at the Summer School “MDE for Embedded Systems” held at Brest, France, in September 2004.

Control Theory Applications for Dynamic Production Systems Apply the fundamental tools of linear control theory to model, analyze, design, and understand the behavior of dynamic production systems In Control Theory Applications for Dynamic Production Systems: Time and Frequency Methods for Analysis and Design, distinguished manufacturing engineer Dr. Neil A. Duffie delivers a comprehensive explanation of how core concepts of control theorical analysis and design can be applied to production systems. Time-based perspectives on response to turbulence are augmented by frequency-based perspectives, fostering new understanding and guiding design of decision-making. The time delays intrinsic to decision making and decision implementation in production systems are addressed throughout. Readers will discover methods for calculating time response and frequency response, modeling using transfer functions, assessing stability, and design of decision making for closed-loop production systems. The author has included real-world examples emphasizing the different components of production systems and illustrating how practical results can be quickly obtained using straightforward Matlab programs (which can easily be translated to other platforms). Avoiding unnecessary theoretical jargon, this book fosters an in-depth understanding of key tools of control system engineering. It offers: A thorough introduction to core control theoretical concepts of analysis and design of dynamic production systems Comprehensive and integrated explorations of continuous-time and discrete-time models of production systems, employing transfer functions and block diagrams Practical discussions of time response, frequency response, fundamental dynamic behavior, closed-loop production systems, and the design of decision-making In-depth examples of the analysis and design of complex dynamic behavior requiring approaches such as matrices of transfer functions and modeling of multiple sampling rates Perfect for production, manufacturing, industrial, and control system engineers, Control Theory Applications for Dynamic Production Systems will also earn a place in the libraries of students taking advanced courses on industrial system digitalization, dynamics, and design.

A concise, in-depth introduction to active disturbance rejection control theory for nonlinear systems, with numerical simulations and clearly worked out equations Provides the fundamental, theoretical foundation for applications of active disturbance rejection control Features numerical simulations and clearly worked out equations Highlights the advantages of active disturbance rejection control, including small overshooting, fast convergence, and energy savings

With resources at a premium, and ecological concerns paramount, the need for clean, efficient and low-cost processes is one of the most critical challenges facing chemical engineers. The ability to control these processes, optimizing one, two or several variables has the potential to make more substantial savings in time, money and resources than any other single factor. Building on the success of the previous editions, this new third edition of A Real-Time Approach to Process Control employs both real industry practice and process control education without the use of complex or highly mathematical techniques, providing a more practical and applied approach. Updated throughout, this edition: • Includes a brand new chapter on Model predictive Control (MPC) • Now includes wireless and web-based technologies • Covers bio-related systems • Details the new multivariable control measure developed by the authors • Includes PowerPoint slides and solutions to Workshop problems on the accompanying website: http://www.wiley.com/go/svrcek-real-time-3e From the reviews of previous editions: “Would appeal to practising engineers due to its “hands on” feel for the subject matter. But more importantly, the authors present these concepts as fundamentals of chemical engineering, in a way that is consistent with how professor teach at the universities.” –Chemical Engineering Process (CEP) “The book has been beautifully crafted” –Engineering Subject Centre “Provides a refreshing approach to the presentation of process analysis and control” –The Chemical Engineer