Dependable Computer Systems

by Kishor S. Trivedi (Author)

The book consists of papers on selected topics of dependability analysis in computer systems and networks which were discussed during the 17th DepCoS-RELCOMEX conference held in Wrocław, Poland, from June 27th to July 1st, 2022. Their collection will be an interesting source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation.

The book consists of papers on selected topics of dependability analysis in computer systems and networks which were discussed during the 17th DepCoS-RELCOMEX conference held in Wrocław, Poland, from June 27th to July 1st, 2022. Their collection will be an interesting source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation.

Software has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognised state of crisis since the first NATO Software Engineering conference in 1968. Time and again we have been proven unable to engineer reliable software as easily/cheaply as we imagined. Cost overruns and expensive failures are the norm.

Robust control theory allows for changes in a system whilst maintaining stability and performance. Applications of this technique are very important for dependable embedded systems, making technologies such as drones and other autonomous systems with sophisticated embedded controllers and systems relatively common-place. The aim of this book is to present the theoretical and practical aspects of embedded robust control design and implementation with the aid of MATLAB® and SIMULINK®. It covers methods suitable for practical implementations, combining knowledge from control system design and computer engineering to describe the entire design cycle.

Real-Time Systems: Design Principles for Distributed Embedded Applications focuses on hard real-time systems, which are computing systems that must meet their temporal specification in all anticipated load and fault scenarios. The book stresses the system aspects of distributed real-time applications, treating the issues of real-time, distribution and fault-tolerance from an integral point of view. A unique cross-fertilization of ideas and concepts between the academic and industrial worlds has led to the inclusion of many insightful examples from industry to explain the fundamental scientific concepts in a real-world setting. Thus, this book serves as an excellent text for advanced level courses on real-time systems.