Prentice-Hall / Space Station Flight Software / Space Station Biological Experiment Software / PolySpace Technologies / Mars Science Laboratory / /
Country
United States / /
Currency
USD / / /
Facility
Marshall Flight Space Center / A. Venet Kestrel Technology NASA Ames Research Center / Rutgers University / International Space Station / NASA Ames Research Center / Marshall Space Center / Space Station Biological Experiment Software This / Space Station Flight Software The / The University of Texas / /
IndustryTerm
software system / software error / software development process / smallest solution / realistic software systems / software coding phase / embedded software systems / software integration phase / verification tools / static program analysis tool / real embedded software / flight software / software systems / /
OperatingSystem
VxWorks / Linux / /
Organization
University of Texas at Austin / Rutgers University / Ecole Polytechnique / National Aeronautics and Space Administration / A. Venet Kestrel Technology NASA Ames Research Center / /
Person
A. Venet / Patrick Cousot / G. Brat / Radhia Cousot / R. Klemm / / /
Position
astronaut / Global Surveyor / controller for monitoring the biological experiments / collector / architect / translator / Manager / researcher / Major / Scientist / Surveyor / Marshall / controller / controller for the HHR / /
ProgrammingLanguage
SQL / C / /
ProvinceOrState
Texas / California / /
SportsEvent
the heritage / /
Technology
relational database / Linux / Information Technology / database management system / VxWorks / /
Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed]