4. Développement formel
4.1 Méthodes formelles
Les méthodes formelles sont en plein essor notamment dans les applications critiques telles que les centrales nucléaires, l'avionique ou le transport ferroviaire. Le problème des applications critiques est de garantir un maximum de sécurité dans le fonctionnement de l'application. L'apport des méthodes formelles est d'offrir un cadre mathématique au processus de développement, ce qui permet de disposer d'une méthode permettant la production de logiciels corrects par construction grâce à un processus de développement vérifiable par des techniques de validation tel que la preuve ou l'exploration de modèle. Pour cela, il faut évidemment décrire de façon précise les propriétés que le système informatique doit posséder. Les...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Développement formel
Synthèse et conclusion
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Fonctions et composants mécaniques"
(
276 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
