C'est une question super intéressante et oui c'est possible. Tu peux développer une application avec des méthodes formelles. L'ensemble du comportement sera spécifié. C'est chère et pas très amusant.
Mais plus simplement, ça dépend de ce que tu entend par stable, par performant et par mis en prod ;)
Tu peux diluer la mise en prod pour fortement limiter l'impact d'un éventuel problème.
Et tu as tout un tas de choses pour t'aider à être stable et performant des outils de benchmark, de fuzzing, tu as la possibilité d'utiliser des conteneurs pour faire des simulation d'attaques byzantines ou de différents type de problème réseau,... C'est généralement plus le manque d'investissement (ou une organisation problématique) que des limitations qui empêchent d'aller plus loin.
[^] # Re: Dériveur
Posté par barmic 🦦 . En réponse au journal "dérives sécuritaires" : inconvénients des flatpacks, snap ou environnements sandbox.. Évalué à 3.
C'est une question super intéressante et oui c'est possible. Tu peux développer une application avec des méthodes formelles. L'ensemble du comportement sera spécifié. C'est chère et pas très amusant.
Mais plus simplement, ça dépend de ce que tu entend par stable, par performant et par mis en prod ;)
Tu peux diluer la mise en prod pour fortement limiter l'impact d'un éventuel problème.
Et tu as tout un tas de choses pour t'aider à être stable et performant des outils de benchmark, de fuzzing, tu as la possibilité d'utiliser des conteneurs pour faire des simulation d'attaques byzantines ou de différents type de problème réseau,... C'est généralement plus le manque d'investissement (ou une organisation problématique) que des limitations qui empêchent d'aller plus loin.
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll