Safety Of Computer Control Systems 1985 Safecomp 85 Achieving Real Time Computer Systems Proceedings Of The Fourth Ifac Workshop Como Italy October 1 3 1985

Safety of Computer Control Systems 1985 (Safecomp '85)

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.

Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real Time Computer Systems

The proceedings of the fifth workshop in this subject continue the trend set by the previous four and discusses some of the current problems involved in the design and production of safe real-time computer systems. Topics covered include software quality assurance, software fault tolerance, design for safety, and reliability and safety assessment. Every paper details the theoretical and practical problems involved in the development of safe systems and should therefore be of interest to all those involved in systems design.

Safety of Computer Control Systems 1985 (SAFECOMP '85) - Achieving Real Time Computer Systems, Proceedings of the Fourth IFAC Workshop, Como, Italy, October 1-3 1985