• DocumentCode
    1452729
  • Title

    Safety-critical control systems

  • Author

    Cullyer, John

  • Author_Institution
    Dept. of Eng., Warwick Univ., Coventry, UK
  • Volume
    2
  • Issue
    5
  • fYear
    1991
  • fDate
    9/1/1991 12:00:00 AM
  • Firstpage
    202
  • Lastpage
    210
  • Abstract
    Provides an introduction to the topic of safety-critical control systems for those engineers and managers who are skilled in the disciplines of computer-based control, but have not had to face the additional engineering problems which arise when equipment is crucial to the protection and preservation of human life. Increasingly, control engineers are using computers and complex real-time software in circumstances in which serious malfunctions can result in accidents and loss of human life. Those involved professionally in such work need wide, general engineering experience, plus specialised knowledge of topics such as: hazard analysis, to identify the risks, methods of writing engineering specifications, rigorous approaches to computer programming, testing, verification and validation, training and education for specialist staff
  • Keywords
    industrial computer control; program verification; real-time systems; training; complex real-time software; computer programming; computer-based control; education; engineering specifications; hazard analysis; program testing; program validation; program verification; safety-critical control systems; training;
  • fLanguage
    English
  • Journal_Title
    Computing & Control Engineering Journal
  • Publisher
    iet
  • ISSN
    0956-3385
  • Type

    jour

  • Filename
    90987