The laboratory for reliable software will study technology, methods, tools and techniques to ensure high quality in jpls mission critical software systems. The lowstress way to find your next nasas jpl systems software engineer job opportunity is on simplyhired. Final report, analysis of dsn software anomalies 27. Adhering to a set of 10 verifiable coding rules can make the analysis of critical software components more reliable. Plastic encapsulated microcircuits pems reliability.
Microdevices laboratory nasa jet propulsion laboratory. The registered agent on file for this company is romeu hugo md and is located at 1525 nw 167 st, miami gardens, fl 33169. Jpl welcomes worldrenowned software specialist news. Gerard holzmann, senior research scientist at the laboratory.
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. The onboard software switched to backup resources, and a 2day lapse in. The quality clauses in the pcard, purchase order, or subcontract apply regardless of the archived date. How nasa saved the curiosity mission using variant. Nasa jet propulsion laboratory hiring software computing system. Our research group hosts the annual nasa formal methods symposium. Ugs and microsoft announce deployment of enterprisewide. News jpl welcomes worldrenowned software specialist. If you know of other books that should be included or have corrections to the current list, please send the information to joseph.
He is best known for designing the logic model checker spin, a broadly used tool for the logic verification of multithreaded software systems. 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. Center capabilities that will be tapped in the presidents new program include remote. 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. Nasa jet propulsion laboratory hiring systems engineering. Holzmann is best known for designing and building one of the most widely used formal verification systems for multithreaded systems software. This area contains information on select facilities, what tasks they perform. 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.
Reliable software software that is correct capable of executing and yielding correct results and that meets other requirements. 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. Our group is currently comprised of researchers spanning six nasa centers. Dependable software laboratory dsl at korea university, led by prof. Nondestructive evaluation and advanced actuators technologies. Mars code gerard holzmann, jpl laboratory for reliable. Furthermore, it generates an unlimited number of report formats and types for each physician and pathologist. Collaborating between teams shouldnt be rocket science but sometimes it feels that way. 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. Jpl is a place where talented people come to work to get things done.
Product assurance technology for procuring reliable, radiationhard, custom lsi vlsi electronics. 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. Located in pasadena, ca, jpl employs approximately 5,000 contractors in this federally funded research and development center. 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. As part of its rigorous development process, the mars curiosity mission follows the power of 10. Mars code gerard holzmann, jpl laboratory for reliable software 2012 interviews. As one of the institutional facilities of jet propulsion laboratory jpl, the microdevices laboratory mdl is dedicated to the study of micro and nanofabrication techniques. Publications of the jet propulsion laboratory 1989 december 15, 1990 nasa national aeronautics and. Laboratory information system psyche systems software. This event is key to helping the small businesses throughout the country showcase their products andor services to the technical and business teams here at the jet propulsion laboratory jpl. Rules for developing safetycritical code, developed at the laboratory for reliable software lars at nasas jpl. Nasas technology portfolio management system techport is a single, comprehensive resource for locating detailed information about nasafunded technologies.
Our technology enables jpl and nasa to carry out new missions and perform new measurements in space. Pdt, a large rover named curiosity made a soft landing on the surface of mars. Given the oneway lighttime to mars, the controllers on earth learned about the successful. Gerard holzmann is a faculty associate at caltech in the.
Nasa jet propulsion laboratory jpl space mission and. The jet propulsion laboratory has several stateoftheart research facilities and laboratories. Laboratories and facilities science and technology. Building on the research results accomplished at the dependable software laboratory at korea advanced institute of science and technology kaist, dsl at korea university. Johns hopkins universityapplied physics lab rodney queen prologic francois bronsard siemens corporate research 755 college rd. The power of 10 rules were created in 2006 by gerard j.
Critical software nasa has an excellent track record for producing high quality software and follows a number of best practices. Those technologies cover a broad range of areas, such as propulsion, nanotechnology, robotics, and human health. 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. Also, it is a fullfeatured, easily configurable laboratory information system.
These facilities help enable our scientists, technologists, and engineers to conduct their research, build new instruments, and perform experiments. In 2003 he joined nasa, where he leads the nasa jpl laboratory for reliable software in pasadena, california and is a jpl fellow. The workshop was organized jointly by the jet propulsion laboratory jpl and clemson university, and was sponsored by the. The power of ten rules for developing safety critical. Laboratory for reliable software jet propulsion laboratory. 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. Space mission and science news, images and videos from nasas jet propulsion laboratory, the leading center for robotic exploration of the solar system. Jet propulsion laboratory, 4800 oak grove drive, pasadena, california 91109 or the national technical. Joe huffman gerard holzmann nasajpl laboratory for reliable software fat boy yes 304. The power of ten rules for developing safety critical code1 gerard j. 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. Jet propulsion laboratory michael maltzan architecture. 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. 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. You can find useful information on nasas technologies in techport, including descriptions of technologies, images, and.
These rules are a complement to the misra c guidelines and have been incorporated into the greater set of jpl coding standards. The laboratory for reliable software will study technology, methods, tools and techniques to ensure high quality in jpls mission critical. Holzmann laboratory for reliable software lars jet propulsion laboratory, california institute of technology 4800 oak grove drive, pasadena, california, 911098099. 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. Jet propulsion laboratory, california institute of. Sungdeok steve cha, conducts research on software engineering and computer security techniques that are essential in building safe and reliable systems. What is the laboratory for reliable software, and what types of projects. 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. Jpl, an operating division of the california institute of technology caltech, performs research, development and related activities for nasa. 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. The small business programs office sbpo is proud to host the annual small business supplier fair, which happens to be the 22nd. Jpls laboratory for reliable software lars works to ensure the reliability of.
Mars code gerard holzmann, jpl laboratory for reliable software 2012. Since 2003 he leads the laboratory for reliable software at jpl in california. Gerard holzmann is a senior research scientist and a fellow at nasas jet propulsion laboratory, the lab responsible for the design of the mars science laboratory mission to mars and its curiosity rover. Shortly after joining the jet propulsion laboratory in 2003, the. The companys filing status is listed as active and its file number is p00028310. This list includes books we are aware of by former jpl employees in deep space communications and navigation. The laboratory for reliable software at jet propulsion laboratory, california institute of technology on academia. Tools ensure reliability of critical software nasa spinoff. Holzmann nasa jpl laboratory for reliable software pasadena, ca 91109 most serious software development projects use coding guidelines. Gerard holzmann joined nasas jet propulsion laboratory in 2003 to help create the laboratory for reliable software lars, which he currently manages.
1363 78 188 167 859 994 1052 762 1494 268 719 298 1457 96 1428 708 315 11 337 908 769 1451 555 1538 448 22 1193 532 1257 1488 1501 28 274 1190 976 783 297 1414 757 1470 1167 1073 1141 1159 199 390