Dokumentation über den Verbleib der - Kerntechnisches Regelwerk

(1) Die Entwicklung und Qualifizierung der Softwareder Kategorie 1 hat so zu erfolgen, daß eine durchgängigeNachweisführung der korrekten Arbeitsweiseder Software gewährleistet ist. Entwurf und Implementierungsollen mit formalen 13) und rechnergestütztenKonstruktions- und Prüfmethoden erfolgen.Diese Methoden sollen auch in den anderenEntwicklungsphasen weitgehend verwendet werden.13) Formale Methoden haben eine mathematischeBasis. Sowohl die Notation (Syntax) als auch dieBedeutung (Semantik) der verwendeten Symbolesind exakt definiert. Die so erstellten Beschreibungensind einer mathematischen Analyse zugänglich.)(2) Die Software der Kategorie 1 soll einfach aufgebautsein.(3) Der Funktionsumfang der Software der Kategorie1 soll auf das notwendige Maß begrenzt sein.(4) Die Programme sind robust und selbstüberwachendauszulegen.M5:7.3.2.1(1)M5:7.3.2.1(2)M5:7.3.2.1(3)M5:7.3.2.1(4)7.6.1.2.2 Konstruktive Qualitätssicherung M5:7.3.2.(1) Die Software muß nach einem Phasenmodell M5 T1:durchgängig mit rechnergestützten Werkzeugen 7.3.2.2erstellt werden(1)Die Entwicklung und Qualifizierung der Software fürLeittechnik-Funktionen der Kategorie A erfolgen so,dass eine durchgängige Nachweisführung der korrektenArbeitsweise der Software gewährleistet ist.Entwurf und Implementierung sind mit formalisiertenund rechnergestützten Konstruktions- und Prüfmethodenentsprechend dem Stand von Wissenschaftund Technik durchgeführt.Die Software der Kategorie 1 soll für Leittechnik-Funktionen der Kategorie A ist grundsätzlich einfachaufgebaut.Der Funktionsumfang der Software der Kategorie 1soll für Leittechnik-Funktionen der Kategorie A istgrundsätzlich auf das für die jeweilige Funktion notwendigeMaß begrenzt.Die Programme sind Software ist robust und selbstüberwachendausgelegt.Konstruktive QualitätssicherungDie Software ist nach einem Phasenmodell durchgängigmit rechnergestützten Werkzeugen erstellt.Überführung der Anforderungen in die genannteNummer. Anpassung der Formulierungan die Kategorisierung im Modul 5 undan Geltungsbereich. Hinweise aus dem RSK-LL-Text wurden nicht übernommen.Die QS-Maßnahmen wurden im Modul 5 zusammengefasst.(2) Die Software ist aus klar abgegrenzten undmit geringem Funktionsumfang versehenen Einheitenaufzubauen. Diese Softwareeinheiten sindmöglichst einfach bei Beschränkung auf unverzichtbareAnweisungen und Schnittstellen zuprogrammieren und zu einer übersichtlichen Programmstrukturzu integrieren.M5:7.3.2.2(2)Die Software ist aus klar abgegrenzten und mit geringemFunktionsumfang versehenen Einheitenaufgebaut. Diese Softwareeinheiten sind möglichsteinfach bei Beschränkung auf unverzichtbare Anweisungenund Schnittstellen programmiert und inzu einer übersichtlichen Programmstruktur zu integriert.7.6.1.2.3 Analytische Qualitätssicherung - - Die QS-Maßnahmen wurden im Modul 5 zu-(1) Die Phasenergebnisse sind unter Anwendungformaler Analysemethoden und zusätzlicher Testsan den Vorgaben vollständig zu verifizieren. Dazusind an definierten Meilensteinen Prüfungen vorzunehmenM5:7.3.2.2(3)Die PhasenErgebnisse der einzelnen Phasen derSoftwareentwicklung sind unter Anwendung formalerAnalysemethoden und zusätzlicher Tests an denVorgaben vollständig verifiziert. Dazu werden andefinierten Meilensteinen Prüfungen vorgenommen.sammengefasst.- 94 -