The procedures and guidelines provided in this document are applicable to jpl projectstasks, either inhouse or system contractor mode. Background the jet propulsion laboratory jpl is an. Oct 30, 2017 the goal of the jpl commercial technology partnerships office is to apply jpls unique capabilities and technologies developed for the robotic exploration of space to commercial applications on earth through strategic partnerships with companies, industries, and their alliances with civil and government sectors. For 10 years, raytheon has been supporting jpl with systems engineering, design, development and operations. These guidelines are meant to state what the ground rules are for the software to be written. Mani chandy, gerard holzmann caltech jpl, steven low, richard murray, adam wierman.
The laboratory for reliable software at jet propulsion laboratory, california institute of technology on academia. Laboratory for reliable software lars jet propulsion laboratory, california institute of technology 4800 oak grove drive, pasadena, california, 911098099. M ost serious software development projects use coding guidelines. 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. Jul 28, 2008 this contract reflects nasas continued confidence in raytheons ability to deliver the most innovative and reliable engineering solutions vital to mission success.
A common science data processing software framework yields the benefits of reuse while remaining adaptable to address requirements that are unique to the mission. Design approach risk management of flight systems requires. Darts is a multimission spacecraft simulator used by several flight project for their various simulation needs. Richard doyle jpl space asset protection team with contributions. The earth science data systems section at the jet propulsion laboratory jpl has been developing infrastructure services that allow for reuse and rapid development of new science. Keep uptodate on the whereabouts of our various spacecraft including rovers, landers and orbiters and the data that they are sending back to earth. Pdf recent jpl results supporting automation of ground. The jet propulsion laboratory jpl has been a nasa field center since nasa was created in 1958. These certifications will further enhance the teams ability to effectively design, develop and operate complex science, data and advanced information systems for nasa and jpl. It allows the use of highfidelity spacecraft dynamics models without sacrificing simulation speed enabling more reliable flight software design and testing, reduced development costs and reduced.
Holzmann nasa jpl laboratory for reliable software adhering to a set of 10 verifiable coding rules can make the analysis of critical software domponents more reliable. Due to rules imposed by nasa, jpl will not accept applications from citizens of designated countries or those born in a designated country unless they are legal permanent residents of the u. Gerard holzmann, senior research scientist at the laboratory. Jet propulsion laboratory, california institute of. Software architecture themes in jpls mission data system. Jpl systems engineers serve the entirety of the lab, from formulation of mission concepts through development, testing, and launch. It is set up for both local and remote access from various locations at jpl and at outside partnering. The goal of the jpl commercial technology partnerships office is to apply jpls unique capabilities and technologies developed for the robotic exploration of space to commercial. News jpl welcomes worldrenowned software specialist nasa. Klaus havelund jpl laboratory for reliable software software and supply chain assurance forum the mitre corporation mclean, va. Jpl softwaresystems engineering, operations, data managementdistribution, and support services request for information. News jpl welcomes worldrenowned software specialist. Mission systems are integral to the development and operation of jpls spacecraft.
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. He is best known for designing the logic model checker spin, a broadly used tool for the logic verification of multithreaded software systems. We introduced agile development methods to jpl and continue to refine these processes to meet. The ops lab brings talented teams together with shared development methods in a collaborative space. Bay systems has an extensive list of major defense, aerospace, and academic institution clients. Rajeev joshi is a senior engineer with the laboratory for reliable software at the nasa jet propulsion laboratory jpl in pasadena, california. The net result is systems that are more reliable, costeffective, and reusable. Submission of information does not constitute an agreement to grant a license. Tools ensure reliability of critical software nasa spinoff. Laboratory for reliable software lars jet propulsion laboratory, california institute of technology 4800 oak.
Developed the first protocol for reliable, multipath deep. Holzmann nasajpl laboratory for reliable software adhering to a set of 10 verifiable coding rules can make the analysis of critical. Scrover is built using jpl s, mission data systems mds framework. The jet propulsion laboratory jpl got involved with the global positioning system gps in the systems early days because jpl researchers had experience tracking radio signals from quasars, some of the brightest objects in the universe, to precisely locate radio telescopes on earths surface, giving an accurate picture of the planets shape and orientation in space. I also served as the chief engineer for flight software and avionics systems. Shortly after joining the jet propulsion laboratory in 2003, the.
Our experience with nonfilesystem flight software modules shows. Gerard holzmann, jpl laboratory for reliable software. Onboard electronics take data from the instruments, store it. Commercial technology partnerships nasa jet propulsion. Developed the first protocol for reliable, multipath deep space communications, being used on mer and soon on msl. In april 1998 jet propulsion laboratory jpl initiated the mission data system mds project to rethink the mission software lifecyclefrom early mission design to mission operationand make.
Jet propulsion laboratory nasa spinoff technologies. May 01, 2003 the laboratory for reliable software will study technology, methods, tools and techniques to ensure high quality in jpl s mission critical software systems. Jpl technology affects the lives of americans every day. The primary objectives for mission system research are to. In 2003 he joined nasa, where he leads the nasa jpl laboratory for reliable software in pasadena, california and is a jpl fellow. 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. About jpl employment opportunities at jpl technology reports weather station at jpl jupiter flyby jupiter icy moons orbiter back to top.
From pioneering space age rockets to 21st century robot explorers on mars, the jet propulsion laboratorys spacecraft have blazed the trail to the planets andthe universe beyond for. Holzmann nasa jpl laboratory for reliable software pasadena, ca 91109 most serious software development projects use coding guidelines. According to gerard holzmann, manager at the laboratory for reliable software lars at nasas jet propulsion laboratory jpl, even the fault protection systems on a spacecraft are mostly softwarebased. Research note ruling out bad behavior designing software to make extremely dangerous consequences not just unlikely but impossible pdf table of contents. Orbiters and insitu spacecraft all utilize mission system software for design analysis, planning, engineering and science data analysis, and anomaly investigation. According to gerard holzmann, manager at the laboratory for reliable. Jpl, an operating division of the california institute of technology caltech, performs research. Holzmann laboratory for reliable software nasa jpl pasadena, ca 91109, usa abstract the grand challenge that is the focus of this conference targets the development of a practical methodology for software verification. From 2003 to 2018, i worked at the nasa jet propulsion laboratory jpl in pasadena, california. Holzmann leads the laboratory for reliable software lars at jpl and serves as faculty associate in the computer science department of the california institute of technology, pasadena, california. Jpl technical report server reliable software systems design. The laboratory for reliable software will study technology, methods, tools. How much do nasa jet propulsion laboratory employees make. He obtained his phd in electrical engineering from the delft university of technology in the netherlands in 1979, and worked at bell laboratories in.
Caltech division of engineering and applied science. His main research interests are in the study and application of formal methods to the specification and verification of software. Talking points on reducing software vulnerabilities. Gerard holzmann is a faculty associate at caltech in the. Holzmann laboratory for reliable software nasajpl pasadena, ca 91109, usa abstract the grand challenge that is the focus of this conference targets. Due to rules imposed by nasa, jpl will not accept applications from citizens of designated countries or those born in a designated country unless they.
The united states first entered space with the 1958 launch of the satellite explorer 1, built and controlled by jpl. What is the laboratory for reliable software, and what types of projects does it. Jan 18, 2019 mars code gerard holzmann, jpl laboratory for reliable software. Here youll find detailed descriptions of the activities of the mobility and robotic systems section, as well as related robotics efforts around the jet propulsion. In fact, the next mission to mars, the mars science laboratory, will rely on more software than all earlier missions to mars combined. Center of operations for information technologies and software systems expansion the additional laboratory space helps support highend and supercomputing operation systems at jpl. The jet propulsion laboratory has several stateoftheart research facilities and laboratories. Jpls laboratory for reliable software lars works to ensure the reliability of. Richard doyle jpl space asset protection team with contributions from dr. Detectors and instrument systems progress in these areas, which encompass an especially broad set of technologies, requires specialized facilities such as the jpl microdevices laboratory for fundamental device research, and for the development of novel, unique and flightproven detectors and instruments that enhance nasas mission. Usc center for systems and software engineering the scrover southern california rover project is a public safety robot being developed by the university of southern california usc for the department of public safety dps.
Gerard holzmann is a faculty associate at caltech in the department of computing and mathematical sciences and is the lead scientist of the laboratory for reliable software lars at the jet propulsion laboratory jpl. Designing software to make extremely dangerous consequences not just unlikely but impossible gerard holzmann is a faculty associate at caltech in the department of computing and mathematical sciences and is the lead scientist of the laboratory for reliable software lars at the jet propulsion laboratory jpl. Onboard electronics take data from the instruments, store it, process it, and package it for transmission back to earth. Feel free to contact the jpl software release authority. Most serious software development projects use coding guidelines. Apr 14, 2011 rajeev joshi is a senior engineer with the laboratory for reliable software at the nasa jet propulsion laboratory jpl in pasadena, california. The mission data system provides an architectural pattern for complex, goalbased control systems, along with a modelbased system engineering methodology called state analysis to help design and. Developed many of the elements of the ground data systems used by all jet propulsion laboratory jpl deep space missions over the past 20 years. These facilities help enable our scientists, technologists, and engineers to conduct their research, build new. Holzmann is credited with inventing the spin model checker for distributed software systems and a method and apparatus for testing event driven software, as well as authoring the power of 10. Avionics and flight software jpl spacecraft collect scientific data to further our understanding of earth, the solar system, and the universe. The power of ten rules for developing safety critical code1.
Model checker spin, a broadly used tool for the logic verification of multithreaded software systems. Nasa jet propulsion laboratory california institute of. Strategic technologies 2019 the jet propulsion laboratory is noteworthy for its sustained ability to accomplish challenging measurements and missions. What sets spin apart from other verification systems, and to what do you. Jet propulsion laboratory california institute of technology talking points on reducing software vulnerabilities formal methods dr. As a result, software engineers and systems engineers share a common modelbased approach to defining, describing, developing, understanding, verifying, validating, operating, and visualizing what systems do. Gerard holzmann joined nasas jet propulsion laboratory in 2003 to help create the laboratory for reliable software lars, which he currently manages.
Mars code gerard holzmann, jpl laboratory for reliable. Further details emerge regarding nasas cancellation of human. The laboratory for reliable software will study technology, methods, tools and techniques to ensure high quality in jpls mission critical software systems. Mars code gerard holzmann, jpl laboratory for reliable software. The jet propulsion laboratory we call it jpl, or simply the lab is a federally funded research and development center ffrdc for robotic space and earth science missions.
Mani chandy, gerard holzmann caltechjpl, steven low, richard murray, adam wierman. Detectors and instrument systems the microdevices laboratory mdl provides endtoend capabilities for design, fabrication, and characterization of advanced components, sensors and microdevices. Pdf recent jpl results supporting automation of ground and. Rules for developing safety critical code1 gerard j. Detector and instrument system development at jpl is primarily aimed at creating technologies to enable the scientific and engineering measurements.
The claraty laboratory is a facility for the development and testing of onboard robotic control software. The jet propulsion laboratory is a federal facility. 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. Rtn has been awarded the data and systems implementation and operations, or dsio, subcontract by the jet. Mars science laboratory msl is a robotic space probe mission to mars launched by nasa on november 26, 2011, which successfully landed curiosity, a mars rover, in gale crater on august 6, 2012. Usc center for systems and software engineering the scrover southern california rover project is a public safety robot being developed by the university of southern california usc for the department. Nasa brings accuracy to worlds global positioning systems. Since the 1930s, jpl creations and discoveries have led to many of the nations firsts, including the first u. From pioneering space age rockets to 21st century robot explorers on mars, the jet propulsion laboratorys spacecraft have blazed the trail to the planets andthe universe beyond for more than 50 years. It allows the use of highfidelity spacecraft dynamics models without sacrificing simulation speed enabling more reliable flight software design and testing, reduced development costs and reduced mission risks. If you are interested in applying for employment with jet propulsion laboratory and need special assistance or an accommodation to apply for a posted position, contact our human resources. Caltechjpl reserves the right to refuse any new license request. Jpl, an operating division of the california institute of technology caltech, performs research, development and related activities for nasa. For example, the laboratory led the way in developing the capability to send and receive data within our solar system.
94 61 334 1159 824 1137 259 829 1529 310 216 95 992 723 498 640 1433 1039 1226 944 483 1509 751 1288 823 53 1484 404 1507 238 728 855 830 1382 1082 1321 1365 785 644 410 28 373 633 321 1041 1248 1019 990 894