AZOUZ, Salima (2024) Exploration Formelle de la Stabilité des Algorithmes Numériques dans les Systèmes Embarqués PRE - Research Project, ENSTA.

[img]
Preview
PDF
513Kb

Abstract

This document presents a detailed analysis of complex numerical algorithms, emphasizing the use of abstract and symbolic domains to ensure their stability and reliability. We propose a structured methodology to model, analyze, implement, and validate these algorithms, using abstract interpretation tools to verify inductive invariants. This approach ensures that the algorithms operate correctly under all possible conditions, making critical embedded systems more robust.

Item Type:Thesis (PRE - Research Project)
Uncontrolled Keywords:Formal Verification - Algorithm Stability - Abstract Domain - Generic Model - Symbolic Domain
Subjects:Information and Communication Sciences and Technologies
ID Code:10075
Deposited By:Salima AZOUZ
Deposited On:02 sept. 2024 17:35
Dernière modification:02 sept. 2024 17:35

Repository Staff Only: item control page