Safety of Computer Control Systems 1983 (Safecomp ' 83)
eBook - PDF

Safety of Computer Control Systems 1983 (Safecomp ' 83)

Achieving Safe Real Time Computer Systems

  1. 282 pages
  2. English
  3. PDF
  4. Available on iOS & Android
eBook - PDF

Safety of Computer Control Systems 1983 (Safecomp ' 83)

Achieving Safe Real Time Computer Systems

About this book

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.

Frequently asked questions

Yes, you can cancel anytime from the Subscription tab in your account settings on the Perlego website. Your subscription will stay active until the end of your current billing period. Learn how to cancel your subscription.
No, books cannot be downloaded as external files, such as PDFs, for use outside of Perlego. However, you can download books within the Perlego app for offline reading on mobile or tablet. Learn more here.
Perlego offers two plans: Essential and Complete
  • Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
  • Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Both plans are available with monthly, semester, or annual billing cycles.
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Yes! You can use the Perlego app on both iOS or Android devices to read anytime, anywhere — even offline. Perfect for commutes or when you’re on the go.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Yes, you can access Safety of Computer Control Systems 1983 (Safecomp ' 83) by J. A. Baylis in PDF and/or ePUB format, as well as other popular books in Technology & Engineering & Mathematics General. We have over one million books available in our catalogue for you to explore.

Table of contents

  1. Front Cover
  2. Safety of Computer Control Systems 1983 (Safecomp '83): Achieving Safe Real Time Computer Systems
  3. Copyright Page
  4. Table of Contents
  5. PREFACE
  6. CHAPTER 1. SAFETY INTEGRITY ASSESSMENT OF PROGRAMMABLE ELECTRONIC SYSTEMS
  7. CHAPTER 2. RELIABILITY ANALYSIS (HARDWARE) OF A CORE TEMPERATURE SAFETY SYSTEM
  8. CHAPTER 3. APPLICATION OF FINITE STATE MODELS FOR SYSTEM DESIGN AND RELIABILITY ASSESSMENT
  9. CHAPTER 4. RELIABILITY PREDICTION: A MATTER OF LOGIC
  10. CHAPTER 5. MODULAR ENCAPSULATIONS COMMUNICATING BETWEEN CLEAN INTERFACES AND THE UNAVOIDABLE OVERHEAD
  11. CHAPTER 6. INCORPORATION OF RECOVERY AND REPAIR TIM E IN THE RELIABILITY MODELLING OF FAULT-TOLERANT SYSTEM
  12. CHAPTER 7. SOFTWARE SECURITY ANALYSIS - A SHORT APPRECIATION
  13. CHAPTER 8. PRACTICAL FAULT TOLERANT SOFTWARE FOR ASYNCHRONOUS SYSTEMS
  14. CHAPTER 9. THE IMPACT OF SOFTWARE FAULT TOLERANT TECHNIQUES ON SOFTWARE COMPLEXITY IN REAL TIME SYSTEMS
  15. CHAPTER 10. THE APPLICATION OF FAULT TOLERANT TECHNIQUES TO A REAL TIME SYSTEM
  16. CHAPTER 11. FAIL-SAFE COMPUTER-BASED PLANT PROTECTION SYSTEMS
  17. CHAPTER 12. THE MAN-MACHINE INTERFACE FOR A FAULT TOLERANT CONTROL SYSTEM
  18. CHAPTER 13. FAULT DETECTION AND RECOVERY TECHNIQUES IN CUTLASS
  19. CHAPTER 14. FAULT-AVOIDANCE AND FAULT-REMOVAL FEATURES OF THE COMPUTER-AIDED DEVELOPMENT AND SUPPORT SYSTEM: EPOS
  20. CHAPTER 15. THE SPECIFICATION SYSTEM X-SPEX- INTRODUCTION AND EXPERIENCE
  21. CHAPTER 16. A LANGUAGE FOR FORMAL DESCRIPTION OF REAL TIME SYSTEMS
  22. CHAPTER 17. SOFTWARE QUALITY CONTROL AND ASSURANCE
  23. CHAPTER 18. SOFTWARE QUALITY - A PRACTICAL APPROACH
  24. CHAPTER 19. QUALITY OF THE SOFTWARE DEVELOPMENT PROCESS
  25. CHAPTER 20. BUILDING RELIABLE SOFTWARE FOR SPACELAB
  26. CHAPTER 21. SOFTWARE FOR COMPUTERS IN SAFETY SYSTEMS OF NUCLEAR POWER PLANTS
  27. CHAPTER 22. VERIFICATION OF SAFETY
  28. CHAPTER 23. SAFETY ASSESSMENT OF THE SOFTWARE OF A CONTROL ROD MOTION COMPUTER
  29. CHAPTER 24. SOFTWARE VALIDATION FOR A RAILWAY SIGNALLING SYSTEM
  30. CHAPTER 25. A PRACTICAL METHODOLOGY FOR SAFETY SOFTWARE DEVELOPMENT, VERIFICATION & VALIDATION
  31. CHAPTER 26. MINOS: SYSTEMS RELIABILITY AND REUSEABLE SOFTWARE
  32. CHAPTER 27. PLC'S INTO OFFSHORE SHUT-DOWN SYSTEMS
  33. CHAPTER 28. A HIGH INTEGRITY SOFTWARE BASED TURBINE GOVERNING SYSTEM
  34. CHAPTER 29.COORDINATED CONTROL OF ELECTRICAL DRIVES
  35. CHAPTER 31. ELECTROMAGNETIC COMPATIBILITY OF MARINE COMPUTER SYSTEMS
  36. CHAPTER 32. THE ADNET COMMUNICATIONS SYSTEM: INTER-PROCESS COMMUNICATION IN A FAULT TOLERANT LOCAL AREA NETWORK
  37. CHAPTER 33. EVALUATION OF A BACK-UP ACTIVATION MECHANISM TO ACHIEVE FAIL-SAFE OPERATION IN DISTRIBUTED MULTIPROCESS SYSTEMS
  38. CHAPTER 34. A HIGHLY AVAILABLE MULTIMICROPROCESSOR SYSTEM FOR REAL-TIME APPLICATIONS
  39. CHAPTER 35. TREX/MCS: A FAULT TOLERANT MULTICOMPUTER SYSTEM
  40. CHAPTER 36. REBECCA: A DEPENDABLE COMMUNICATION SUPPORT SYSTEM FOR A DISTRIBUTED MONITORING AND SAFETY SYSTEM
  41. AUTHOR INDEX