accessibility__skip_menu__jump_to_main

Full text: VerifAI - Studie zur zielbasierten Standardisierung in der Prüfung und Zulassung intelligenter Entscheidungseinrichtungen von teilautonomen Überwasserfahrzeugen

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
	        
Waiting...

Note to user

Dear user,

In response to current developments in the web technology used by the Goobi viewer, the software no longer supports your browser.

Please use one of the following browsers to display this page correctly.

Thank you.