Nachweise und Bewertung
Verstehen, was die Unterlagen belegen und ob sie eine Schlussfolgerung stützen.
← Startseite
FORSCHUNG / PROGRAMMÜBERSICHT
Eine Übersicht der Forschungsprogramme
Sechs Richtungen mit jeweils eigenem Gegenstand, zentraler Frage und Grenzen. Beginnen Sie mit der Frage, die Ihr System beantworten muss.
VISUELLER KONTEXTLokales Rechnen
Wie die Richtungen zusammenhängen
Dies ist eine Übersicht der Forschungsgegenstände. Sie erklärt ergänzende Interessen, ohne eine bestehende Integration der Programme zu behaupten.
VISUELLER KONTEXTVerbindungen zwischen Knoten
Öffentlich ist nur eine begrenzte Zusammenfassung der lokalen Prüfung BOARD-EX-001; Programmunterlagen werden im vereinbarten Umfang geprüft. Dies qualifiziert keine Freigabe. Für die anderen fünf Programme werden hier keine eigenen Pakete veröffentlicht. DA-EX-001 betrifft ausschließlich das Anfrageformular dieser Website.
Freigabe und Ausführung
Eine angenommene Änderung von der Befugnis zur Ausführung einer kritischen Operation trennen.
Vertrauens- und Argumentationsgrenzen
Die Bedeutung von Nachrichten, Annahmen und formalen Aussagen klären.
Nach der konkreten Frage vergleichen
Karten erleichtern das Lesen auf kleinen Bildschirmen. Wechseln Sie bei Bedarf zur Tabelle.
- Zentrale Frage
- Unter welchen Bedingungen darf eine kritische Operation ausgeführt werden?
- Gegenstand
- Eine Operation und ihre Befugnis
- Wann relevant
- Wenn Ausführungskontrolle, Fehler und Wiederherstellung untersucht werden müssen.
- Zentrale Frage
- Welche Nachweise stützen die Bewertung einer konkreten Version?
- Gegenstand
- Eine Version und ihr Nachweispaket
- Wann relevant
- Wenn eine technische Freigabeentscheidung eine ausdrückliche Grundlage braucht.
- Zentrale Frage
- Auf welcher Grundlage akzeptiert ein lokales System eine Schlussfolgerung?
- Gegenstand
- Nachweise, Regeln und eine Schlussfolgerung
- Wann relevant
- Wenn Lokalität, Determinismus und nachvollziehbare Bewertung wichtig sind.
- Zentrale Frage
- Wann darf ein Vorschlag den lokalen Zustand verändern?
- Gegenstand
- Freigabe und Zustandskonsistenz
- Wann relevant
- Wenn ein Vorschlag von einer erlaubten Änderung getrennt werden muss.
- Zentrale Frage
- Was lässt sich aus der Nachricht eines anderen Knotens schließen?
- Gegenstand
- Knoteninteraktion und Vertrauensgrenzen
- Wann relevant
- Wenn Informationen, Zustand und Befugnisse über mehrere Knoten verteilt sind.
- Zentrale Frage
- Was wird unter welchen Annahmen nachgewiesen?
- Gegenstand
- Eine Aussage, ein Modell und eine Begründung
- Wann relevant
- Wenn formale Aussagen und eine unabhängige Prüfung erforderlich sind.
| Programm | Zentrale Frage | Gegenstand | Wann relevant |
|---|---|---|---|
| 01AVRIAL | Unter welchen Bedingungen darf eine kritische Operation ausgeführt werden? | Eine Operation und ihre Befugnis | Wenn Ausführungskontrolle, Fehler und Wiederherstellung untersucht werden müssen. |
| 02BOARD | Welche Nachweise stützen die Bewertung einer konkreten Version? | Eine Version und ihr Nachweispaket | Wenn eine technische Freigabeentscheidung eine ausdrückliche Grundlage braucht. |
| 03LIDIYA | Auf welcher Grundlage akzeptiert ein lokales System eine Schlussfolgerung? | Nachweise, Regeln und eine Schlussfolgerung | Wenn Lokalität, Determinismus und nachvollziehbare Bewertung wichtig sind. |
| 04ENEY | Wann darf ein Vorschlag den lokalen Zustand verändern? | Freigabe und Zustandskonsistenz | Wenn ein Vorschlag von einer erlaubten Änderung getrennt werden muss. |
| 05TCRF | Was lässt sich aus der Nachricht eines anderen Knotens schließen? | Knoteninteraktion und Vertrauensgrenzen | Wenn Informationen, Zustand und Befugnisse über mehrere Knoten verteilt sind. |
| 06NEMESISJAM | Was wird unter welchen Annahmen nachgewiesen? | Eine Aussage, ein Modell und eine Begründung | Wenn formale Aussagen und eine unabhängige Prüfung erforderlich sind. |
Ähnliche Begriffe. Unterschiedliche Fragen.
BOARD ↔ LIDIYA
BOARD bewertet Nachweise für ein definiertes Artefakt. LIDIYA behandelt lokale Nachweisverarbeitung und Regeln für die Annahme von Schlussfolgerungen.
AVRIAL ↔ ENEY
AVRIAL untersucht Ausführung und Wiederherstellung kritischer Operationen. ENEY behandelt die Freigabe vorgeschlagener Änderungen und lokale Zustandskonsistenz.
TCRF ↔ NEMESISJAM
TCRF untersucht Knoteninteraktionen. NEMESISJAM behandelt die Formulierung und Begründung von Eigenschaften einschließlich ihrer Annahmen.
F&E / DIALOG
Sie müssen keinen Programmnamen kennen.
Beschreiben Sie die Entscheidung, Handlung oder den Zustand, die nachvollziehbar werden sollen. Damit beginnt die Definition der Arbeit.