Back to Results
First PageMeta Content



doi:Redundant software (and hardware) ensured Curiosity reached its destination and functioned as its designers intended. By Gerard J. Holzmann
Add to Reading List

Document Date: 2014-05-18 15:59:28

Open Document

File Size: 4,41 MB

Share Result on Facebook

City

Piscataway / Barcelona / Montréal / Pasadena / Raleigh / Boston / New York / Stockholm / Washington / D.C. / Berlin / Cambridge / Wellington / Warwickshire / /

Company

Jet Propulsion Laboratory / IEEE Computer / Computer Science Laboratory / Figure 11 / ACM Press / Toyota / SRI International / Critical Systems / IEEE Press / NASA’s Jet Propulsion Laboratory / Mars Science Laboratory / MIRA Ltd. / Flight Software / /

Country

Sweden / New Zealand / Canada / Columbia / Spain / United Kingdom / /

Currency

USD / /

/

Facility

Mars Science Laboratory / Victoria University / California Institute of Technology / Concordia University / /

IndustryTerm

software design / automated compliance-checking tools / software anomaly / code-reformatting tools / human-rated software / basic applications / spacecraft hardware / software team / distributedsystems software / software components / control software / intricate software subsystems / static source-code-analysis tools / model extraction tool / vendor-neutral code-review tool / software systems / software defects / internal verification algorithm / static source code analysis tools / mission software / static analysis tools / spacecraft software / model-extraction tool / software model checking / software applications / non-blocking algorithm / software anomalies / post-processing / embedded software / bootcontrol algorithm / unsuspected software defects / concurrent algorithm / software architecture / /

Organization

Victoria University / California Institute of Technology / Concordia University / National Aeronautics and Space Administration / /

Person

Lamport / Job Ticket Code Review Closeout / Carl Sagan / Brian Greenberg / Gerard J. Holzmann / /

/

Position

test writer / simple test driver / model extractor / astronomer / scientist / demonic process scheduler / sample test driver / designer / example test driver / writer / /

ProgrammingLanguage

R / C / L / /

ProvinceOrState

New Jersey / New York / Victoria / North Carolina / California / Massachusetts / Colorado / /

PublishedMedium

IEEE Annals of the History of Computing / IEEE Transactions on Software Engineering / Bell Labs Technical Journal / Innovations in Systems and Software Engineering / /

Technology

Information Technology / concurrent algorithm / data hiding / pdf / real-time operating system / dual-CPU bootcontrol algorithm / http / non-blocking algorithm / simulation / internal verification algorithm / flash / /

URL

http /

SocialTag