J
Jean Souyris
Researcher at Airbus
Publications - 24
Citations - 874
Jean Souyris is an academic researcher from Airbus. The author has contributed to research in topics: Avionics software & Avionics. The author has an hindex of 12, co-authored 23 publications receiving 841 citations. Previous affiliations of Jean Souyris include Matra.
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
Airbus Fly-By-Wire: A Total Approach To Dependability
TL;DR: System safety and availability principles are presented with an emphasis on their evolution and on future challenges of the Airbus airplanes.
Proceedings ArticleDOI
An abstract interpretation-based timing validation of hard real-time avionics software
Stephan Thesing,Jean Souyris,Reinhold Heckmann,F. Randimbivololona,Marc Langenbach,Reinhard Wilhelm,Christian Ferdinand +6 more
TL;DR: This work's approach to WCET prediction was implemented for the Motorola ColdFire 5307 and includes a static prediction of ∗ This work was partly supported by the RTD project IST-1999-20527 “DAEDALUS” of the European FP5 program.
Proceedings ArticleDOI
Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation
Jean Souyris,Erwan Le Pavec,Guillaume Himbert,Guillaume Borios,Victor Jégu,Reinhold Heckmann +5 more
TL;DR: This paper presents how the timing analyser aiT is used for computing the Worst-Case Execution Time (WCET) of two safety-critical avionics programs.
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.