Achieving Safety And Reliability With Computer Systems

Author : B.K. Daniels
Publisher : Springer Science & Business Media
ISBN 13 : 9400934610
Total Pages : 306 pages
Book Rating : 4.10/5 ( download)

DOWNLOAD NOW!

Download or read book Achieving Safety and Reliability with Computer Systems written by B.K. Daniels and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment, investment or goodwill can be at risk. Such applications include the monitoring and control of high energy processes, of nuclear and chemical plants, of factory automation, of transportation systems, or funds transfer and of communication and information systems. This book represents the proceedings of the 1987 Safety and Reliability Society Symposium held in Altrincham, UK, 11-12 November 1987. It is thus part of the series of proceedings for Society Events, which in previous years have not addressed the topic of the Safety and Reliability of Computer Systems. The book is also part of another series of reports, and is closely related to the Elsevier Book "Safety and Reliability of Programmable Electronic Systems" which I edited in 1986, and the series of workshops known as SAFECOMP held in 1979, 1982, 1983, 1985, 1986 which are referenced in some of the papers. The structure of the book represents the structure of the Symposium itself. The session titles, and the papers as selected represent the current practice in many industries. The trend is towards more industrial usage of Formal Methods, and tools to support these methods, whilst continuing to make best use of Software Engineering, Safety and Reliability Assessment, and accumulated experience.

Author : J. A. Baylis
Publisher : Elsevier
ISBN 13 : 1483153703
Total Pages : 282 pages
Book Rating : 4.04/5 ( download)

DOWNLOAD NOW!

Download or read book Safety of Computer Control Systems 1983 (Safecomp ' 83) written by J. A. Baylis and published by Elsevier. This book was released on 2014-05-17 with total page 282 pages. Available in PDF, EPUB and Kindle. Book excerpt: Safety of Computer Control Systems 1983: Achieving Safe Real Time Computer Systems contains the proceedings of the Third IFAC/IFIP Workshop held at Cambridge, UK on September 20-22, 1983. Composed of 36 chapters, separated into the eight sessions of the workshop, this book begins with a discussion of the safety and reliability of computer control systems. Subsequent chapters explore the systems design for safety and reliability; fault tolerance, recovery, and use of redundancy; and aspects of fault tolerance for system reliability. Other chapters detail specification techniques; system development and quality assurance; verifications and validations; case studies; as well as scheduling, networks, and communications.

Author : B.S. Dhillon
Publisher : CRC Press
ISBN 13 : 1466573139
Total Pages : 247 pages
Book Rating : 4.30/5 ( download)

DOWNLOAD NOW!

Download or read book Computer System Reliability written by B.S. Dhillon and published by CRC Press. This book was released on 2016-04-19 with total page 247 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computer systems have become an important element of the world economy, with billions of dollars spent each year on development, manufacture, operation, and maintenance. Combining coverage of computer system reliability, safety, usability, and other related topics into a single volume, Computer System Reliability: Safety and Usability eliminates th

Author : National Research Council
Publisher : National Academies Press
ISBN 13 : 0309043883
Total Pages : 320 pages
Book Rating : 4.85/5 ( download)

DOWNLOAD NOW!

Download or read book Computers at Risk written by National Research Council and published by National Academies Press. This book was released on 1990-02-01 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computers at Risk presents a comprehensive agenda for developing nationwide policies and practices for computer security. Specific recommendations are provided for industry and for government agencies engaged in computer security activities. The volume also outlines problems and opportunities in computer security research, recommends ways to improve the research infrastructure, and suggests topics for investigators. The book explores the diversity of the field, the need to engineer countermeasures based on speculation of what experts think computer attackers may do next, why the technology community has failed to respond to the need for enhanced security systems, how innovators could be encouraged to bring more options to the marketplace, and balancing the importance of security against the right of privacy.

Author : A.R. Churchley
Publisher : Springer Science & Business Media
ISBN 13 : 9781851666119
Total Pages : 310 pages
Book Rating : 4.17/5 ( download)

DOWNLOAD NOW!

Download or read book Microprocessor Based Protection Systems written by A.R. Churchley and published by Springer Science & Business Media. This book was released on 1991-11-30 with total page 310 pages. Available in PDF, EPUB and Kindle. Book excerpt: From a symposium, or perhaps a series of symposia (no information is provided) 15 papers discuss the use of computers to control potentially hazardous industrial processes. The sections cover guidelines, standards, and design; reliability analysis; software production and research; and industrial applications. Annotation copyrighted by Book News, Inc., Portland, OR

Author : Phil Bennett
Publisher : Butterworth-Heinemann
ISBN 13 : 1483144860
Total Pages : 261 pages
Book Rating : 4.63/5 ( download)

DOWNLOAD NOW!

Download or read book Safety Aspects of Computer Control written by Phil Bennett and published by Butterworth-Heinemann. This book was released on 2014-05-15 with total page 261 pages. Available in PDF, EPUB and Kindle. Book excerpt: Safety Aspects of Computer Control focuses on the increased usage of computers and safety procedures for the control of their applications. The selection first elaborates on software in safety-related systems, regulatory issues, and legal liability. Topics cover product liability, liability under the contract law, liability under the law of negligence, methods of ensuring safety, some aspects of regulation of software safety, purpose and principles of regulation, and direct regulation. The book then examines standardization efforts worldwide; real-time software requirements specification and animation using extended Petri nets; and independent software verification and validation in practice. Discussions focus on verification and validation principles, organizational principles, specification language, extended Petri nets environment, history of software standards, and standardization work realized through ISO or IEC. The manuscript takes a look at design and licensing of safety-related software, fault-tolerant control for safety, and use and relevance for the development of safety-critical systems. Concerns include formal methods in the safety-critical systems life cycle, random and systematic failures, hardware and systematic failures, and software quality standards. The book is highly recommended for computer science experts and researchers interested in the safety aspects of computer control.

Author : Rook
Publisher : Springer Science & Business Media
ISBN 13 : 9781851664009
Total Pages : 578 pages
Book Rating : 4.09/5 ( download)

DOWNLOAD NOW!

Download or read book Software Reliability Handbook written by Rook and published by Springer Science & Business Media. This book was released on 1990-03-31 with total page 578 pages. Available in PDF, EPUB and Kindle. Book excerpt: The reliability of software is becoming increasingly important to a large range of industries that rely on complex computer systems and machinery with computer control. The reliability of a system depends on both the hardware and the software that comprise the system. Although faults in design can continue to give problems, the issues and the techniques for meeting severe reliability requirements in hardware have been understood for some time. In the case of software both the techniques and a positive attitude of software developers to the achievement of reliability are much less well established. They are particularly crucial in the development of software dependent safety-critical systems.

Author : Peter Kopacek
Publisher : Gulf Professional Publishing
ISBN 13 : 9780080442495
Total Pages : 364 pages
Book Rating : 4.98/5 ( download)

DOWNLOAD NOW!

Download or read book Information Control Problems in Manufacturing 2004 (2-volume Set) written by Peter Kopacek and published by Gulf Professional Publishing. This book was released on 2005-08-12 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Author : W. J. Quirk
Publisher : Elsevier
ISBN 13 : 1483190870
Total Pages : 192 pages
Book Rating : 4.77/5 ( download)

DOWNLOAD NOW!

Download or read book Safety of Computer Control Systems 1985 (Safecomp '85) written by W. J. Quirk and published by Elsevier. This book was released on 2016-06-03 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: Safety of Computer Control Systems 1985 (Safecomp '85): Achieving Safe Real Time Computer Systems presents the proceedings of the Fourth IFAC Workshop, held in Como, Italy, on October 1–3, 1985. This book discusses a wide range of topics ranging from direct process control through robotics to operator assistance. Organized into 28 chapters, this compilation of papers begins with an overview of the implementation of atomic actions by means of concurrent programming constructs. This text then examines the safety-related applications that usually demand the provision of redundant resources within the system. Other chapters consider the safe performance of an industrial robot system that relies on several factors. This book discusses as well the increasing demand for Computer Assisted Decision Making (CADM) both in engineering and service industries. The final chapter deals with the ways of reducing the effects of an error introduced during the design of a program. This book is a valuable resource for software engineers.

Author : Min Xie
Publisher : World Scientific
ISBN 13 : 9814506222
Total Pages : 229 pages
Book Rating : 4.29/5 ( download)

DOWNLOAD NOW!

Download or read book Software Reliability Modelling written by Min Xie and published by World Scientific. This book was released on 1991-10-16 with total page 229 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book summarizes the recent advances in software reliability modelling. Almost all the existing models are classified and the most interesting models are described in detail.Because of the application of software in many industrial, military and commercial systems, software reliability has become an important research area. Although there are many models and results appeared in different journals and conference proceedings, there is a lack of systematic publications on this subject. The aim of this book is to provide an overview of this area and provide software reliability researchers and analysts with a systematic study of the existing results. This book can also be used as a reference book for other software engineers and reliability theoreticians interested in this area.