HomeWhat we doSoftware EngineeringTechnologies
Submitting proposalsCurrent (2006)Collaborations
2005 Collaborations2004 CollaborationsSoftware EngineeringResearch at NASA
Create AccountContact usResearch Infusion is part of the NASA Software Engineering Initiative led by the Office of the Chief Engineer for improving software development practice at NASA.
Research Infusion collaborations are funded by the NASA Office of Safety & Mission Assurance's Software Assurance Research Program.
Research Infusion Collaborations in 2005
Research Infusion selected four collaborations for funding in 2005. Funding was provided primarily by the NASA Office of Safety and Mission Assurance's Software Assurance Research Program.
The Research Infusion collaborations for 2005 are:
- Application of Software Cost Reduction Methods and Tools to ISS Science Payload Software
- Application of Design Advisor to Instrument Flight Software
- Infuse Code Surfer into NASA IV&V Process
- Application of SpecTRM for Design Rationale Capture and Hazard Analysis during Conceptual, Concurrent Design of Missions
Title
“Application of Software Cost Reduction Methods and Tools to ISS Science Payload Software”
Principal Investigator
Susanne Moran, Intrinsyx Technologies, NASA Ames Research Center
Application Project
ISS Science Payload Software
Technology
Software Cost Reduction (SCR) Toolset
Technology PoC
Constance Heitmeyer, Naval Research Laboratory
Problem Statement
The target software is the result of multiple and interdependent software developments, and a coherent requirements specification is needed. The goal is to rapidly prototype and validate a state-based requirements specification using the SCR toolset.
Title
“Application of Design Advisor to Instrument Flight Software”
Principal Investigator
Glenn Cammarata, Satellite Software Company, NASA Goddard Space Flight Center
Application Project
Instrument Flight Software
Technology
Design Advisor
Technology PoC
Andrei Girenkov, Siemens Corporate Research
Problem Statement
The instrument flight software is designed across many agencies using UML. The use of Design Advisor should improve the consistency and completeness of the UML models.
Title
“Infuse CodeSurfer into NASA IV&V Process”
Principal Investigator
Michael Hieber, SAIC, NASA IVV Facility
Application Project
Spacecraft flight software
Technology
CodeSurfer
Technology PoC
Mark Zarins, Grammatech, Inc.
Problem Statement
Software inspected by the NASA IV&V Facility is composed of multiple modules, which are often written by different development groups, and are sometimes automatically generated. CodeSurfer should reduce the amount of time it takes to inspect complex control and dataflow issues across interfaces.
Title
“Application of SpecTRM for Design Rationale Capture and Hazard Analysis During Conceptual, Concurrent Design of Missions”
Principal Investigator
Leila Meshkat, Jet Propulsion Laboratory
Application Project
A team that rapidly designs space missions
Technology
SpecTRM, from Safeware Engineering Corporation
Technology PoC
Nancy Leveson, MIT
Problem Statement
The goal is to capture the rationale behind the team's decisions made when designing a space mission. This will allow investigations of the sensitivity of the design to changes in the design parameters.