replica-omnisciente/research/pt-futurista-audit/pikeos-4.x-extraction/PDF_MANIFEST.md

PikeOS 4.x PDF Documentation Manifest

Nota: Os PDFs originais (~200MB, 200+ ficheiros) não são armazenados no Git. Mantidos em /home/fabiorafaelcoutada/portugalfuturista/files_to_import/pikeos-4.x-extraction/pdfs/. Este manifesto documenta a estrutura e conteúdo.

Estatísticas

• Total de PDFs: 200+
• Tamanho total: ~200 MB
• Data de extração: 6 Julho 2026
• Fonte: devvm-arch VM (192.168.0.104)

Estrutura de Diretórios

Core Artifacts (pdfs/PikeOS Artifacts/)

Ficheiro	Tamanho	Descrição
00101-1000-HLRQ.pdf	1.4MB	Hardware/Low Level Requirements Qualification
00101-1001-HLDS.pdf	14.9MB	Hardware/Low Level Design Specification
KERN/00101-2000-KERN-IF.pdf	2.6MB	Kernel Interface Specification
PSSW/00101-3000-PSSW-IF.pdf	2.5MB	Software Interface Specification
PSSW/00101-3000-PSSW-IF-30p8.pdf	1.6MB	Software Interface v30p8
UTIL/00101-4000-UTIL-IF.pdf	184KB	Utility Interface Specification

Work Packages

• WP1/: Introdução, standards, work instructions, TFW reference
• WP3/: POSIX API (HLRQOPT-TC, ANIS-IF)
• WP4/: Configuration & Conversion (CCONV-TAR, CONF-IF)
• WP5/: ARINC 653 (A653-IF, A653-CONF, A653-DS, A653-HLDS, A653-HLRQ)
• WP6/: KDEV Driver Development + PikeOS 4.2 docs + training
• WP7/: Documentation baselines (4.2.2, 4.2.3, 5.0.1)
• WP8/: ADT-IF reviews
• WP9/: Extended PSSW interfaces
• WPX-Code_Review/: Code review standards

Standards (pdfs/standards/)

• DO/: DO-178C, DO-330-ED215
• A653/: ARINC 653 Parts 0-5

Outros

• pdfs/other/: CVS quick ref, MC-DC presentation, trainings
• pdfs/qa_audit/: Audit reports

Certificações Cobertas

• DO-178C (Aviation Software)
• DO-330 (Tool Qualification)
• ARINC 653 (Avionics Partitioning)
• DAL A/B/C/D safety levels

Uso

Para análise com Kimi ou outras ferramentas, referir os caminhos acima no sistema de ficheiros local (não no repo Git).