D
David Delmas
Researcher at Airbus
Publications - 11
Citations - 417
David Delmas is an academic researcher from Airbus. The author has contributed to research in topics: Avionics software & Static analysis. The author has an hindex of 6, co-authored 11 publications receiving 398 citations. Previous affiliations of David Delmas include Airbus Operations S.A.S..
Papers
More filters
Book ChapterDOI
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
TL;DR: The IEEE 754 standard, the FLUCTUAT tool, the types of codes to be analyzed and the analysis methodology, together with code examples and analysis results are presented.
Book ChapterDOI
Formal Verification of Avionics Software Products
TL;DR: This paper relates an industrial experience in the field of formal verification of avionics software products from Airbus, a pioneer in this domain, which has been integrating several tool supported formal verification techniques into the development process of avionic software products.
Book ChapterDOI
Astrée: from research to industry
David Delmas,Jean Souyris +1 more
TL;DR: The description of analyses performed with Astree is described, an overview of the false alarm reduction process from an engineering point of view, and a possible customersupplier relationship model for the emerging market for static analysers is sketched.
Book ChapterDOI
Experimental assessment of Astrée on safety-critical avionics software
Jean Souyris,David Delmas +1 more
TL;DR: The paper shows how Abstract Interpretation based static analysis will contribute to the safety of avionics programs and how a user from industry can achieve the false alarm reduction process via a dedicated method.
Proceedings ArticleDOI
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software
Antoine Miné,David Delmas +1 more
TL;DR: AstreeA, an extension of Astree with the potential to address the requirements for sound static analysis of concurrent embedded software at Airbus is presented: it is scalable and reports soundly all run-time errors with few false positives.