paper/abstract.tex
author Eugen Sawin <sawine@me73.com>
Fri, 04 Jun 2010 15:05:34 +0200
changeset 0 67acda11be36
permissions -rw-r--r--
Final version.
sawine@0
     1
\itshape
sawine@0
     2
\renewcommand\abstractname{Abstract} 
sawine@0
     3
\begin{abstract}
sawine@0
     4
Mit zunehmender Automatisierung von Sicherheitsprozessen wächst die Komplexität der Systeme und deren Test- und Zertifizierungsmaßnahmen. Programmierbare, elektronische Systeme werden zunehmend zur Realisierung von Sicherheitstechnik eingesetzt, dafür sind angepasste Verfahren notwendig, um die Korrektheit und Sicherheit der Komponenten zu bewerten. Der IEC 61508 Standard bietet eine Grundlage für die Entwicklung und Bewertung von sicherheitskritischer Hard- und Software. Dieser Text beschäftigt sich mit den notwendigen Maßnahmen für eine erfolgreiche Verifikation der Validierung einer Software nach Safety Integrity Level 3. Dies kann als Grundlage dienen zur Entwicklung eines standardkonformen Testphasenplans und Entscheidungshilfen bieten bei der Auswahl einer Strategie zur Validierung eines Softwaremoduls.
sawine@0
     5
\end{abstract}
sawine@0
     6
\normalfont
sawine@0
     7