Portée et couverture
SHV peut couvrir toute capacité physique appuyée par des preuves et pertinente pour la conception de programmes. Vous contrôlez le profil de couverture au moyen de qxctl. La base de date par défaut est la date de lancement du modèle, et non une date de fabrication individuelle déduite. Vous pouvez élargir, restreindre, remplacer ou supprimer ce filtre.Moteurs mis en œuvre
Les connaissances de SHV sont fournies au moyen de plusieurs moteurs C++ installables de façon indépendante :shv-engine
Noyau principal (0.4.0-dev) : profils de couverture, construction et relecture du catalogue à partir de sources conservées, évaluation des exigences, projection déterministe de graphes et validation de graphes appuyée par les sources.
shv-source-engine
Identité des sources, plans de relocalisation, liaison de capture d’octets et graphes de provenance rejoués à partir des sources.
shv-profile-engine
Conformité des déclarations, recettes portables et liaison exacte aux sources locales.
shv-partition-engine
Opérations de partitionnement matériel et de correspondance des composants.
shv-publication-engine
Têtes de catalogue protégées de l’appelant, relecture des sources d’origine et récupération durable des instantanés.
shv-graph-adapter
Port de graphe C++ générique et adaptateur de référence portable en mémoire pour un échange sans perte.
shv-graph-duckdb-connector
Projection relationnelle DuckDB facultative des preuves des graphes matériels.
shv-pdf-adapter
Extraction PDF bornée et revalidation des assertions documentaires à partir des octets d’origine.
Révision des sources et provenance
Leshv-source-engine met en œuvre une identité de source stable, des plans de relocalisation explicites, une validation pure des transitions, la liaison de capture des octets réels et des graphes de provenance rejoués à partir des sources. Ce sont des opérations en lecture seule. La curation principale privilégie l’identité des composants d’origine et les variantes appuyées par des preuves. L’activation protégée des sources est gérée séparément; le moteur de sources pur n’accorde aucune autorité.
Échange et stockage des graphes
Leshv-graph-adapter fournit un port de graphe C++ générique pour l’échange sans perte et les requêtes structurelles. Le stockage durable est mis en œuvre au moyen de DuckDB, la base SQL par défaut. Aucune base de données de graphes dédiée n’est actuellement sélectionnée.
Limite des preuves PDF
Leshv-pdf-adapter extrait des assertions documentaires qualifiées à partir de tableaux PDF explicites et les revalide à partir des octets d’origine après l’échange générique de graphes. La couverture PDF générale demeure un travail distinct à portée définie.
Travail restant
Un vaste atlas matériel, l’acquisition automatisée des sources, l’agrégation des conflits entre sources multiples, des pilotes de base de données supplémentaires propres aux fournisseurs, le chargement de modules d’extension personnalisés et l’intégration à Composer demeurent des travaux ultérieurs. Les correspondances étendues des composants et les pilotes durables propres aux fabricants restent également à faire.Liens entre SHV et les autres vecteurs
SNV
Consigne les Nodes qui contiennent le matériel que décrit SHV.
SCV
Fait référence aux offres matérielles des fournisseurs que SHV caractérise en détail.
SOV
Peut agir à partir des preuves de SHV lors de l’approvisionnement ou du conditionnement des Nodes.