Dependability Benchmarking for Computer Systems

Presents recent developments of probabilistic assessment of systems dependability based on stochastic models, including graph theory, finite state automaton and language theory, for both dynamic and hybrid contexts.

Petri Nets were defined for the study of discrete events systems and later extended for many purposes including dependability assessment. In our knowledge, no book deals specifically with the use of different type of PN to dependability. We propose in addition to bring a focus on the adequacy of Petri net types to the study of various problems related to dependability such as risk analysis and probabilistic assessment. In the first part, the basic models of PN and some useful extensions are briefly recalled. In the second part, the PN are used as a formal model to describe the evolution process of critical system in the frame of an ontological approach. The third part focuses on the stochastic Petri Nets (SPN) and their use in dependability assessment. Different formal models of SPN are formally presented (semantics, evolution rules…) and their equivalence with the corresponding class of Markov processes to get an analytical assessment of dependability. Simplification methods are proposed in order to reduce the size of analytical model and to make it more calculable. The introduction of some concepts specific to high level PN allows too the consideration of complex systems. Few applications in the field of the instrumentation and control (l&C) systems, safety integrated systems (SIS) emphasize the benefits of SPN for dependability assessment.

Since publication of the first edition of Computer Relaying for Power Systems in 1988, computer relays have been widely accepted by power engineers throughout the world and in many countries they are now the protective devices of choice. The authors have updated this new edition with the latest developments in technology and applications such as adaptive relaying, wide area measurements, signal processing, new GPS-based measurement techniques and the application of artificial intelligence to digital relays. New material also includes sigma-delta and oversampling A/D converters, self-polarizing and cross-polarizing in transmission lines protection and optical current and voltage transformers. Phadke and Thorp have been working together in power systems engineering for more than 30 years. Their impressive work in the field has been recognized by numerous awards, including the prestigious 2008 Benjamin Franklin Medal in Electrical Engineering for their pioneering contributions to the development and application of microprocessor controllers in electric power systems. Provides the student with an understanding of computer relaying Authored by international authorities in computer relaying Contents include relaying practices, mathematical basis for protective relaying algorithms, transmission line relaying, protection of transformers, machines and buses, hardware organization in integrated systems, system relaying and control, and developments in new relaying principles Features numerous solved examples to explain several of the more complex topics, as well as a problem at the end of each chapter Includes an updated list of references and a greatly expanded subject index.

A comprehensive look at General automata and how it can be used to establish the fundamentals for communication in human-computer systems Drawing on author Eldo C. Koenig's extensive expertise and culling from his thirty-four previously published works, this seminal resource presents knowledge structures for communication in Human-Computer Systems (HCS) based on General automata. The resulting model provides knowledge representations for software engineering. Of the many features required for a method to achieve the desired communication in HCS, Knowledge Structures for Communications in Human-Computer Systems identifies six of them in great length-extracting and storing the knowledge of sentences; knowledge association; deductive processes; inferences; feedback; and sequencing of knowledge-along with illustrations for achieving them by the General Automata Method. After presenting the analysis for each feature, the book includes practical applications that illustrate the results. Koenig also describes algorithms and programs that achieve some of the features, and provides readers with additional algorithms and further research. Richly illustrated throughout to elucidate concepts, Knowledge Structures for Communications in Human-Computer Systems is an excellent teaching text suitable for both academic and industrial settings.

An all-encompassing text that focuses on the fundamentals of power integrity Power integrity is the study of power distribution from the source to the load and the system level issues that can occur across it. For computer systems, these issues can range from inside the silicon to across the board and may egress into other parts of the platform, including thermal, EMI, and mechanical. With a focus on computer systems and silicon level power delivery, this book sheds light on the fundamentals of power integrity, utilizing the author’s extensive background in the power integrity industry and unique experience in silicon power architecture, design, and development. Aimed at engineers interested in learning the essential and advanced topics of the field, this book offers important chapter coverage of fundamentals in power distribution, power integrity analysis basics, system-level power integrity considerations, power conversion in computer systems, chip-level power, and more. Fundamentals of Power Integrity for Computer Platforms and Systems: Introduces readers to both the field of power integrity and to platform power conversion Provides a unique focus on computer systems and silicon level power delivery unavailable elsewhere Offers detailed analysis of common problems in the industry Reviews electromagnetic field and circuit representation Includes a detailed bibliography of references at the end of each chapter Works out multiple example problems within each chapter Including additional appendixes of tables and formulas, Fundamentals of Power Integrity for Computer Platforms and Systems is an ideal introductory text for engineers of power integrity as well as those in the chip design industry, specifically physical design and packaging.

System reliability, availability and robustness are often not well understood by system architects, engineers and developers. They often don't understand what drives customer's availability expectations, how to frame verifiable availability/robustness requirements, how to manage and budget availability/robustness, how to methodically architect and design systems that meet robustness requirements, and so on. The book takes a very pragmatic approach of framing reliability and robustness as a functional aspect of a system so that architects, designers, developers and testers can address it as a concrete, functional attribute of a system, rather than an abstract, non-functional notion.

Computer and network systems have given us unlimited opportunities of reducing cost, improving efficiency, and increasing revenues, as demonstrated by an increasing number of computer and network applications. Yet, our dependence on computer and network systems has also exposed us to new risks, which threaten the security of, and present new challenges for protecting our assets and information on computer and network systems. The reliability of computer and network systems ultimately depends on security and quality of service (QoS) performance. This book presents quantitative modeling and analysis techniques to address these numerous challenges in cyber attack prevention and detection for security and QoS, including: the latest research on computer and network behavior under attack and normal use conditions; new design principles and algorithms, which can be used by engineers and practitioners to build secure computer and network systems, enhance security practice and move to providing QoS assurance on the Internet; mathematical and statistical methods for achieving the accuracy and timeliness of cyber attack detection with the lowest computational overhead; guidance on managing admission control, scheduling, reservation and service of computer and network jobs to assure the service stability and end-to-end delay of those jobs even under Denial of Service attacks or abrupt demands. Secure Computer and Network Systems: Modeling, Analysis and Design is an up-to-date resource for practising engineers and researchers involved in security, reliability and quality management of computer and network systems. It is also a must-read for postgraduate students developing advanced technologies for improving computer network dependability.

The first book to introduce computer architecture for security and provide the tools to implement secure computer systems This book provides the fundamentals of computer architecture for security. It covers a wide range of computer hardware, system software and data concepts from a security perspective. It is essential for computer science and security professionals to understand both hardware and software security solutions to survive in the workplace. Examination of memory, CPU architecture and system implementation Discussion of computer buses and a dual-port bus interface Examples cover a board spectrum of hardware and software systems Design and implementation of a patent-pending secure computer system Includes the latest patent-pending technologies in architecture security Placement of computers in a security fulfilled network environment Co-authored by the inventor of the modern Computed Tomography (CT) scanner Provides website for lecture notes, security tools and latest updates

Arithmetic and Logic in Computer Systems provides a useful guide to a fundamental subject of computer science and engineering. Algorithms for performing operations like addition, subtraction, multiplication, and division in digital computer systems are presented, with the goal of explaining the concepts behind the algorithms, rather than addressing any direct applications. Alternative methods are examined, and explanations are supplied of the fundamental materials and reasoning behind theories and examples. No other current books deal with this subject, and the author is a leading authority in the field of computer arithmetic. The text introduces the Conventional Radix Number System and the Signed-Digit Number System, as well as Residue Number System and Logarithmic Number System. This book serves as an essential, up-to-date guide for students of electrical engineering and computer and mathematical sciences, as well as practicing engineers and computer scientists involved in the design, application, and development of computer arithmetic units.

Learn to apply modeling and parameter estimation tools and strategies to chemicalprocesses using your personal computer This book introduces readers to powerful parameter estimation and computational methods for modeling complex chemical reactions and reaction processes. It presents useful mathematical models, numerical methods for solving them, and statistical methods for testing and discriminating candidate models with experimental data. Topics covered include: Chemical reaction models Chemical reactor models Probability and statistics Bayesian estimation Process modeling with single-response data Process modeling with multi-response data Computer software (Athena Visual Studio) is available via a related Web site http://www.athenavisual.com enabling readers to carry out parameter estimation based on their data and to carry out process modeling using these parameters. As an aid to the reader, an appendix of example problems and solutions is provided. Computer-Aided Modeling of Reactive Systems is an ideal supplemental text for advanced undergraduates and graduate students in chemical engineering courses, while it also serves as a valuable resource for practitioners in industry who want to keep up to date on the most current tools and strategies available.