1. Säkerhet ett brett och komplext problem

2. Therac 25

Hur kunde det inträffa:

- Problem hos leverantören

- Problem i produkten

- Problem i organisationen

3. Säkerhet i mjukvaran

Verifieringsmetoder:

- Safety engineering

- Software Engineering

- Formella metoder

Svagheter med verifieringsmetoder:

- Modellen

- Datorer och modeller

- Korrekthet

- Överensstämmelse

4. Säkerhet på arbetet

- RSI: Repetitve Stress Injuries ( Stress skador )

- Radiation related illness ( strålnings skador )

- Ögonskador

Tillbaka