final hardware / airborne systems / host processor / multi-language applications / space systems / software verification process objectives / target hardware / industrial applications / safety-critical software development / certified safety-critical applications / control systems / cross compiled applications / software components / software level / software developers / coverage analysis tool / object coverage tools / developed software / industrial solutions / Software considerations / railroad systems / code generation algorithms / software architecture / Railway applications / open source tools / protection systems / /
OperatingSystem
VxWorks / /
Organization
Federal Aviation Administration / Requirements & Standards Division / Floating Point Unit / /
Person
Tristan Gingold / Randal E. Bryant / John J. Chilenski / Olivier Hainque / Philippe Wang / Adrien Joncquet / Emmanuel Chailloux / Cyrille Comar / Thomas Quinot / /
Position
representative / candidate for multi-language applications / /
ProgrammingLanguage
Ada / DC / C / C++ / /
PublishedMedium
IEEE Transactions on Computers / /
Technology
virtual machine / host processor / Floating Point Unit / code generation algorithms / VxWorks / OUVERTURE technology / http / ESA / Graph-Based Algorithms / /
Object and Source Coverage for Critical Applications with the C OUVERTURE Open Analysis Framework Matteo Bordin, Cyrille Comar, Tristan Gingold, ´ ome ˆ Jer