7.1. Formalisierung
F1 | Modularisierung in KIl-basierte Systemkomponenten
Das Kl-System des Herstellers wird modularisiert geprüft. Dies impliziert für den
dersteller, dass ein KlI-System als prüfungsvorbereitende Maßnahme hinreichend in
einzelne KIl-Komponenten unterteilt werden muss (s. Kapitel 6.1). Der Hersteller kann
aierfür früh die Grundsteine legen, indem er eine zur Prüfung geeignete
Systemarchitektur wählt, bei der die KlI-Komponenten modularisiert vorliegen.
7ür den Hersteller hat die modularisierte Prüfung den Vorteil, dass er die
Prüfungsergebnisse zu seinem System komponentenweise erfährt. Im Falle einer
erforderlichen Nachbesserung des Systems, können diese gezielt an den
verbesserungsbedürftigen Komponenten durchgeführt werden. Darüber hinaus kann
der Hersteller Verbesserungen aus eigenem Interesse komponentenweise durchführen,
welche die Prüfstelle dann ebenfalls gezielt prüft.
m Folgenden wird im Sicherheitskonzept die zu prüfende Einheit als Kl-Komponente
setrachtet.
Bei dem bildgestützten Peilsensor handelt es sich um ein Kl-System, dass sich
hinsichtlich seiner Funktionen in einzelne KIl-Komponenten modularisieren lässt.
Der Prüfer würde dann die Kl-Komponenten einzeln prüfen.
Der Hersteller könnte das KI-System in folgende beide Kl-Komponenten zerlegen:
Schiffserkennungskomponente: Schiffserkennung anhand von
RGB-Bilddaten.
Peilungskomponente: Schätzung der Peilung der Schiffe.
Das in KIl-Komponenten modularisierte Kl-System lässt der Hersteller dem Prüfer im
Rahmen der prüfungsvorbereitenden Kommunikation (s. Kapitel 5) zukommen. Ein
möglicher Weg der Modularisierung ist in Abbildung 13 skizziert.
F2 | Formalisierung der Anwendungsdomäne
Bei der Anwendungsdomäne handelt es sich aus der Sicht des Herstellers um den
Anwendungsbereich, in welchem die KIl-Komponente funktionieren soll. Dem Hersteller
st die Anwendungsdomäne jeder modularisierten Kl-Komponente aus der Entwicklung
sekannt. Konkret betrachtet handelt es sich um den Raum der Eingabe- bzw.
Ausgabedaten, welche die KI-Komponente verarbeiten bzw. als Ergebnis ausgeben
<ann.
Die formalisierte Anwendungsdomäne dient der Prüfstelle dazu, ihren Prüfrahmen für
die KIl-Komponenten einzugrenzen. Damit die Prüfstelle dies möglichst richtig und
genau umsetzen kann, bedarf es einer Formalisierung der Anwendungsdomäne.
Methoden zur Formalisierung der Anwendungsdomäne werden in Kapitel 6.1
Jnterabschnitt V3 eingeführt.
Fraunhofer Ch
‚JerifAl
Bundesamt für Seeschifffahrt und Hydrographie