Zio-11-wyk-Slajd15

Cel formułowania wymagań

Celem formułowania wymagań systemu krytycznego jest takie jego zaprojektowanie, aby:

zidentyfikowane hazardy nie wystąpiły podczas normalnego korzystania z systemu. Przykładowo: gilotyna do papieru może być tak zaprojektowana, żeby przycinała papier tylko wtedy gdy wszystkie przyciski bezpieczeństwa będą wciśnięte - zabezpiecza to przed włożeniem ręki pod ostrze.
w przypadku wykrycia hazardu, wykonywana jest akcja, która jest w stanie zapobiec wypadkowi. Na przykład: gilotyna do papieru może zawierać wymaganie, że powinien być dodatkowy system czujników, który zablokuje system w przypadku wykrycia obiektu na linii ostrza.
w przypadku wystąpienia wypadku, system minimalizuje niebezpieczne konsekwencje wypadku. Przykładowo: w systemie jakim jest samochód, sterowanie poduszką powietrzną może również odcinać zasilanie pompy paliwa w przypadku wypadku - w ten sposób minimalizuje się niebezpieczeństwo pożaru.