Bezpieczeństwo systemów sterowanych komputerowo

• Autorzy: Szymczyk M.

Warianty tytułu

EN

Safety of control systems

• Języki publikacji: PL

Abstrakty

PL

Pewność działania i bezpieczeństwo to oprócz wydajności, główne kwestie związane z prawidłowym funkcjonowaniem systemów i procesów produkcyjnych. Artykuł przedstawia i porządkuje powyższe zagadnienia spotykane w systemach sterowanych komputerowo, opisuje także sposoby rozwiązywania tego typu problemów.

EN

This document presents existing concepts and methods, relating to the design in safety-critical control systems. To achieve the necessary level of safety and reliability several techniques should be used simultaneously such as formal specification, hazard analysis, testing, and other. These are surveyed with the particular emphasis on a system as a whole not giving a special attention to software or hardware.

Słowa kluczowe

PL

bezpieczeństwo systemów; systemy sterowane komputerowo; projektowanie bezpiecznych systemów

EN

safety of control systems; control systems; design of control system

• Wydawca: Wydawnictwa AGH
• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 2003
• Tom: T. 7, z. 1-2
• Strony: 283--290
• Opis fizyczny: Bibliogr. 6 poz., rys.

Twórcy

autor

Szymczyk M.

• Katedra Automatyki, Akademia Górniczo-Hutnicza w Krakowie

Bibliografia

• [1] Functional Safety and IEC 61508. A basic guide, 2002, http://www.iec.ch/zone/safety/pdf_safe/ hld.pdf
• [2] Isaksen U., Bowen J., Nissanke N.: System and Software Safety in Critical Systems. Technical Report RUCS/97/TR/062/A, Department of Computer Science The University of Reading UK 1997, http://www.atm.sbu.Uk/safety/#publications
• [3] Leveson N.G.: Safeware System, Safety and Computers. Addison Wesley 1995
• [4] Rushby J.: Critical System Properties: Survey and Taxonomy. Reliability Engineering and System Safety, Vol. 43, No. 2, 1994, 189-219
• [5] Storey W.: Design for Safety. Toward System Safety: Proc 7th Safety - Critical System Symposium, Huntington, UK, 1999, 1-25
• [6] Thane H.: Safe and Reliable Computer Control Systems - An Overiew. Safecomp97, Proceedings of the 16th Int. Conf. on Computer Safety, Reliability and Security, Springer Verlag 1997