FORMELL
DOKUMENTSAMLING
Varför formella PDF-dokument
FSG-A-wikin är den levande tekniska basen — den fångar ingenjörsresonemanget, bevisen och den arkitektoniska utvecklingen. Ett riktigt försvarsprogram behöver dokument med specifika strukturella egenskaper som en wiki inte kan tillhandahålla: versionsidentifierare på varje sida, signaturblock för framtagen/granskad/godkänd, oföränderlig revisionshistorik, och ett format som är lämpligt för arkivering i organisationens dokumenthanteringssystem. NATO AQAP 2110 och Försvarsmaktens egen kvalitetssäkringsvägledning pekar specifikt ut PDF-leveranser som den kanoniska formen för programposter.
De åtta dokumenten nedan följer den konventionen. Se engelska versionen för fullständiga detaljer om varje dokument.
De åtta referensdokumenten
FSG-A-FMEA-001 — FELANALYS
FSG-A-TEMP-001 — TEST- OCH UTVÄRDERINGSPLAN
FSG-A-ILS-001 — INTEGRERAT LOGISTISKT STÖD
FSG-A-RISK-001 — PROGRAMRISKREGISTER
FSG-A-SAFETY-001 — SYSTEMSÄKERHETSFALL
FSG-A-SBOM-001 — MJUKVARUMATERIALFÖRTECKNING
FSG-A-THREAT-001 — HOT- OCH SÅRBARHETSBEDÖMNING
FSG-A-INTEROP-001 — INTEROPERABILITETSMATRIS
Dokumentrelationer
De åtta referensdokumenten är inte oberoende — de refererar till varandra i en strukturerad ordning. FMEA identifierar felmoder; Säkerhetsfallet bygger det övergripande säkerhetsargumentet med bevis från FMEA. Riskregistret fångar programrisker som kan förhindra att Säkerhetsfallet valideras på utsatt tid. TEMP definierar testaktiviteterna som genererar bevis för att stänga Riskregister-poster och validera Säkerhetsfalls-påståenden. ILS adresserar upprätthållandet av säkerhet över 15-års livslängd. SBOM är en indata till både Säkerhetsfallet och Hotbedömningen. Interop-matrisen identifierar externa system vars integrationstestning är schemalagd i TEMP.
Hur man använder dessa dokument
Försvarsmakten / FMV-utvärderare: Börja med FSG-A-TEMP-001 för färdplan och nuvarande status; konsultera FSG-A-SAFETY-001 för luftvärdighetsargumentet; använd FSG-A-INTEROP-001 för att verifiera kompatibilitet med specifika system.
Teknisk huvudleverantör: FSG-A-ILS-001 ger 15-års TCO; FSG-A-SBOM-001 ger licenskompatibilitetsanalys; FSG-A-FMEA-001 flaggar delsystem där partnerexpertis skulle gagna programmet mest.
Reproducerbarhet
Varje PDF i denna samling genereras från Python-skript i formal-docs/. En utvärderare som vill verifiera att den mottagna PDF:en matchar den påstådda källdatan kan klona källarkivet, köra python3 generate_fmea.py, och jämföra utdata byte-för-byte (modulo tidsstämpel). Detta försvarar mot både oavsiktlig drift mellan källa-till-sanning och levererad PDF, och avsiktlig modifiering av PDF:en mellan generering och leverans.
Relaterade kapitel
Källor
Genereringsinfrastruktur: formal-docs/formal_doc_base.py använder ReportLab (BSD-3-Clause). Varje dokument citerar sin styrande standard på försättssidan. Korsreferenser inom FSG-A-wikin — teknisk ändringslogg: technical-changelog.html; källarkivnedladdning: download.html; säker leverans av dessa PDF:er via OpenPGP: secure-delivery.html.