{"projectId":5957,"project":{"projectId":5957,"title":"Model-Based Specification Checker for Multi-Domain Systems (SpecCheck), Phase I","startDate":"2006-01-24","startYear":2006,"startMonth":1,"endDate":"2006-07-24","endYear":2006,"endMonth":7,"programId":73,"program":{"ableToSelect":false,"acronym":"SBIR/STTR","isActive":true,"description":"<p>The NASA SBIR and STTR programs fund the research, development, and demonstration of innovative technologies that fulfill NASA needs as described in the annual Solicitations and have significant potential for successful commercialization. If you are a small business concern (SBC) with 500 or fewer employees or a non-profit RI such as a university or a research laboratory with ties to an SBC, then NASA encourages you to learn more about the SBIR and STTR programs as a potential source of seed funding for the development of your innovations.</p><p><strong>The SBIR and STTR programs have 3 phases</strong>:</p><ul><li><strong>Phase I</strong> is the opportunity to establish the scientific, technical, and commercial feasibility of the proposed innovation in fulfillment of NASA needs.</li><li><strong>Phase II</strong> is focused on the development, demonstration and delivery of the proposed innovation.</li></ul><p>The SBIR and STTR Phase I contracts last for 6 months with a maximum funding of $125,000, and Phase II contracts last for 24 months with a maximum funding of $750,000 - $1.5 million.</p><ul><li><strong>Phase III</strong> is the commercialization of innovative technologies, products, and services resulting from either a Phase I or Phase II contract. Phase III contracts are funded from sources other than the SBIR and STTR programs and may be awarded without further competition.</li></ul><p><strong>Opportunity for Continued Technology Development Post-Phase II</strong>:</p><p>The NASA SBIR/STTR Program currently has in place two initiatives for supporting its small business partners past the basic Phase I and Phase II elements of the program that emphasize opportunities for commercialization. Specifically, the NASA SBIR/STTR Program has the Phase II Enhancement (Phase II-E) and Phase II eXpanded (Phase II-X) contract options.&nbsp;</p><p><strong>Please review the links below to obtain more information on the SBIR/STTR programs.</strong></p><ul><li><strong><a target=\"_blank\" href=\"http://sbir.gsfc.nasa.gov/sites/default/files/ParticipationGuide.pdf\">Participation Guide</a></strong></li></ul><p>Provides an overview of the SBIR and STTR programs as implemented by NASA</p><ul><li><strong><a href=\"http://sbir.gsfc.nasa.gov/solicitations\">Program Solicitations</a></strong></li></ul><p>Provides access to the annual SBIR/STTR Solicitations containing detailed information on the program eligibility requirements, proposal instructions and research topics and subtopics</p><ul><li><strong><a href=\"http://sbir.gsfc.nasa.gov/prg_sched_anncmnt\">Schedule and Awards</a></strong></li></ul><p>Schedule and links for the SBIR/STTR solicitations and selection announcements</p><ul><li><strong><a href=\"http://sbir.gsfc.nasa.gov/content/additional-sources-assistance\">Sources of Assistance</a></strong></li></ul><p>Federal and non-Federal sources of assistance for small business</p><ul><li><strong><a href=\"http://sbir.gsfc.nasa.gov/abstract_archives\">Awarded Abstracts</a></strong></li></ul><p>Search our complete archive of awarded project abstracts to learn about what NASA has funded</p><ul><li><strong><a href=\"http://sbir.gsfc.nasa.gov/content/frequently-asked-questions\">Frequently Asked Questions</a></strong></li></ul><p>&nbsp;Still have questions? Visit the program FAQs</p>","parentProgram":{"ableToSelect":false,"isActive":true,"description":"Catalyst is a portfolio of early stage programs that specialize in different innovation constituencies and mechanisms to push the state of the art in aerospace technology development","programId":92327,"responsibleMd":{"canUserEdit":false,"locationEdit":false,"organizationRolePretty":"","organizationTypePretty":""},"title":"Catalyst","manageGaps":false,"acronymOrTitle":"Catalyst"},"parentProgramId":92327,"programId":73,"responsibleMd":{"organizationId":4875,"organizationName":"Space Technology Mission Directorate","acronym":"STMD","organizationType":"NASA_Mission_Directorate","canUserEdit":false,"locationEdit":false,"organizationRolePretty":"","organizationTypePretty":"NASA Mission Directorate"},"responsibleMdOffice":4875,"stockImageFileId":36648,"title":"Small Business Innovation Research/Small Business Tech Transfer","manageGaps":false,"acronymOrTitle":"SBIR/STTR"},"description":"NASA's software-intensive extraterrestrial exploration and observation systems are raising performance and reliability bars to unprecedented levels.  Exaggerating the complexity, in order for such systems to be robust and responsive they must have the ability to use intelligent processes to self-detect and heal, or literally create new programs in response to new situations.  Validating the readiness of such complex automated software for long term remote deployment demands not just covering code or branches, or even inputs and outputs, but rather to cover algorithms, rule bases, and states within the system.  Even when reducing the order of the problem through traceable model extraction and abstraction we are left with state explosion that drives the test of mission-critical software to unacceptable cost and time extremes. Yet it must be done. This has been a matter of active research at EDAptive Computing, Inc. (ECI), NASA, and elsewhere.  Modern specification and software modeling techniques combined with formal methods have yielded promising results.  We have demonstrated parts of the solution with smaller scale flight-critical [USAF] software and [MDA] satellite systems.  ECI is now uniquely poised to merge and bring the needed technology to fruition at the scale necessary for NASA Exploration Systems.","releaseStatus":"Released","status":"Completed","viewCount":737,"destinationType":[],"lastUpdated":"01/27/25","favorited":false,"detailedFunding":false,"projectContacts":[],"programContacts":[{"contactId":206378,"canUserEdit":false,"firstName":"Jason","lastName":"Kessler","fullName":"Jason L Kessler","fullNameInverted":"Kessler, Jason L","middleInitial":"L","email":"jason.l.kessler@nasa.gov","receiveEmail":"Subscribed_User","programContactRole":"Program_Director","programContactId":143,"programId":73,"programContactRolePretty":"Program Director","projectContactRolePretty":""},{"contactId":62051,"canUserEdit":false,"firstName":"Carlos","lastName":"Torrez","fullName":"Carlos Torrez","fullNameInverted":"Torrez, Carlos","email":"carlos.torrez@nasa.gov","receiveEmail":"Subscribed_User","programContactRole":"Program_Manager","programContactId":194,"programId":73,"programContactRolePretty":"Program Manager","projectContactRolePretty":""}],"leadOrganization":{"organizationId":4941,"organizationName":"Ames Research Center","acronym":"ARC","organizationType":"NASA_Center","city":"Moffett Field","stateTerritoryId":59,"stateTerritory":{"abbreviation":"CA","country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"name":"California","stateTerritoryId":59,"isTerritory":false},"country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"zipCode":"94035","projectId":5957,"projectOrganizationId":12370,"organizationRole":"Lead_Organization","canUserEdit":false,"locationEdit":false,"organizationRolePretty":"Lead Organization","organizationTypePretty":"NASA Center"},"otherOrganizations":[{"organizationId":4941,"organizationName":"Ames Research Center","acronym":"ARC","organizationType":"NASA_Center","city":"Moffett Field","stateTerritoryId":59,"stateTerritory":{"abbreviation":"CA","country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"name":"California","stateTerritoryId":59,"isTerritory":false},"country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"zipCode":"94035","projectId":5957,"projectOrganizationId":12370,"organizationRole":"Lead_Organization","canUserEdit":false,"locationEdit":false,"organizationRolePretty":"Lead Organization","organizationTypePretty":"NASA Center"},{"organizationId":3446,"organizationName":"EDAptive Computing Inc","organizationType":"Industry","city":"Dayton","stateTerritoryId":23,"stateTerritory":{"abbreviation":"OH","country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"name":"Ohio","stateTerritoryId":23,"isTerritory":false},"country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"zipCode":"45458-1856","uei":"ULSZZUD8P7W7","congressionalDistrict":"Ohio 10","msiCategories":[],"msiData":{},"setAsideData":["Minority-Owned Business","Women-Owned Small Business (WOSB)"],"projectId":5957,"projectOrganizationId":6212,"organizationRole":"Supporting_Organization","canUserEdit":false,"locationEdit":false,"organizationRolePretty":"Supporting Organization","organizationTypePretty":"Industry"}],"primaryTx":{"taxonomyNodeId":11254,"taxonomyRootId":8817,"parentNodeId":11249,"code":"TX09.4.5","title":"Integrated Modeling and Simulation for EDL","description":"This area regards the computer codes, underlying physical models, and processes that enable configuration definition and end-to-end design verification and validation for systems that cannot be tested exactly in the configuration and environment in which they are intended to operate. The models cover both the environmental response to the presence of the system in operation and the operational performance of the system in the environment. Modeling the complete system often requires multidisciplinary, multiscale, and efficient techniques that span one or more phases of EDL in order to support rapid vehicle development and real-time operations.","exampleTechnologies":"Multi-disciplinary coupled analysis tools, aerothermodynamics modeling, ablative material response models, non-ablative material response models, TPS quantification models and processes, numerical methodologies and techniques, autonomous aerobraking, orbital debris entry and breakup modeling, meteor entry and breakup modeling, Fluid Structure Interaction (FSI) tools, SRP modeling tools, aerodynamic modeling tools, plume-surface interaction, multi-scale simulation tools; Multi-disciplinary coupled analysis tools, multi-scale simulation tools; cross-cutting numerical methods and approaches, uncertainty quantification, MBSE tools, etc.","level":3,"hasChildren":false,"selected":false,"isPrimary":true,"hasInteriorContent":true},"primaryTxTree":[[{"taxonomyNodeId":11235,"taxonomyRootId":8817,"code":"TX09","title":"Entry, Descent, and Landing","level":1,"hasChildren":true,"selected":false,"hasInteriorContent":true},{"taxonomyNodeId":11249,"taxonomyRootId":8817,"parentNodeId":11235,"code":"TX09.4","title":"Vehicle Systems","description":"Vehicle systems enable a thorough understanding of overall design space, requirements, constraints, and available technologies. A key component of vehicle systems is the development of accurate tools for analyzing the end-to-end vehicle performance for EDL.","level":2,"hasChildren":true,"selected":false,"hasInteriorContent":true},{"taxonomyNodeId":11254,"taxonomyRootId":8817,"parentNodeId":11249,"code":"TX09.4.5","title":"Integrated Modeling and Simulation for EDL","description":"This area regards the computer codes, underlying physical models, and processes that enable configuration definition and end-to-end design verification and validation for systems that cannot be tested exactly in the configuration and environment in which they are intended to operate. The models cover both the environmental response to the presence of the system in operation and the operational performance of the system in the environment. Modeling the complete system often requires multidisciplinary, multiscale, and efficient techniques that span one or more phases of EDL in order to support rapid vehicle development and real-time operations.","exampleTechnologies":"Multi-disciplinary coupled analysis tools, aerothermodynamics modeling, ablative material response models, non-ablative material response models, TPS quantification models and processes, numerical methodologies and techniques, autonomous aerobraking, orbital debris entry and breakup modeling, meteor entry and breakup modeling, Fluid Structure Interaction (FSI) tools, SRP modeling tools, aerodynamic modeling tools, plume-surface interaction, multi-scale simulation tools; Multi-disciplinary coupled analysis tools, multi-scale simulation tools; cross-cutting numerical methods and approaches, uncertainty quantification, MBSE tools, etc.","level":3,"hasChildren":false,"selected":true,"hasInteriorContent":true}]],"technologyOutcomes":[],"libraryItems":[],"states":[{"abbreviation":"CA","country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"name":"California","stateTerritoryId":59,"isTerritory":false},{"abbreviation":"OH","country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"name":"Ohio","stateTerritoryId":23,"isTerritory":false}],"endDateString":"Jul 2006","startDateString":"Jan 2006"}}