Zakres i pokrycie
SHV może obejmować dowolną udokumentowaną fizyczną możliwość istotną dla projektowania programów. Profil pokrycia kontrolujesz za pomocą qxctl. Domyślną podstawą daty jest wprowadzenie modelu na rynek, a nie wywnioskowana data produkcji konkretnego egzemplarza. Możesz rozszerzyć, zawęzić, zastąpić lub usunąć ten filtr.Zaimplementowane silniki
Wiedza SHV jest dostarczana przez wiele niezależnie instalowalnych silników C++:shv-engine
Jądro (0.4.0-dev): profile pokrycia, budowanie i odtwarzanie katalogu z zachowanych źródeł, ocena wymagań, deterministyczna projekcja grafów oraz walidacja grafów oparta na źródłach.
shv-source-engine
Tożsamość źródeł, plany relokacji, wiązanie przechwyconych bajtów i grafy pochodzenia odtwarzane ze źródeł.
shv-profile-engine
Zgodność deklaracji, przenośne receptury i dokładne wiązanie lokalnych źródeł.
shv-partition-engine
Operacje partycjonowania sprzętu i mapowania komponentów.
shv-publication-engine
Chronione głowy katalogów wywołującego, odtwarzanie z oryginalnych źródeł i trwałe odzyskiwanie migawek.
shv-graph-adapter
Ogólny port grafów w C++ i przenośny referencyjny adapter w pamięci do bezstratnej wymiany.
shv-graph-duckdb-connector
Opcjonalna relacyjna projekcja DuckDB dowodów z grafu sprzętu.
shv-pdf-adapter
Ograniczona ekstrakcja z PDF i ponowna walidacja twierdzeń dokumentacyjnych na podstawie oryginalnych bajtów.
Rewizja źródeł i pochodzenie
shv-source-engine implementuje stabilną tożsamość źródeł, jawne plany relokacji, czystą walidację przejść, wiązanie rzeczywiście przechwyconych bajtów oraz grafy pochodzenia odtwarzane ze źródeł. Są to operacje tylko do odczytu. Podstawowa kuratela priorytetowo traktuje oryginalną tożsamość komponentów i udokumentowane warianty. Chroniona aktywacja źródeł jest obsługiwana osobno; czysty silnik źródeł nie przyznaje uprawnień.
Wymiana i przechowywanie grafów
shv-graph-adapter zapewnia ogólny port grafów w C++ do bezstratnej wymiany i zapytań strukturalnych. Trwałe przechowywanie jest zaimplementowane z użyciem domyślnej bazy SQL DuckDB. Obecnie nie wybrano żadnej dedykowanej bazy danych grafowej.
Granica dowodów z PDF
shv-pdf-adapter wyodrębnia kwalifikowane twierdzenia dokumentacyjne z jawnych tabel PDF i ponownie je waliduje na podstawie oryginalnych bajtów po ogólnej wymianie grafów. Ogólne pokrycie PDF pozostaje osobnym, wyodrębnionym zadaniem.
Pozostałe prace
Szeroki atlas sprzętu, zautomatyzowane pozyskiwanie źródeł, agregacja konfliktów z wielu źródeł, dodatkowe sterowniki baz danych specyficzne dla dostawców, ładowanie niestandardowych wtyczek oraz integracja z Composer pozostają na później. Otwarte pozostają również szerokie mapowania komponentów i trwałe sterowniki dostawców.Relacje SHV z innymi wektorami
SNV
Rejestruje Node’y zawierające sprzęt opisywany przez SHV.
SCV
Odwołuje się do ofert sprzętowych dostawców, które SHV szczegółowo charakteryzuje.
SOV
Może działać na podstawie dowodów SHV podczas provisioningu lub przygotowywania Node’ów.