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

Book details
Table of contents
Citations

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

Simply head over to the account section in settings and click on “Cancel Subscription” - it’s as simple as that. After you cancel, your membership will stay active for the remainder of the time you’ve paid for. Learn more here.
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
Both plans give you full access to the library and all of Perlego’s features. The only differences are the price and subscription period: With the annual plan you’ll save around 30% compared to 12 months on the monthly plan.
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 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 & Engineering General. We have over one million books available in our catalogue for you to explore.

Information

Publisher
Pergamon
Year
2014
ISBN
9781483153704
Topic
Technology & Engineering
Subtopic
Engineering General
Index
Technology & Engineering

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