Shortly after joining the jet propulsion laboratory in 2003, the. Pdt, a large rover named curiosity made a soft landing on the surface of mars. Mars code gerard holzmann, jpl laboratory for reliable software 2012. In 2003 he joined nasa, where he leads the nasa jpl laboratory for reliable software in pasadena, california and is a jpl fellow. The onboard software switched to backup resources, and a 2day lapse in. Collaborating between teams shouldnt be rocket science but sometimes it feels that way.
Employing a large ground network of realtime reference receivers, innovative network architecture, and realtime data processing software, the gdgps system provides subdecimeter laboratories and facilities. The jet propulsion laboratory has several stateoftheart research facilities and laboratories. Headquartered in greenbelt, maryland, northrop grumman s technical services division tsd provides a full spectrum of costeffective engineering, manufacturing, fabrication, project management and program management services to nasa and other civil government, commercial and military space agencies. This document is an outgrowth of a workshop on determining terrestrial solar cell reliability, which was held may 12, 1980, at clemson university, clemson, south carolina. The lowstress way to find your next nasas jpl systems software engineer job opportunity is on simplyhired. Jet propulsion laboratory, california institute of. We design, build, launch, and operate spacecraft, some of which have traveled to the outer reaches of the solar system, orbit earth and other planets, rove on the surface of mars, or use powerful telescopes to peer into the distant universe. Critical software nasa has an excellent track record for producing high quality software and follows a number of best practices. Mars code gerard holzmann, jpl laboratory for reliable software 2012 interviews. You can find useful information on nasas technologies in techport, including descriptions of technologies, images, and.
Gerard holzmann is a faculty associate at caltech in the. Those technologies cover a broad range of areas, such as propulsion, nanotechnology, robotics, and human health. Our research group hosts the annual nasa formal methods symposium. At jpl, the systems engineering and formulation division is the core center for excellence and innovation of systems for ultra reliable robotic and humanrobotic space exploration. Sungdeok steve cha, conducts research on software engineering and computer security techniques that are essential in building safe and reliable systems. Publications of the jet propulsion laboratory 1989 december 15, 1990 nasa national aeronautics and. The jet propulsion laboratory, nasas primary centre for robotic exploration of the solar system, found themselves spending hours each day navigating disparate tools and archives of messages given their missioncritical task of building the software used to control the mars rover and with a. Spun off the jpl software quality initiative sqi project, justified the jpl directorate level cio position, and spun off the jpl laboratory for reliable software lars. Holzmann is best known for designing and building one of the most widely used formal verification systems for multithreaded systems software.
Mars code gerard holzmann, jpl laboratory for reliable. The jpl planetary and lunar ephemerides on cdrom contains three different jet propulsion laboratory planetary and lunar ephemerides de200, de405, and de406 along with associated reading and interpolating routines. How nasa saved the curiosity mission using variant. The registered agent on file for this company is romeu hugo md and is located at 1525 nw 167 st, miami gardens, fl 33169. Plastic encapsulated microcircuits pems reliabilityusage guidelines for space applications mike sandor office 514 electronic parts engineering d19426 october 9, 2000 jet propulsion laboratory california institute of technology pasadena, california. Jet propulsion laboratory 4800 oak grove drive pasadena, california 91103 sohar, inc.
Gerard holzmann, senior research scientist at the laboratory. New nasas jpl systems software engineer careers are added daily on. Product assurance technology for procuring reliable, radiationhard, custom lsi vlsi electronics. This software is the work of 260 women and men based in an anonymous office building across the street from the johnson space center in clear lake, texas, southeast of. Building on the research results accomplished at the dependable software laboratory at korea advanced institute of science and technology kaist, dsl at korea university. Nasas technology portfolio management system techport is a single, comprehensive resource for locating detailed information about nasafunded technologies. Jpl is a place where talented people come to work to get things done. Nondestructive evaluation and advanced actuators technologies. Our technology enables jpl and nasa to carry out new missions and perform new measurements in space. In this paper, we present our experience in developing a methodology and tool at the jet propulsion laboratory jpl for software implemented fault injection swifi into a parallel processing. There are over 54 nasas jpl systems software engineer careers waiting for you to apply. Furthermore, it generates an unlimited number of report formats and types for each physician and pathologist. Jpls laboratory for reliable software lars works to ensure the reliability of.
Dependable software laboratory dsl at korea university, led by prof. Jet propulsion laboratory michael maltzan architecture. Final report, analysis of dsn software anomalies 27. The power of 10 rules were created in 2006 by gerard j. The proposed design for jet propulsion laboratory s 96,000 sf administration building builds on jpls legacy as a creative icon, reaffirming the role set by the existing ab as a defining marker within the campus.
Microdevices laboratory nasa jet propulsion laboratory. This list includes books we are aware of by former jpl employees in deep space communications and navigation. He is best known for designing the logic model checker spin, a broadly used tool for the logic verification of multithreaded software systems. Also, it is a fullfeatured, easily configurable laboratory information system. The laboratory for reliable software will study technology, methods, tools and techniques to ensure high quality in jpls mission critical software systems.
Apache oodt is the centerpiece software originally developed at jpl to support scalable distributed data cyberinfrastructures by members of the center for data science and technology, and is the first major nasa software system to be turned over to the apache software foundation for free, open source software development, maintenance, and distribution. Adhering to a set of 10 verifiable coding rules can make the analysis of critical software components more reliable. Our group is currently comprised of researchers spanning six nasa centers. The power of ten rules for developing safety critical. Jpl welcomes worldrenowned software specialist news. Jpl, an operating division of the california institute of technology caltech, performs research, development and related activities for nasa. Rules for developing safetycritical code, developed at the laboratory for reliable software lars at nasas jpl. If you know of other books that should be included or have corrections to the current list, please send the information to joseph. Located in pasadena, ca, jpl employs approximately 5,000 contractors in this federally funded research and development center. Nasa ames research center, nasa goddard space flight center, nasa jet propulsion laboratory, nasa langley research center, nasa johnson space center, and nasa armstrong flight research center.
Given the oneway lighttime to mars, the controllers on earth learned about the successful. The laboratory for reliable software will study technology, methods, tools and techniques to ensure high quality in jpls mission critical. Laboratories and facilities science and technology. Reliable software software that is correct capable of executing and yielding correct results and that meets other requirements. Center capabilities that will be tapped in the presidents new program include remote. Holzmann nasa jpl laboratory for reliable software pasadena, ca 91109 most serious software development projects use coding guidelines. Tools ensure reliability of critical software nasa spinoff. Ugs and microsoft announce deployment of enterprisewide. Plastic encapsulated microcircuits pems reliability. Jet propulsion laboratory, 4800 oak grove drive, pasadena, california 91109 or the national technical. The small business programs office sbpo is proud to host the annual small business supplier fair, which happens to be the 22nd. Gerard holzmann joined nasas jet propulsion laboratory in 2003 to help create the laboratory for reliable software lars, which he currently manages. The jet propulsion laboratory jpl has been a nasa field center since nasa was created in 1958.
At nasa jpl, all missioncritical software must comply with their internal riskreduction coding standards. Since 2003 he leads the laboratory for reliable software at jpl in california. These facilities help enable our scientists, technologists, and engineers to conduct their research, build new instruments, and perform experiments. The quality clauses in the pcard, purchase order, or subcontract apply regardless of the archived date. Nasa jet propulsion laboratory jpl space mission and. The companys filing status is listed as active and its file number is p00028310. The laboratory for reliable software at jet propulsion laboratory, california institute of technology on academia. Holzmann laboratory for reliable software lars jet propulsion laboratory, california institute of technology 4800 oak grove drive, pasadena, california, 911098099.
Nasa jet propulsion laboratory hiring software computing system. It also reflects a belief that signature architecture must fundamentally capture the spirit of the institution it represents. As part of its rigorous development process, the mars curiosity mission follows the power of 10. The studies will extend from the beginning of the software lifecycle, through the design and testing stages, and ultimately to the operations monitoring aboard highly autonomous spacecraft. The workshop was organized jointly by the jet propulsion laboratory jpl and clemson university, and was sponsored by the. Space mission and science news, images and videos from nasas jet propulsion laboratory, the leading center for robotic exploration of the solar system. The power of ten rules for developing safety critical code1 gerard j. Holzmann, leaders of nasa jpls laboratory for reliable software, published a paper explaining the motivations for the stringent software certification implemented at nasa. Holzmann of the nasajpl laboratory for reliable software. Laboratory for reliable software jet propulsion laboratory. Gerard holzmann, jpl laboratory for reliable software.
1213 219 430 1169 852 52 58 487 37 613 211 1273 669 1268 384 849 450 855 792 420 605 1430 1315 570 114 242 572 261 985 826