6a3e96d54c
Two-part nachhaltiger fix replacing the previous "fill to 5 mitigations no matter what" behavior that the GT-Bremse benchmark proved unfaithful (e.g. HP1625 "scharfe Kanten" returning M005 "Rotations- bewegung vermeiden" via category fallback; HP1651 "Wiederanlauf Roboter" returning M054 "Sichere thermische Auslegung" via mismatched pattern reference). PART A — Set-based category filter (handlers package): - acceptableMeasureCategories: replaces 1:1 patternCatToMeasureCat with a curated set per pattern category, so e.g. safety_function_failure now accepts software_control measures (watchdogs, plausibility checks) and emc_hazard accepts both electrical and software_control measures - isCategoryCompatible: gate every measure id against the accepted set before creating a mitigation; mismatches log MEASURE-SKIP - The old category fallback is REMOVED. A hazard whose pattern has no category-compatible measure is now created with zero mitigations and logged as COVERAGE-GAP — the operator must consult an expert. No more silent invention of generic defaults. PART B — 235 pattern author-error fixes across 26 files: - HP040-HP044 (AI): M101/M102/M103 (Auffangwanne/Absauganlage) -> M133 Anomalieerkennung + M214 Plausibilitaet + M213 Sensor-Redundanz + M044 Zweikanalige Steuerung + others - HP011-HP015, HP104-HP109, HP1085-HP1095, HP1281-HP1334 (electrical): M001-M005/M054/M061 placeholders -> M481/M482 Isolation + M511-M522 PE/Schutzleiter/RCD/Hauptschalter - HP110-HP1331 (material_environmental): M101-M103 -> M384-M395 Brandschutz/Laserschutz + M533/M408 SDB/PSA - HP800-HP858, HP1178-HP1264 (software/sensor/hmi): M101/M104 -> M105/M106/M107/M214 SPS/Watchdog/Plausibilitaet - HP026, HP611-HP1690 (ergonomic): M001/M082 -> M353-M360 + M530-M532 Hebehilfe/ergonomische Hoehe - HP201-HP1697 (mechanical): M054/M051 -> M002/M008/M061/M141 + M487/M488 Tueroeffnung-Stillsetzung/Wiederanlauf - Plus EMF/Strahlung/Brand/Lärm/Vibration/Kommunikation/Cyber Coverage shift (Pattern-Author-Fehler bei aktiviertem Set-Filter): start: 237 patterns with zero category-compatible measures after Stufe 1A: 5 (AI) after Stufe 1B: 20 (mechanical Bestand) after Stufe 1C: 35 (electrical Bestand) after Stufe 1D: 29 (material_environmental) after Stufe 1E: 29 (software/sensor/hmi) after Stufe 1F: 20 (ergonomic) after Stufe 1G: 80 (thermal/comm/radiation/fire/safety) final: 0 (28 extended.go/extended2.go duplicates fixed) New regression tests: - TestEveryPattern_HasCategoryCompatibleMeasure: every pattern in collectAllPatterns() must reference at least one category-compatible measure; gaps must be explicitly listed in AllowlistKnownGaps (currently empty). Fails CI for any new pattern that drifts. - TestAcceptableMeasureCategories: pins the set-mapping for the 7 most-bug-prone pattern categories. - TestIsCategoryCompatible_EmptyMeasureCat: protects legacy entries. A separate task #11 tracks 58 HP-ID duplicates between extended.go/extended2.go and cobot.go/press.go/operational.go — patterns are semantically different and TestGetBuiltinHazardPatterns_- UniqueIDs misses them because it only checks HP001-HP044. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
99 lines
5.8 KiB
Go
99 lines
5.8 KiB
Go
package iace
|
|
|
|
// builtinSoftwarePatterns returns HP029-HP034: software and control system hazard patterns.
|
|
func builtinSoftwarePatterns() []HazardPattern {
|
|
return []HazardPattern{
|
|
{
|
|
ID: "HP029", NameDE: "Software-Fehler in Steuerung", NameEN: "Software fault in controller",
|
|
RequiredComponentTags: []string{"has_software", "programmable"},
|
|
RequiredEnergyTags: []string{},
|
|
ExcludedComponentTags: []string{"has_ai"},
|
|
GeneratedHazardCats: []string{"software_fault"},
|
|
SuggestedMeasureIDs: []string{"M105", "M106", "M107", "M112", "M141"},
|
|
SuggestedEvidenceIDs: []string{"E01", "E14"},
|
|
Priority: 85,
|
|
ScenarioDE: "Softwarefehler (Logikfehler, Race Condition, Ueberlauf) fuehrt zu unbeabsichtigter Maschinenbewegung.",
|
|
TriggerDE: "Nicht abgefangener Fehlerzustand, falsche Parametrierung oder Timing-Problem in der SPS/Steuerung.",
|
|
HarmDE: "Unerwartete Aktorbewegung, Versagen der Abschaltfunktion, unkontrollierter Dauerlauf.",
|
|
AffectedDE: "Bedienpersonal, Personen im Maschinenbereich",
|
|
ZoneDE: "Gesamte Maschine (Wirkbereich aller softwaregesteuerter Aktoren)",
|
|
DefaultSeverity: 4, DefaultExposure: 2,
|
|
},
|
|
{
|
|
ID: "HP030", NameDE: "Sicherheitsfunktionsversagen", NameEN: "Safety function failure",
|
|
RequiredComponentTags: []string{"safety_device"},
|
|
RequiredEnergyTags: []string{},
|
|
GeneratedHazardCats: []string{"safety_function_failure"},
|
|
SuggestedMeasureIDs: []string{"M104", "M105", "M051"},
|
|
SuggestedEvidenceIDs: []string{"E01", "E07", "E08", "E09"},
|
|
Priority: 95,
|
|
ScenarioDE: "Sicherheitsrelevante Funktion (Not-Halt, Schutztuer, Lichtvorhang) versagt im Anforderungsfall.",
|
|
TriggerDE: "Hardware-Defekt, systematischer Fehler oder unentdeckter gefaehrlicher Ausfall der Sicherheitskomponente.",
|
|
HarmDE: "Kein rechtzeitiger Maschinenstopp, Verletzung durch fehlende Schutzfunktion, schwere Folgen.",
|
|
AffectedDE: "Bedienpersonal, alle Personen im Gefahrenbereich",
|
|
ZoneDE: "Schutzbereich hinter Schutzzaun, Lichtvorhang-Ebene, Not-Halt-Wirkbereich",
|
|
DefaultSeverity: 5, DefaultExposure: 2,
|
|
},
|
|
{
|
|
ID: "HP031", NameDE: "Konfigurationsfehler", NameEN: "Configuration error",
|
|
RequiredComponentTags: []string{"programmable"},
|
|
RequiredEnergyTags: []string{},
|
|
GeneratedHazardCats: []string{"configuration_error"},
|
|
SuggestedMeasureIDs: []string{"M145", "M146", "M121"},
|
|
SuggestedEvidenceIDs: []string{"E01", "E14"},
|
|
Priority: 70,
|
|
ScenarioDE: "Falsche Parametrierung von Achsgrenzen, Geschwindigkeiten oder Sicherheitsgrenzen nach Produktwechsel.",
|
|
TriggerDE: "Bediener oder Einrichter aendert Parameter ohne Validierung oder nutzt falsches Rezept/Programm.",
|
|
HarmDE: "Ueberfahren mechanischer Anschlaege, zu hohe Kraefte/Geschwindigkeiten, Kollision.",
|
|
AffectedDE: "Bedienpersonal, Einrichter",
|
|
ZoneDE: "Gesamte Maschine (alle parametrierbaren Achsen und Funktionen)",
|
|
DefaultSeverity: 3, DefaultExposure: 2,
|
|
},
|
|
{
|
|
ID: "HP032", NameDE: "Fehlende Protokollierung / Audit", NameEN: "Missing logging / audit",
|
|
RequiredComponentTags: []string{"has_software"},
|
|
RequiredEnergyTags: []string{},
|
|
GeneratedHazardCats: []string{"logging_audit_failure"},
|
|
SuggestedMeasureIDs: []string{"M142", "M149"},
|
|
SuggestedEvidenceIDs: []string{"E01"},
|
|
Priority: 50,
|
|
ScenarioDE: "Sicherheitsrelevante Ereignisse werden nicht protokolliert; Ursachenanalyse nach Vorfall unmoeglich.",
|
|
TriggerDE: "Fehlende oder unvollstaendige Logging-Implementierung fuer sicherheitsrelevante Zustandswechsel.",
|
|
HarmDE: "Kein direkter Personenschaden, aber erschwerter Nachweis und verzoegerte Fehlerbeseitigung.",
|
|
AffectedDE: "Indirekt alle Bediener (Wiederholungsgefahr unerkannter Fehler)",
|
|
ZoneDE: "Steuerungssystem, Sicherheits-SPS, HMI-Audit-Trail",
|
|
DefaultSeverity: 2, DefaultExposure: 3,
|
|
},
|
|
{
|
|
ID: "HP033", NameDE: "Update-Fehler / Rollback-Problem", NameEN: "Update failure / rollback problem",
|
|
RequiredComponentTags: []string{"has_software", "programmable"},
|
|
RequiredEnergyTags: []string{},
|
|
GeneratedHazardCats: []string{"update_failure"},
|
|
SuggestedMeasureIDs: []string{"M138", "M141", "M146"},
|
|
SuggestedEvidenceIDs: []string{"E01", "E14"},
|
|
Priority: 65,
|
|
ScenarioDE: "Software-Update der Steuerung scheitert oder fuehrt zu inkompatiblem Zustand mit Sicherheitsfunktionen.",
|
|
TriggerDE: "Unterbrochenes Update, inkompatible Firmware-Version oder fehlender Rollback-Mechanismus.",
|
|
HarmDE: "Steuerungsausfall, Verlust der Sicherheitslogik, unkontrollierter Maschinenzustand.",
|
|
AffectedDE: "Bedienpersonal, Wartungspersonal",
|
|
ZoneDE: "Steuerungssystem, Sicherheits-SPS, Antriebsregler",
|
|
DefaultSeverity: 3, DefaultExposure: 1,
|
|
},
|
|
{
|
|
ID: "HP034", NameDE: "Verriegelungs-Umgehungsgefahr", NameEN: "Interlock bypass risk",
|
|
RequiredComponentTags: []string{"interlocked"},
|
|
RequiredEnergyTags: []string{},
|
|
GeneratedHazardCats: []string{"safety_function_failure"},
|
|
SuggestedMeasureIDs: []string{"M051", "M104", "M107"},
|
|
SuggestedEvidenceIDs: []string{"E01", "E08"},
|
|
Priority: 85,
|
|
ScenarioDE: "Sicherheitsverriegelung (Schutztuer, Zweihandsteuerung) wird vom Bediener umgangen oder manipuliert.",
|
|
TriggerDE: "Festklemmen des Tuerschalters, Ueberbruecken der Zweihandbedienung oder Dauerbetaetigung mit Kabelbinder.",
|
|
HarmDE: "Voller Zugang zum Gefahrenbereich bei laufender Maschine, schwere Quetsch-/Schnittverletzung.",
|
|
AffectedDE: "Bedienpersonal, Einrichter",
|
|
ZoneDE: "Schutztuerbereich, Zweihand-Bedienpult, Verriegelungsschalter",
|
|
DefaultSeverity: 5, DefaultExposure: 2,
|
|
},
|
|
}
|
|
}
|