Text

Modeling for Reliability Analysis

---

"Complex computer systems are computer applications or environments for which simpli- fying assumptions for design and implementation fail significantly. They are typically characterized by intricacies in hardware platform, interaction of software modules, use of shared resources, interaction with the external world, or criteria for correctness and improved performance. There are real-time, fault-tolerance, and security constraints, among others, whose failure could have serious economic and safety consequences. Complex computer systems are becoming common in many sectors, such as manufactur- ing, communications, defense, transportation, aerospace, hazardous environments, energy. and health care. Engineering of Complex Computer Systems (ECCS) is a rapidly growing area in which traditional CS/CE core, systems, and applications professionals converge to address what are perhaps the most challenging tasks and problems of today. There is a significant interest in the area, as illustrated by the recent emergence of the IEEE Technical Committee on Complexity in Computing (previously. IEEE Technical Segment Committee on ECCS), its annual International Conference (ICECCS), a stream of special issues of IEEE and non-IEEE journals, and scores of meetings and other activities in the IEEE and non-IEEE spheres. In this book. Modeling for Reliability Analysis. P. Pukite and J. Pukite show how Markov modeling through finite state machines and Petri nets can be used to tackle the problems of balancing reliability, fault-tolerance, system effectiveness, maintainability. and availability. The authors demonstrate both the theoretical foundations and the practi- cal applications of their approach in real-world systems. They also introduce their unique methodology and tool. CARMS (computer-aided rate modeling and simulation). We think you will appreciate the approach of this book, which is extremely practical without sacri ficing rigor. This is exactly the kind of text we envisioned when we developed this series We call your attention to other upcoming books in the series: Mathematical Desig"

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

004.21 PUK m

Penerbit

New York : IEEE PRESS., 1998

Deskripsi Fisik

xiv, 258 hlm; ilus tidak berwarna; 25,5 cm

Bahasa

English

ISBN/ISSN

0-7803-3482-5

Klasifikasi

004.21

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

pemograman

Info Detail Spesifik

-

Pernyataan Tanggungjawab

Jan Pukite & Paul Pukite

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar