Orlando / Wiley-Interscience / Pasadena / Boston / New York / Washington / DC / College Station / Berlin / Reading / London / /
Company
Jet Propulsion Laboratory / Airborne Systems / AddisonWesley Longman Publishing Co. Inc. / ACM Press / Princeton University Press / MDS Data Management Services / Complex Embedded Systems / Mars Science Laboratory / Mission-Critical Software / Model Checking Software / Data Management Services / /
Country
United States / United Kingdom / / /
Facility
Texas A&M University / Mars Science Laboratory / Jet Propulsion Laboratory / California Institute of Technology / /
IndustryTerm
mission critical software / test systems / transportation / dynamic cast operator / real time code / model-checking tool / probabilistic solution / static analysis tool / exhaustive search model / deterministic and probabilistic solutions / flight software verification / transport protocol / exhaustive search / software development / similar operators / pseudo random class hierarchy generation algorithm / deterministic solution / search computation / technology systems / mission software / comprehensible software / heuristic algorithm / space mission systems / Model-checking tools / optimum search / embedded devices / control systems / software standard / large software applications / embedded control systems / exhaustive search increases / probabilistic and deterministic solutions / dynamic cast algorithm / unfeasible solutions / real-time embedded systems / flight software / mission critical systems / search engine / inconsistent solutions / Search time / real-time systems / dynamic casting algorithm / runtime search / /
Organization
Federal Aviation Administration / California Institute of Technology / American National Standards Institute / Princeton University / USENIX Association / National Aeronautics and Space Administration / Texas A&M University / Mars Science Laboratory mission / IEEE Computer Society / /
Person
Kirk Reinholtz / Peter Pirkelbauer / Gerard Holzmann / David Wagner / /
Position
Promela model for the deterministic solution / controller / /