{"id":70459,"date":"2020-08-14T04:21:41","date_gmt":"2020-08-14T08:21:41","guid":{"rendered":"https:\/\/www.nasa.gov\/?migration=converted-node-463589"},"modified":"2023-08-01T14:43:04","modified_gmt":"2023-08-01T18:43:04","slug":"robust-software-engineering","status":"publish","type":"topic","link":"https:\/\/www.nasa.gov\/intelligent-systems-division\/robust-software-engineering\/","title":{"rendered":"Robust Software Engineering"},"content":{"rendered":"<div id=\"\" class=\" hds-module hds-module-full wp-block-nasa-blocks-secondary-navigation\"><div class=\"hds-secondary-navigation-wrapper z-top width-100 padding-0\"><div id=\"\" class=\"hds-secondary-navigation width-full border-bottom-1px text-center hds-color-mode-dark hds-module align wp-block-nasa-blocks-hdsnav\"><button type=\"button\" class=\"hds-secondary-nav-mobile-button display-flex tablet:display-flex desktop:display-none width-full flex-align-center bg-carbon-90 border-color-carbon-80 color-spacesuit-white\" aria-expanded=\"false\" aria-controls=\"hds-secondary-nav-track\"><span>Intelligent Systems Division<\/span><svg width=\"16\" height=\"16\" alt=\"\" enable-background=\"new 0 0 400 400\" viewBox=\"0 0 400 400\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"m4.2 122.2 195.1 195.1 196.5-196.6-37.9-38-157.8 157.8-156.8-156.8z\" \/><\/svg><\/button><div class=\"hds-secondary-nav-track grid-container grid-container-extrawide padding-0 tablet:padding-x-3 desktop:padding-x-2 \"><div class=\"hds-secondary-navigation-menu-items\"><nav><ul class=\"usa-nav__primary usa-accordion flex-justify-center margin-0\"><li class=\"usa-nav__primary-item \"><a class=\"usa-nav__link\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/\">Intelligent Systems Division<\/a><\/li><li class=\"usa-nav__primary-item\"><button type=\"button\" class=\"usa-accordion__button usa-nav__link\" aria-expanded=\"false\" aria-controls=\"basic-nav-section-one\"><span>Ames Exploration Technology Directorate<\/span><svg class=\"hds-desktop-submenu-toggle-icon display-none tablet:display-none desktop:display-block\" width=\"16\" height=\"16\" alt=\"\" enable-background=\"new 0 0 400 400\" viewBox=\"0 0 400 400\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"m4.2 122.2 195.1 195.1 196.5-196.6-37.9-38-157.8 157.8-156.8-156.8z\" \/><\/svg><svg class=\"hds-mobile-submenu-toggle-icon display-block tablet:display-block desktop:display-none\" width=\"16\" height=\"16\" viewBox=\"0 0 16 16\" fill=\"none\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><circle cx=\"8\" cy=\"8\" r=\"7.5\" fill=\"#0B3D91\" stroke=\"white\"\/><rect x=\"4\" y=\"7.6001\" width=\"8\" height=\"0.8\" fill=\"white\"\/><rect class=\"hds-mobile-submenu-toggle-icon-line-vertical\" x=\"7.59998\" y=\"12\" width=\"8\" height=\"0.8\" transform=\"rotate(-90 7.59998 12)\" fill=\"white\"\/><\/svg><\/button><ul id=\"basic-nav-section-one\" class=\"usa-nav__submenu\" hidden><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/ames-exploration-technology\/\">Ames Exploration Technology<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/entry-systems-and-technology-division\/\">Entry Systems and Technology<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/human-factors.arc.nasa.gov\/\" rel=\"noopener\">Human Systems Integration<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/\">Intelligent Systems<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nas.nasa.gov\/\" rel=\"noopener\">NASA Advanced Supercomputing<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/ames\/\">Ames Research Center<\/a><\/li><\/ul><\/li><li class=\"usa-nav__primary-item\"><button type=\"button\" class=\"usa-accordion__button usa-nav__link\" aria-expanded=\"false\" aria-controls=\"basic-nav-section-one\"><span>Autonomous Systems and Robotics<\/span><svg class=\"hds-desktop-submenu-toggle-icon display-none tablet:display-none desktop:display-block\" width=\"16\" height=\"16\" alt=\"\" enable-background=\"new 0 0 400 400\" viewBox=\"0 0 400 400\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"m4.2 122.2 195.1 195.1 196.5-196.6-37.9-38-157.8 157.8-156.8-156.8z\" \/><\/svg><svg class=\"hds-mobile-submenu-toggle-icon display-block tablet:display-block desktop:display-none\" width=\"16\" height=\"16\" viewBox=\"0 0 16 16\" fill=\"none\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><circle cx=\"8\" cy=\"8\" r=\"7.5\" fill=\"#0B3D91\" stroke=\"white\"\/><rect x=\"4\" y=\"7.6001\" width=\"8\" height=\"0.8\" fill=\"white\"\/><rect class=\"hds-mobile-submenu-toggle-icon-line-vertical\" x=\"7.59998\" y=\"12\" width=\"8\" height=\"0.8\" transform=\"rotate(-90 7.59998 12)\" fill=\"white\"\/><\/svg><\/button><ul id=\"basic-nav-section-one\" class=\"usa-nav__submenu\" hidden><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/autonomous-systems-and-robotics\/\">ASR Overview<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/autonomous-systems-and-robotics\/asr-research-groups\/\">ASR Research Groups<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/autonomous-systems-and-robotics\/aces-group\/\">Advanced Control and Evolvable Systems<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/collaborative-and-assistant-systems\/dat-group\/\">Deployable Autonomy Technologies<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/autonomous-systems-and-robotics\/intelligent-robotics-group\/\">Intelligent Robotics<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/autonomous-systems-and-robotics\/planning-and-scheduling-group\/\">Planning and Scheduling<\/a><\/li><\/ul><\/li><li class=\"usa-nav__primary-item\"><button type=\"button\" class=\"usa-accordion__button usa-nav__link\" aria-expanded=\"false\" aria-controls=\"basic-nav-section-one\"><span>Collaborative and Assistant Systems<\/span><svg class=\"hds-desktop-submenu-toggle-icon display-none tablet:display-none desktop:display-block\" width=\"16\" height=\"16\" alt=\"\" enable-background=\"new 0 0 400 400\" viewBox=\"0 0 400 400\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"m4.2 122.2 195.1 195.1 196.5-196.6-37.9-38-157.8 157.8-156.8-156.8z\" \/><\/svg><svg class=\"hds-mobile-submenu-toggle-icon display-block tablet:display-block desktop:display-none\" width=\"16\" height=\"16\" viewBox=\"0 0 16 16\" fill=\"none\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><circle cx=\"8\" cy=\"8\" r=\"7.5\" fill=\"#0B3D91\" stroke=\"white\"\/><rect x=\"4\" y=\"7.6001\" width=\"8\" height=\"0.8\" fill=\"white\"\/><rect class=\"hds-mobile-submenu-toggle-icon-line-vertical\" x=\"7.59998\" y=\"12\" width=\"8\" height=\"0.8\" transform=\"rotate(-90 7.59998 12)\" fill=\"white\"\/><\/svg><\/button><ul id=\"basic-nav-section-one\" class=\"usa-nav__submenu\" hidden><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/collaborative-and-assistant-systems\/\">CAS Overview<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/collaborative-and-assistant-systems\/cas-research-groups\/\">CAS Research Groups<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/collaborative-and-assistant-systems\/data-repository-systems-group\/\">Data Repository Systems<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/collaborative-and-assistant-systems\/decision-support-systems-group\/\">Decision Support Systems<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/collaborative-and-assistant-systems\/enterprise-information-management-group\/\">Enterprise Information Management<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/collaborative-and-assistant-systems\/ground-and-flight-data-systems-group\/\">Ground and Flight Data Systems<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/collaborative-and-assistant-systems\/information-integration-group\/\">Information Integration<\/a><\/li><\/ul><\/li><li class=\"usa-nav__primary-item\"><button type=\"button\" class=\"usa-accordion__button usa-nav__link\" aria-expanded=\"false\" aria-controls=\"basic-nav-section-one\"><span>Discovery and Systems Health<\/span><svg class=\"hds-desktop-submenu-toggle-icon display-none tablet:display-none desktop:display-block\" width=\"16\" height=\"16\" alt=\"\" enable-background=\"new 0 0 400 400\" viewBox=\"0 0 400 400\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"m4.2 122.2 195.1 195.1 196.5-196.6-37.9-38-157.8 157.8-156.8-156.8z\" \/><\/svg><svg class=\"hds-mobile-submenu-toggle-icon display-block tablet:display-block desktop:display-none\" width=\"16\" height=\"16\" viewBox=\"0 0 16 16\" fill=\"none\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><circle cx=\"8\" cy=\"8\" r=\"7.5\" fill=\"#0B3D91\" stroke=\"white\"\/><rect x=\"4\" y=\"7.6001\" width=\"8\" height=\"0.8\" fill=\"white\"\/><rect class=\"hds-mobile-submenu-toggle-icon-line-vertical\" x=\"7.59998\" y=\"12\" width=\"8\" height=\"0.8\" transform=\"rotate(-90 7.59998 12)\" fill=\"white\"\/><\/svg><\/button><ul id=\"basic-nav-section-one\" class=\"usa-nav__submenu\" hidden><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/discovery-and-systems-health\/\">DaSH Overview<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/discovery-and-systems-health\/dash-research-groups\/\">DaSH Research Groups<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/discovery-and-systems-health\/applied-physics-group\/\">Applied Physics<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/discovery-and-systems-health\/computational-materials-group\/\">Computational Materials<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/discovery-and-systems-health\/data-sciences-group\/\">Data Sciences<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/discovery-and-systems-health\/diagnostics-and-prognostics-group\/\">Diagnostics and Prognostics<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/discovery-and-systems-health\/ishm-technology-insertion-projects-group\/\">ISHM Technology Insertion Projects<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/discovery-and-systems-health\/pcoe\/\">Prognostics Center of Excellence<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/discovery-and-systems-health\/nasa-quail\/\">Quantum Artificial Intelligence Laboratory<\/a><\/li><\/ul><\/li><li class=\"usa-nav__primary-item\"><button type=\"button\" class=\"usa-accordion__button usa-nav__link\" aria-expanded=\"false\" aria-controls=\"basic-nav-section-one\"><span>Robust Software Engineering<\/span><svg class=\"hds-desktop-submenu-toggle-icon display-none tablet:display-none desktop:display-block\" width=\"16\" height=\"16\" alt=\"\" enable-background=\"new 0 0 400 400\" viewBox=\"0 0 400 400\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"m4.2 122.2 195.1 195.1 196.5-196.6-37.9-38-157.8 157.8-156.8-156.8z\" \/><\/svg><svg class=\"hds-mobile-submenu-toggle-icon display-block tablet:display-block desktop:display-none\" width=\"16\" height=\"16\" viewBox=\"0 0 16 16\" fill=\"none\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><circle cx=\"8\" cy=\"8\" r=\"7.5\" fill=\"#0B3D91\" stroke=\"white\"\/><rect x=\"4\" y=\"7.6001\" width=\"8\" height=\"0.8\" fill=\"white\"\/><rect class=\"hds-mobile-submenu-toggle-icon-line-vertical\" x=\"7.59998\" y=\"12\" width=\"8\" height=\"0.8\" transform=\"rotate(-90 7.59998 12)\" fill=\"white\"\/><\/svg><\/button><ul id=\"basic-nav-section-one\" class=\"usa-nav__submenu\" hidden><li class=\"usa-nav__submenu-item usa-current\"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/robust-software-engineering\/\">RSE Overview<\/a><\/li><li class=\"usa-nav__submenu-item \"><a class=\"usa-nav__link\" target=\"_self\" href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/robust-software-engineering\/core-avionics-and-software-technologies-group\/\">Core Avionics and Software Technologies<\/a><\/li><\/ul><\/li><\/ul><\/nav><\/div><\/div><\/div><\/div><\/div>\n\n\n<h1 class=\"wp-block-heading\">Robust Software Engineering<\/h1>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h3 class=\"wp-block-heading\">Overview<\/h3>\n\n\n\n<p>We are the Robust Software Engineering technical area, based in the Intelligent Systems Division at NASA\u2019s Ames Research Center at Moffett Field, California.<\/p>\n\n\n\n<p>Our goal is to dramatically increase the reliability and robustness of NASA\u2019s mission related software, and the productivity of its software engineering, through the research, development, application, and transfer of automated software engineering technology that scales to meet NASA\u2019s software challenges. We draw upon many techniques from Computer Science (for example, in the areas of program verification, automated reasoning, model checking, static analysis, symbolic evaluation, and machine learning) and apply them to the verification and validation of software, as well as code generation. Technologies we developed include automated software analysis, automated test case generation, reliable code generation, and risk prediction and analysis.<\/p>\n\n\n\n<p>We applied our technologies to NASA projects involved with Space and Aeronautics, and spun off sample educational lessons for students and teachers. We are currently engaged with projects in all the NASA Mission Directorates: Human Exploration & Operations, Aeronautics, and Science.<\/p>\n\n\n\n<p>Our <a href=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/robust-software-engineering\/core-avionics-and-software-technologies-group\/\" data-type=\"URL\" data-id=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/robust-software-engineering\/core-avionics-and-software-technologies-group\/\">Core Avionics & Software Technologies (CAST)<\/a> group also develops flight software for small spacecraft missions.<\/p>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h3 class=\"wp-block-heading\">Research Themes<\/h3>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p><b>Verification and Validation<\/b><br> The objective of this project is to apply and develop analytic verification technology. Analytic tools rely on algorithms that mathematically analyze specifications, code, and models for consistency with requirements and designs. This provides a complementary and higher level of debugging and V&V than traditional testing methods alone.<\/p>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p><b>Synthesis Projects & Applications (not currently active)<\/b><br>Program synthesis is the systematic, usually automatic, construction of correct and efficient executable code from declarative specifications. We are developing this technology primarily for application in the domains of data analysis and state estimation. We are also interested in correctness issues, specifically regarding the formal certification of synthesized code.<\/p>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h3 class=\"wp-block-heading\">Projects<\/h3>\n\n\n\n<ul>\n<li><b>Advanced Testing<\/b> explores ways of making testing more efficient, expanding its coverage, or making testing find subtle problems often corresponding to boundary cases, and include tools such as Symbolic Execution, MARGInS, and Adaptive Stress Testing (AdaStress).<\/li>\n\n\n\n<li><b>Code Analysis<\/b> includes formal techniques to analyze code and different programming languages, and it includes tools such as Inference Kernel for Open Static Analyzers (IKOS), or Java PathFinder (JPF).<\/li>\n\n\n\n<li><b>Code Synthesis<\/b> is about formally automatically generating code, sometimes for specific domains, and it includes tools such as AutoBayes (Synthesis of Data Analysis Software) or Certifiable Synthesis. <\/li>\n\n\n\n<li><b>Design Model<\/b> is a project that focuses on various techniques to enable V&V at early development stages, and it includes tools and techniques such as Compositional Verification, Java PathFinder (JPF), and CoCoSim. <\/li>\n\n\n\n<li><b>Requirement <\/b><b>Analysis <\/b>is about the elicitation of requirements that are as close to plain English as possible but are formalizable, and thus analyzable and amenable to be used as formal properties in analysis, as shown in the Formal Requirements Elicitation Tool (FRET). <\/li>\n\n\n\n<li><b>Safety Assurance<\/b> is investigating alternative paths to certification (especially in aviation) and building tools to support it, which is shown in the Assurance Case Automation Toolset (AdvoCATE) for safety cases.<\/li>\n\n\n\n<li><b>Autonomy and Artificial Intelligence<\/b> is a new, and very important target for our V&V and assurance work, and it includes topics such as Verification and Validation of Adaptive Control Software, AdaStress, and Safe Deep Neural Networkds (SafeDNN). <\/li>\n\n\n\n<li><b>Runtime Monitoring and Analysis<\/b> is a complementary project, which investigates various forms of runtime analysis and monitoring for both on-board solutions and ground support, and it includes technology such as Runtime for Airspace Concept Evaluation (RACE) to support fusion and analysis of concurrent, live and\/or simulation, data streams so that tools like Message-based Systems Analysis (MESA) or Realizable Responsive UnobtrusiveUnit (R2U2, Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systetems) can be used.<\/li>\n<\/ul>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p><b><b>Technical Area Lead<\/b><\/b><br> Guillaume P. Brat<\/p>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p><b><b>Group Members<\/b><\/b><br> Adrian Agogino<br> Hamza Bourbough<br> Krystine Carrington<br> Divya Gopinath<br> Guillaume Brat<br> Misty Davies<br> Ewen Denney<br> Dimitra Giannakopoulou<br> Yuning He<br> Robbie Henderson<br> Mohammed Hejase<br> Stephen Jacklin<br> Matthew Knudson<br> Ritchie Lee<br> Anastasia Mavridoiu<br> Peter Mehlitz<br> Jonathan Menzies<br> Ganesh Pai<br> Corina Pasareanu<br> Dimo Petroff<br> Thomas Pressburger<br> Johan Schumann<br> Nastaran Shafiei<br> Nija Shi<br> Irfan Sljivo<\/p>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p><b><b>RSE Point of Contact<\/b><\/b><br> Guillaume P. Brat<br> Technical Area Lead<\/p>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p><b><b>RSE Affiliates<\/b><\/b><br> Joseph C. Coughlan<br> Former Technical Area Lead, 2009-15<\/p>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p> Dr. Michael Lowry<br> Chief Scientist<\/p>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p><b>CAST Members<\/b><br> Nathan Benz<br> Joseph Castle<br> Scott Christ<br> Howard Cannon<br> Edmund De la Cruz<br> Vinh Doan<br> Kandy Fabreo<br> Leigh Garbs<br> Mohammad Hejase<br> Michael Ho<br> Tony Koudsi<br> Robert Lim<br> Matthew Knudson<br> Andrew Mikhail<br> Craig Pires<br> John Rasmussen<br> James Roach<br> Todd Sarshad<br> Kevin Seywald<br> Dave Varvell<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Robust Software Engineering Overview We are the Robust Software Engineering technical area, based in the Intelligent Systems Division at NASA\u2019s Ames Research Center at Moffett Field, California. Our goal is to dramatically increase the reliability and robustness of NASA\u2019s mission related software, and the productivity of its software engineering, through the research, development, application, and […]<\/p>\n","protected":false},"author":287,"featured_media":0,"parent":215261,"menu_order":0,"template":"","meta":{"nasa_hds_core_meta_l10n":"en-US","nasa_hds_core_meta_article_editor":"287","nasa_hds_core_meta_article_contacts":[],"nasa_hds_core_meta_article_topic":"","nasa_hds_core_meta_linked_locations":[],"nasa_hds_core_meta_article_related_articles":[],"hds_migrate_meta_pr_release_id":"","hds_migrate_meta_pr_release_type":"","nasa_hds_core_meta_location_x":"","nasa_hds_core_meta_location_y":"","nasa_hds_core_meta_gallery_images":[]},"categories":[2854],"news-tags":[],"internal-terms":[],"coauthors":[],"parsely":{"version":"1.1.0","meta":{"@context":"https:\/\/schema.org","@type":"WebPage","headline":"Robust Software Engineering","url":"https:\/\/www.nasa.gov\/intelligent-systems-division\/robust-software-engineering\/","mainEntityOfPage":{"@type":"WebPage","@id":"https:\/\/www.nasa.gov\/intelligent-systems-division\/robust-software-engineering\/"},"thumbnailUrl":"","image":{"@type":"ImageObject","url":""},"articleSection":"NASA Centers & Facilities","author":[{"@type":"Person","name":"Greg Orzech"}],"creator":["Greg Orzech"],"publisher":{"@type":"Organization","name":"NASA","logo":"https:\/\/www.nasa.gov\/wp-content\/themes\/nasa\/assets\/images\/nasa-logo.svg"},"keywords":["NASA Centers & Facilities","Ames Research Center"],"dateCreated":"2020-08-14T08:21:41Z","datePublished":"2020-08-14T08:21:41Z","dateModified":"2023-08-01T18:43:04Z"},"rendered":"<meta name=\"parsely-title\" content=\"Robust Software Engineering\" \/>\n<meta name=\"parsely-link\" content=\"https:\/\/www.nasa.gov\/intelligent-systems-division\/robust-software-engineering\/\" \/>\n<meta name=\"parsely-type\" content=\"index\" \/>\n<meta name=\"parsely-pub-date\" content=\"2020-08-14T08:21:41Z\" \/>\n<meta name=\"parsely-section\" content=\"NASA Centers & Facilities\" \/>\n<meta name=\"parsely-tags\" content=\"NASA Centers & Facilities,Ames Research Center\" \/>\n<meta name=\"parsely-author\" content=\"Greg Orzech\" \/>","tracker_url":"https:\/\/cdn.parsely.com\/keys\/nasa.gov\/p.js"},"read_time":4,"time_ago":"4 years","_links":{"self":[{"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/topic\/70459"}],"collection":[{"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/topic"}],"about":[{"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/types\/topic"}],"author":[{"embeddable":true,"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/users\/287"}],"version-history":[{"count":8,"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/topic\/70459\/revisions"}],"predecessor-version":[{"id":477856,"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/topic\/70459\/revisions\/477856"}],"up":[{"embeddable":true,"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/topic\/215261"}],"wp:attachment":[{"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/media?parent=70459"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/categories?post=70459"},{"taxonomy":"news-tags","embeddable":true,"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/news-tags?post=70459"},{"taxonomy":"internal-terms","embeddable":true,"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/internal-terms?post=70459"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/www.nasa.gov\/wp-json\/wp\/v2\/coauthors?post=70459"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}