Bezpieczeństwo systemów sterowanych komputerowo

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.

---

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.