A Provenance-Aware Operational Audit Contract for Low-Altitude Unmanned Aircraft Evidence
Dieses Papier schlägt einen herkunftswissenden operativen Audit-Vertrag für unbemannte Luftfahrzeuge im niedrigen Höhenbereich vor und validiert diesen, welcher die organisationsübergreifende Interpretierbarkeit von Evidenz durch die Unterscheidung zwischen intendierten, beobachteten und behaupteten Zuständen mittels eines versionierten neunkomponentigen Datensatzes sicherstellt, was über 19 Durchläufe und 475 Audit-Abfragen hinweg erfolgreich verifiziert wurde.
Originalarbeit lizenziert unter CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich einen Himmel voller kleiner, unbemannter Luftfahrzeuge vor, die wie ein Bienenschwarm summen, um Pakete auszuliefern, Stromleitungen zu inspizieren oder den Verkehr zu überwachen. Wenn diese Maschinen immer häufiger werden, müssen sie miteinander, mit Bodenstationen und mit der Flugverkehrskontrolle kommunizieren, um sicher und organisiert zu bleiben. Doch ein neues Problem entsteht: Wenn etwas schiefgeht oder ein Regulierungsbehörde einen Flug überprüfen muss, wie kann man sicher sein, was tatsächlich passiert ist? Die Aufzeichnungen sind über verschiedene Computer verstreut, werden von verschiedenen Unternehmen gehalten und sprechen oft unterschiedliche technische Sprachen. Ein Flugplan, den ein Pilot sendet, sieht vielleicht anders aus als die Positionsdaten, die der Computer der Drohne aufzeichnet, was wiederum anders aussehen kann als das Signal, das an einen Beobachter in der Nähe gesendet wurde. Ohne eine Möglichkeit, diese Teile miteinander zu verknüpfen, bleibt die Geschichte eines Fluges lückenhaft, was es unmöglich macht zu wissen, wer verantwortlich war, was beabsichtigt war und was tatsächlich gesehen wurde.
Dies ist die Herausforderung, die Forscher an der VNU University of Engineering and Technology und der Antaja Company Limited zu lösen versuchten. Sie haben nicht versucht, eine neue Drohne oder ein neues Kommunikationsnetzwerk zu bauen. Stattdessen entwarfen sie eine strikte Regel für die Art und Weise, wie Flugaufzeichnungen geschrieben und aufbewahrt werden sollten. Betrachten Sie es als ein universelles Kassenbuch für den Himmel, ein System, das erzwingt, dass jedes Beweisstück seine eigene Geschichte mit sich führt. Ihr Ziel war es, eine Methode zu entwickeln, die in der Lage ist, die vollständige Geschichte eines Fluges zu rekonstruieren, selbst wenn Daten fehlen, verzögert eintreffen oder aus widersprüchlichen Quellen stammen. Sie wollten wissen, ob es möglich ist, eine Sammlung digitaler Datensätze zu betrachten und klar zwischen dem zu unterscheiden, was ein Pilot geplant hatte, was die Sensoren der Drohne zu sehen glaubten und was die Drohne tatsächlich an die Welt aussendete.
Das Team entwickelte, was sie einen „Operational Audit Contract“ nennen. Vereinfacht ausgedrückt ist dies eine Vorlage für die Aufzeichnung von Flugdaten, die drei verschiedene Arten von Informationen als separate, eigenständige Dinge behandelt. Erstens gibt es den „beabsichtigten“ Zustand (intended state): der Plan, der Befehl oder das Ziel, das der Pilot oder der Computer festgelegt hat. Zweitens gibt es den „beobachteten“ Zustand (observed state): die tatsächlichen Messungen dessen, wo sich die Drohne befand, wie schnell sie sich bewegte und wie sie ausgerichtet war, wie sie von ihren eigenen Sensoren aufgezeichnet wurden. Drittens gibt es den „behaupteten“ Zustand (claimed state): die Informationen, die die Drohne an andere aussendete, wie etwa ihre Identifikationsnummer oder ihre gemeldete Position. Die Forscher fanden heraus, dass diese drei Dinge oft nicht perfekt übereinstimmen, und das ist auch in Ordnung. Das Problem entsteht, wenn sie vermischt werden oder wenn die Quelle der Daten verloren geht. Ihr neues System stellt sicher, dass jeder Datensatz diese drei Ansichten getrennt hält und sie gleichzeitig damit kennzeichnet, wer sie erstellt hat, wann sie erstellt wurden und woher die Daten stammen.
Um dies umzusetzen, erstellten die Forscher für jeden Moment eines Fluges eine neunteilige Aufzeichnung. Diese Aufzeichnung enthält nicht nur die Zahlen, sondern auch den Kontext: wer die Daten besitzt, welche Mission durchgeführt wurde und wer zu diesem spezifischen Zeitpunkt die Autorität hatte, das Luftfahrzeug zu steuern. Entscheidend ist, dass das System darauf ausgelegt ist, Lücken zu handhaben. Wenn ein Teil der Daten fehlt, tut die Aufzeichnung nicht so, als sei sie vorhanden. Stattdessen gibt sie explizit an, dass die Information fehlt, nicht verfügbar ist oder dass eine Verknüpfung zu einer vorherigen Aufzeichnung nicht gefunden werden konnte. Dies mag wie ein Scheitern klingen, aber in der Welt der Beweisführung ist das Eingestehen des Unbekannten weita-mal wertvoller als Vermutungen anzustellen. Indem das System eine klare Spur dieser Lücken und die Historie dessen bewahrt, wer die Daten hielt, ermöglicht es Prüfern, die Fluggeschichte zu rekonstruieren, ohne die Lücken mit Annahmen zu füllen.
Das Team testete dieses System mithilfe einer Computersimulation, die eine reale Flugumgebung nachahmte. Sie führten neunzehn verschiedene Szenarien durch, darunter Situationen, in denen Kommunikationsverbindungen unterbrochen wurden, in denen der Pilot die Kontrolle an ein automatisiertes System übergab und in denen Daten verspätet eintrafen. In jedem einzelnen Fall konnte das System die erwartete Geschichte erfolgreich rekonstruieren. Wenn die Forscher die Daten absichtlich beschädigten, indem sie eine Verknüpfung entfernten oder einen Zeitstempel verbargen, meldete das System korrekt, dass die Geschichte unvollständig sei, anstatt eine gefälschte Verbindung zu erfinden. Sie fanden heraus, dass das System selbst dann, wenn Daten fehlten oder veraltet waren, immer noch zwischen einer geplanten Aktion und einer beobachteten Realität unterscheiden konnte. In einem Test identifizierte das System beispielsweise korrekt, dass eine Drohne die Verbindung zu einer Bodenstation verloren hatte, und zeichnete genau auf, wann dies geschah und was die letzte bekannte Position war, ohne zu raten, wohin die Drohne als Nächstes geflogen war.
Die Forscher testeten ihre Idee auch in einem realistischeren Umfeld mithilfe einer Software, die auf einem einzelnen Computer läuft, aber mehrere separate Systeme simuliert, wie etwa eine Drohne, eine Bodenstation und einen Beobachter. Sie ließen eine simulierte Route über einen Universitätscampus fliegen und schufen so einen digitalen Zwilling einer realen Umgebung. Selbst in diesem komplexen Aufbau, in dem verschiedene Teile des Systems separat liefen, hielt die neunteilige Aufzeichnung die Historie klar. Das System konnte zeigen, dass die internen Sensoren der Drohne und die Aufzeichnungen des externen Beobachters einen gemeinsamen Ursprung hatten, was bewies, dass sie keine unabhängigen Wahrheiten waren, sondern zwei Ansichten desselben Ereignisses. Diese Unterscheidung ist für die Sicherheit entscheidend; wenn zwei Datensätze gleich aussehen, aber vom selben defekten Sensor stammen, können sie nicht zur gegenseitigen Verifizierung genutzt werden. Das System markierte diesen gemeinsamen Ursprung und verhinderte so ein falsches Gefühl der Sicherheit.
Die Ergebnisse dieser Arbeit sind keine magische Lösung, die alle Drohnen sicher macht oder garantiert, dass jeder Flug perfekt verlaufen wird. Die Forscher stellten vorsichtig klar, dass ihr System nicht die physische Wahrheit eines Fluges beweist, sondern nur beweist, dass die Aufzeichnungen konsistent sind und dass die Geschichte so rekonstruiert werden kann, wie sie beabsichtigt war. Sie haben keinen Weg gefunden, Abstürze zu verhindern oder Hacker daran zu hindern, falsche Signale zu senden. Stattdessen haben sie einen Weg gefunden, die Beweise eines Fluges transparent zu machen. Wenn eine Drohne abstürzt oder wenn ein Flug gegen eine Regel verstößt, werden Ermittler in der Lage sein, in die Aufzeichnungen zu schauen und genau zu sehen, was geplant war, was beobachtet wurde und was behauptet wurde, zusammen mit einer klaren Karte darüber, wer verantwortlich war und welche Daten fehlten.
Dieser Ansatz verändert die Art und Weise, wie wir über Rechenschaftspflicht im Luftraum nachdenken. Anstatt zu hoffen, dass alle Daten perfekt zusammenpassen, akzeptiert das System, dass Daten chaotisch, unvollständig und manchmal widersprüchlich sein werden. Indem sie eine Struktur geschaffen haben, die diese Unvollkommenheiten aufnehmen kann, ohne zu zerbrechen, haben die Forscher ein Fundament für eine Zukunft geschaffen, in der viele verschiedene Organisationen den Himmel sicher teilen können. Das System funktioniert, indem es die Geschichte ehrlich hält, selbst wenn Teile davon fehlen. Es stellt sicher, dass wir, wenn wir auf einen Flug zurückblicken, die Wahrheit dessen sehen, was passiert ist, und nicht eine geglättete Version der Ereignisse. Diese Klarheit ist der erste Schritt hin zu einer Zukunft, in der die Luftfahrt in niedriger Höhe zu einem komplexen Multi-User-Netzwerk wachsen kann, ohne die Fähigkeit zu verlieren, zu verstehen, was in der Luft geschieht.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.