High Integrity Software / Aircraft Software / Since 2001 / Airborne Systems / Space Shuttle / Airbus / Embedded Real-Time Systems / Safety-Critical Software / Software Intensive Systems / Software Reliability Laboratory / Dassault-Aviation Since 2004 / Microsoft / John Wiley & Sons / Embedded Software / /
Continent
Europe / /
Country
France / /
Currency
USD / / /
Event
Product Issues / /
Facility
Software Reliability Laboratory / Tours University / University of Paris VII / /
IndustryTerm
transferred formal verification technology / unsound tools / proof tool / similar tools / process management tool / domainspecific tools / highintegrity systems / formal analysis tool / avionics software / theorem-proving tool / formal verification tools / formal methods / information technology / ormal methods technology / digital flight control systems / /
Organization
Information Society / Ecole Nationale Supérieure d’Aéronautique / Tours University / IFIP Int’l Federation for Informa / National Aeronautics and Space Administration / IEEE Computer Society / /
Person
C.A.R. Hoare / Hervé Delseny / Benjamin Brosgol / Virginie Wiels / Richard E. Merwin / René Jacquart / Bertrand Meyer / Emmanuel Ledinot / Cyrille Comar / Benjamin Monate / E. Merwin Student / / /
Position
research scientist / representative in the ED-12/DO-178 formal methods group / researcher / model development team / engineer / senior engineer / member of the working group / leader / research scientist at Onera / director at TrustMySoft / /
Product
A350 / A400M / Falcon / A380 / implementation / /
ProgrammingLanguage
Java / C / Ada / J / C++ / /
ProvinceOrState
Mississippi / /
TVStation
WCET / /
Technology
information technology / pdf / ormal methods technology / formal verification technology / Java / 5 The technology / /
FOCUS: Safety-Critical Software Testing or Formal Verification: DO-178C Alternatives and Industrial Experience