AeroLabs/Solutions/AL-01 AERO-PLIANCE
AL-01 · Ingénierie & conformité documentaire

AERO-PLIANCE

1.0

Constituer le dossier d’ingénierie et prouver la couverture d’exigences. À partir du code source ou d’une spécification de besoin, AERO-PLIANCE génère la documentation de conception, la documentation technique et la matrice de traçabilité — et signale chaque écart.

EntréeCode source ou spécification de besoin (STB)
SortieDoc de conception + doc technique + matrice de traçabilité et de conformité
PourIngénierie système · qualité · certification
Démonstration

Chaque exigence reliée à sa preuve

AEROLABS STUDIO — AERO-PLIANCEON-PREM · AIR-GAP
VOTRE POSTE
STB-2041.pdf spécification de besoin
ecl_poste_ctrl.exe le logiciel réel
doc_exigences.pdf
matrice_conformité.xlsx
DÉPOSEZ VOTRE SPÉCIFICATION
Atelier AERO-PLIANCEexigences & conformité
312 exigences extraitesSTB-2041
DOC EXIGENCES — 2.4 Alarme pression
DÉPOSEZ MAINTENANT LE LOGICIEL À COMPARER
REQ-014 · Alarme pressionDANS LE CODE
REQ-021 · Consigne barDANS LE CODE
REQ-047 · Mode dégradéABSENTE DU CODE
COUVERTURE 87 % · 14 ÉCARTS À ARBITRER
Deux entrées : la spécification… et le logiciel réel EN COURS
Étape par étape

De la spécification à la conformité réelle du logiciel

01 · INGÉRER

La spécification devient un référentiel exploitable

La STB est déposée dans AERO-PLIANCE. Les exigences, identifiants, niveaux et relations sont extraits puis structurés dans votre vocabulaire programme.

STB-2041.pdf312 exigences
REQ-014 Alarme pression REQ-021 Consigne bar REQ-047 Mode dégradé
02 · DOCUMENTER

La documentation logicielle d’exigences se construit

Chaque exigence détaillée reçoit sa description, ses interfaces, ses critères et ses liens. Le document se remplit directement dans vos trames.

2. Fonctions2.4 Alarme pression2.5 Mode dégradé
REQ-014 · ALARME PRESSION Critère : seuil > 5,0 bar
03 · COMPARER

Le logiciel réel est confronté à la spécification

L’exécutable ou le source est ajouté comme seconde entrée. AERO-PLIANCE analyse ce qui est réellement implémenté et relie chaque comportement au référentiel détaillé.

SPÉCIFICATION REQ-014REQ-021REQ-047
LOGICIEL RÉEL alarmes.cregulation.cABSENT
04 · ARBITRER

La couverture et les écarts deviennent lisibles

La matrice distingue ce qui est couvert, partiel ou absent. Chaque écart est documenté pour accélérer l’arbitrage d’ingénierie et la mise en conformité.

EXIGENCECODESTATUT
REQ-014alarmes.cCOUVERTE
REQ-021regulation.cCOUVERTE
REQ-047ÉCART
87 % DE COUVERTURE
Livrables

Ce que vous recevez

PDFDossier de conception (vos trames) PDFDocumentation technique XLSXMatrice de traçabilité et de conformité PDFRapport d’écarts pour arbitrage

Un dossier à constituer ?

Apportez une STB et un périmètre de code — nous produisons un extrait de matrice sur vos données lors du briefing.

Demander un briefing