La plateforme
Chaque application prend en charge une partie du travail — et transmet ses preuves à la suivante. Utilisez-les ensemble, ou une à la fois.
Vue d’ensemble de la plateformeVoir comment la boucle fonctionneOrchestration
DjiniousEngineeringOrchestrationConception et preuve
DjiniousLabModélisation et simulation
DjiniousWorkshopIntégration système
DjiniousSafeCode certifiableExploitation
DjiniousCCExploitation et SCADADjiniousEngineeringOrchestrationDjiniousLabModélisation et simulationDjiniousWorkshopIntégration systèmeDjiniousSafeCode certifiable
DjiniousWorldRépliques 3D
DjiniousMapSIG agentiqueDjiniousCCExploitation et SCADA
DjiniousDataBase de connaissances
DjiniousWorkflowAutomatisation agentique
DjiniousEngineeringOrchestrationDjiniousEngineering est un ingénieur système IA. Confiez-lui une poignée de spécifications et il porte le système jusqu’à un dossier de données de fabrication ou de déploiement — en dérivant les exigences, en arbitrant les architectures, en dimensionnant la conception et en clôturant la vérification. Chaque projet est un System Ledger : le fil numérique, travaillé étape par étape, et arrêté à chaque jalon de revue pour un humain.
DjiniousEngineering
Ce que c’est
Tout ce dont le cycle de vie a besoin, dans un seul produit avec un seul modèle de données — pour qu’il n’y ait aucune couture entre l’exigence que vous dérivez, le composant auquel elle est allouée, et la vérification qui la clôture.
Le fil numérique sous forme de onze colonnes d’étapes. Chaque élément porte un type d’artefact, une classe de preuve, une révision et un état de validation ; réviser l’un marque tout ce qui est en aval comme obsolète.
ISO/IEC/IEEE 15288Des exigences dérivées des besoins, allouées à des composants, sourcées auprès de fournisseurs, et clôturées par la vérification — le tout sous forme d’arêtes de graphe que vous pouvez parcourir, pas de liens tenus à la main.
ISO/IEC/IEEE 29148Un modèle unique et vérifiable par machine de tout le système, à travers quatre piliers et vingt-sept types d’entités, vérifié par rapport à vingt-six règles de bonne formation, avec ses écarts listés.
Conformité L0–L3Cinq jalons que l’agent évalue mais que seule une personne franchit. Chacun bloque l’exécution jusqu’à ce que les éléments en amont soient validés par un utilisateur et que les critères soient satisfaits.
SRR · PDR · CDR · TRR · PRRUne nomenclature avec fabriquer-ou-acheter, délais de livraison, sources secondaires et risque, reliée à la bibliothèque de composants partagée — parce que la CDR ne passera pas sans une source qualifiée sur chaque pièce.
Fabriquer ou acheterL’artefact de publication — référence, procédures et preuves — généré à partir du ledger validé et exporté sous forme de dossier de documents, pas rédigé en parallèle.
Généré à partir du filDans le produit
Chaque capture ci-dessous est le produit en fonctionnement.
01 · System Ledger
Chaque projet est un System Ledger — le fil numérique qui contient la référence technique et le dossier de données techniques d’un système. Pas des documents dans des lecteurs, mais des éléments typés reliés par des arêtes « produces » : onze étapes du cycle de vie ISO/IEC/IEEE 15288, chaque élément portant un type d’artefact, une classe de preuve, une révision et un état de validation. Suivez les arêtes et vous avez toute la chaîne : les besoins produisent des exigences, les exigences produisent des composants, les composants produisent des fournisseurs, et la vérification referme la boucle.
DjiniousEngineering
02 · Classes de preuve
Une affirmation ne vaut que ce que vaut ce qui la soutient. Chaque valeur sur le ledger porte une classe de preuve sur une échelle ordonnée, de la plus forte à la plus faible. Une exigence déclare la méthode de vérification qu’elle exige, et le ledger refuse de la clôturer sur une preuve plus faible que ce que cette méthode autorise. Vous ne pouvez pas clore une exigence MEASURED sur du JUDGMENT, et une valeur encore marquée UNKNOWN bloque tout ce qui en dépend.
DjiniousEngineering
03 · Le modèle ELANG
ELANG — le langage d’ingénierie pour les artefacts, les processus et la gouvernance — est un modèle déclaratif unique de tout le système, rédigé dans l’application dans un éditeur CodeMirror comme l’élément system_model. Il est vérifié par rapport à des règles de bonne formation et rapporté à un niveau de conformité avec les écarts exacts qui le retiennent, pas une coche verte.
DjiniousEngineering
04 · Les jalons de revue
L’agent propose des éléments étape par étape puis s’arrête. À chacun des cinq jalons de revue ISO 15288, il ne peut que présenter le travail en amont ; un humain valide la preuve et le laisse passer. Ce sont là les véritables critères d’acceptation que le ledger vérifie avant même qu’un jalon ne soit proposé pour validation — ce qui empêche une exécution autonome de concevoir par-dessus une référence non revue.
05 · Chaîne d’approvisionnement
L’étape chaîne d’approvisionnement transforme une architecture en nomenclature avec fabriquer-ou-acheter sur chaque ligne. Les composants sont tirés de la bibliothèque de composants atteinte via le connecteur DjiniousWorkshop, chacun portant une source qualifiée, une source secondaire et un délai de livraison — ce qui est exactement ce que vérifie le jalon Critical Design Review.
DjiniousEngineering
06 · Livrables
Parce que chaque élément est typé, tracé et validé, les livrables sont générés à partir du ledger plutôt que rédigés en parallèle. À la Publication de référence, tout le fil se compile en un dossier de données techniques — complet et cohérent en interne, ce qui est précisément ce qu’exige le jalon Production Readiness Review avant de s’ouvrir.
DjiniousEngineering
IA et agents
L’agent lit le ledger, travaille une étape à la fois selon une recette et émet un seul élément typé par étape. Ce qu’il ne peut pas faire, c’est franchir un jalon de revue de sa propre initiative — il s’arrête à chaque jalon jusqu’à ce qu’un humain ait validé la preuve en amont, imposé côté serveur à chaque étape. L’IA est un accélérateur, jamais une dépendance : réglez chaque classe d’outil sur refuser, et la même revue humaine referme toujours les mêmes jalons.
Le besoin de mission est ancré en premier : ce que le système doit faire et les conditions dans lesquelles il doit le faire. À partir de là, l’agent dérive des exigences singulières et vérifiables et assigne une méthode de vérification à chacune — rien n’entre dans le fil qui ne pourrait plus tard être clôturé par une preuve.
Des concepts candidats sont arbitrés, une architecture est choisie, et la boucle de dimensionnement s’exécute jusqu’à converger avec une marge positive par rapport à chaque contrainte dure. Le résultat est capturé comme un modèle ELANG unique et vérifiable par machine, vérifié par rapport à ses règles de bonne formation.
Les exigences sont clôturées par des preuves, jamais par une affirmation. Rien ne clôture une exigence sur du JUDGMENT quand sa méthode de vérification exige du MEASURED, et une classe UNKNOWN bloque purement et simplement la clôture. La réplique numérique est corrélée avec les modèles qu’elle prétend représenter.
Un humain examine la proposition et la preuve qui la sous-tend, puis valide ou rejette. Seuls les éléments user_validated comptent comme des contrats remplis — l’agent ne peut pas faire franchir un jalon à une référence non revue.
L’autonomie est une politique sur des classes d’outils : lecture, écriture et navigateur, chacune réglée indépendamment sur demander, autoriser ou refuser. Le réglage par défaut est demander — un appel nécessitant une approbation est acheminé vers une file humaine.
Tout appel d’outil que la politique envoie sur demander est acheminé vers une file d’approbation humaine avant de s’exécuter. Rien n’attend indéfiniment : un appel laissé sans approbation se rejette automatiquement après cinq minutes.
Les outils travaillent directement sur le ledger — le lire, trouver l’étape suivante, vérifier un jalon, ajouter un élément, en remplacer un avec une raison écrite, tracer une exigence — avec le raisonnement et les appels d’outils diffusés en direct.
DjiniousEngineering
Capacités
Exigences, arbitrages, architecture, modèles, sécurité, chaîne d’approvisionnement et vérification ne sont pas sept documents ici — ce sont un seul fil tracé avec un seul modèle de données.
Onze étapes nommées d’après les processus ISO/IEC/IEEE 15288, de Mission & Besoin à Production & Exploitation.
Cinq jalons validés par un humain, après Exigences, Modèles d’ingénierie, Chaîne d’approvisionnement, Vérification & Validation et Publication de référence.
Trente sorties d’éléments typés, de spec_brief à technical_data_package.
Huit classées — MEASURED → … → JUDGMENT → UNKNOWN ; UNKNOWN bloque la clôture.
Des jeux d’instructions par classe de système que les agents exécutent, étendant la base ISO 15288 générique avec des entrées, sorties, règles de preuve et assertions automatisées explicites.
Quatre piliers, vingt-sept types d’entités, une source unique vérifiable par machine.
Vingt-six WFR, niveaux de conformité L0–L3 avec une liste d’écarts.
derives_from · allocated_to · satisfies · verifies · supplied_by.
Des arêtes « produces » sur un DAG ; obsolescence propagée en aval à chaque changement.
Des architectures candidates arbitrées sur des critères explicites et pondérés, avec une décision enregistrée et des exigences allouées aux composants qui les implémentent.
Piloté par recette sur pi-agent-core, un élément par étape, s’arrête à chaque jalon.
Par classe d’outil — lecture, écriture, navigateur — chacune réglée sur demander, autoriser ou refuser.
Une file d’approbation humaine pour les appels soumis à un jalon ; un humain valide chaque jalon.
Un point de terminaison MCP d’une trentaine d’outils plus REST, derrière des clés API à portée définie.
Bun · React 19 · TypeScript.
SurrealDB — graphe, vecteurs et texte intégral dans un seul magasin.
JWT (OIDC) plus des jetons API longue durée à portée définie.
administrateur · utilisateur · lecteur.
Un seul point d’accès authentifié pour atteindre DjiniousLab, Workshop, Safe, World, Map et CC.
Confiance
DjiniousEngineering est API-first et auto-hébergeable. Chaque capacité est un point de terminaison REST, tout le System Ledger est exposé via un seul point de terminaison MCP, et chaque élément du fil numérique porte une révision, un état de validation et la preuve sur laquelle il a été clôturé.
L’agent travaille le ledger étape par étape et s’arrête à chaque jalon de revue jusqu’à ce que les éléments en amont soient validés par un utilisateur selon des critères explicites. Il propose ; une personne valide. Aucun jalon ne se franchit lui-même.
SRR · PDR · CDR · TRR · PRRChaque élément passe de draft → proposed → agent_validated → user_validated, porte une révision, et nomme son type d’artefact. agent_validated signifie en attente d’un humain ; user_validated est la signature de l’humain sur l’enregistrement.
Remplacer un élément exige une raison écrite, et modifier son contenu marque comme obsolète tout ce qui est atteignable en aval le long des arêtes « produces » — si bien que rien ne repose silencieusement sur une fondation déplacée.
Une exigence ne peut pas se clôturer sur une preuve plus faible que ce qu’exige sa méthode de vérification — UNKNOWN bloque purement et simplement la clôture. Les rôles sont administrateur, utilisateur et lecteur, avec une politique d’autonomie par utilisateur sur ce que l’agent peut faire sans supervision.
Les onze étapes sont nommées d’après les processus ISO/IEC/IEEE 15288, les exigences suivent ISO/IEC/IEEE 29148 et l’architecture suit ISO/IEC/IEEE 42010. Le dossier de données techniques est l’artefact de publication, pas une réflexion après coup boulonnée à la fin.
ISO/IEC/IEEE 15288 · 29148 · 42010C’est la même API REST qu’utilise le front-end propre du produit que vous utilisez pour construire. Le ledger est exposé via un seul point de terminaison MCP d’une trentaine d’outils, et le CLI dje pilote l’agent directement depuis un terminal, si bien qu’une exécution a sa place dans un pipeline aussi facilement que dans le navigateur.
REST · MCP · CLIUne pile Docker Swarm — l’application Bun sur React 19, appuyée par SurrealDB pour le graphe, les vecteurs et le texte intégral dans un seul magasin — derrière votre proxy inverse. Vos données et votre fil restent sur votre infrastructure.
Docker SwarmL’authentification est du JWT sur OIDC ; des jetons API longue durée à portée définie sécurisent l’automatisation. Les identifiants de connecteurs et autres secrets sont scellés au repos avec AES-256-GCM et ne sont jamais renvoyés au navigateur — rien ne partage une clé unique et générale.
AES-256-GCMIl ne prédit ni ne prévoit : le ledger enregistre ce qui a été établi et avec quelle force. L’agent ne franchit jamais un jalon lui-même. Et une exigence dont le soutien est encore UNKNOWN ne peut pas être clôturée — une preuve faible reste visible comme une preuve faible plutôt que d’être promue pour faire paraître un jalon prêt.
Dans le fil numérique
DjiniousEngineering assure sa part de la boucle d’ingénierie et transmet ses preuves — et fonctionne tout aussi bien seule.
Reçoit
DjiniousDataLes spécifications, normes et documents source sur lesquels s’appuie le besoin de la mission, sous forme de connaissances gouvernées et consultables.DjiniousLabModèles numériques, exécutions de solveur et code généré, qui arrivent sur le Ledger comme preuves avec leur provenance intacte.DjiniousWorkshopComposants issus de la bibliothèque partagée, intégration système et résultats de simulation Isaac Sim.DjiniousSafeCode critique pour la sécurité vérifié formellement pour les éléments qui doivent être prouvés, et non simplement testés.DjiniousWorldModèles 3D, maquettes et répliques numériques du système et de son environnement.DjiniousMapDonnées géographiques de l’environnement d’exploitation.DjiniousCCSupervision SCADA et exploitation de la réplique numérique une fois le système en fonctionnement.DjiniousEngineeringOrchestrationLivre
DjiniousLabLe travail de modélisation de chaque étape : le système à capturer, avec les exigences et paramètres au regard desquels il doit être testé.DjiniousWorkshopL’architecture et la nomenclature à intégrer en un système complet et à boucler en simulation.DjiniousSafeLes fonctions critiques pour la sécurité et les exigences que leur code vérifié doit satisfaire.DjiniousWorldLes demandes de réplique et de maquette dont dépend l’étape de réplique numérique.DjiniousMapL’environnement d’exploitation à décrire pour chaque projet.DjiniousCCLa configuration de référence publiée et le dossier technique (Technical Data Package) au regard desquels le système déployé est exploité.À elle seule, DjiniousEngineering est une plateforme complète d’ingénierie système : le System Ledger, les exigences et la traçabilité, le modèle ELANG, les jalons de revue, la chaîne d’approvisionnement et le dossier technique (Technical Data Package), réunis dans un seul produit avec un seul modèle de données. Les connecteurs sont optionnels ; le Ledger et ses jalons fonctionnent sans eux.
Modèle commercial
DjiniousEngineering est sous licence par programme — une organisation, une pratique d’ingénierie — sans rien mesuré à l’intérieur. Pas de facturation par exigence, pas de frais par projet, pas de compte de sièges, pas de plafond sur les exécutions d’agents ou les applications connectées. Personne ne devrait rationner les exigences ou fermer un projet à cause d’une licence.
Une seule licence couvre la pratique d’ingénierie de votre organisation, pas un seul projet. Chaque System Ledger que vous ouvrez, chaque élément de ledger que vos agents rédigent, chaque modèle ELANG que vous vérifiez et chaque jalon qu’un humain valide en fait partie.
Il n’existe pas de grille tarifaire, car le montant dépend de votre programme. Le tarif se détermine lors de l’appel — venez avec le type de systèmes que vous concevez, une idée du nombre de projets et d’ingénieurs, et si vous souhaitez une solution autohébergée ou gérée.
Cas d’usage
5 cas documentés.
Autonomie sous-marineAUV de relevé des fonds marins Marlin-XRUn véhicule sous-marin autonome relevant le corridor du câble d’export du parc éolien offshore de Dogger Bank. Le ledger de démonstration fourni : quarante éléments amorcés sur les onze étapes du cycle de vie, du brief de mission à la procédure de déploiement.DjiniousEngineeringAéronef sans piloteUAV de relevé Kestrel-1Un UAV de relevé à voilure fixe, amorcé comme exemple documenté : huit exigences, six composants, quatre fournisseurs et quatre vérifications, câblés en un graphe de traçabilité, avec un véritable system_model ELANG et un Technical Data Package intégré.DjiniousEngineering
Robotique industrielleCellule robotisée KronosUne cellule robotisée à six axes modélisée de bout en bout en ELANG comme référence auditée — environ un millier de lignes portant une conception de sécurité fonctionnelle au niveau de performance ISO 13849-1 PL d, chaque protection étant tracée jusqu’au danger qu’elle atténue.DjiniousEngineeringÉnergie à l’échelle du réseauCentrale solaire-stockage SunnyGrid80Une centrale photovoltaïque de 80 MW avec un système de stockage d’énergie par batterie de 40 MW / 80 MWh et son poste de raccordement au réseau, modélisée en ELANG comme référence auditée à l’UL 9540A et à l’IEC 62443 — un système de systèmes où les interfaces portent autant la conception que les boîtes elles-mêmes.DjiniousEngineeringDétection RF et radarModule de détection radar embarquéUn module de détection radar embarqué — la classe de système que couvre la recette RF/radar : une carte à signaux mixtes où les normes de spectre, de CEM, d’environnement et de fabrication contraignent la conception aussi fortement que l’exigence de détection elle-même.DjiniousEngineeringRéserver une démo
Une séance de travail, pas une présentation. Apportez-nous un système — quelques spécifications et une exigence qui compte vraiment pour vous — et nous le faisons passer par le Ledger : cadrer le besoin, dériver des exigences vérifiables, construire le modèle ELANG et franchir un jalon de revue, en direct. Ou nous vous disons clairement ce que DjiniousEngineering ne sait pas encore faire.
Le long du fil numérique
DjiniousLabModélisation et simulationDes modèles système multidomaines, des répliques numériques et une boîte à outils mathématique, pilotés par l’IA.
DjiniousWorkshopIntégration systèmeDes composants câblés en un système complet et bouclé grâce à la physique GPU dans NVIDIA Isaac Sim.
DjiniousSafeCode certifiableDes spécifications Lean 4 et des preuves vérifiées par le noyau transformées en Rust embarqué sans panique, jusqu’à SIL 4.
DjiniousWorldRépliques 3DDes environnements réels reconstruits à partir de LiDAR, de photographies et de vidéo — l’environnement physique du jumeau.
Djinious