Title :
Software Assurance Research Infusion: The NASA Experience
Author :
Hinchey, Michael G. ; Pressburger, Thomas ; Feather, Martin S. ; Markosian, Lawrence ; Deadrick, Wes
Author_Institution :
Loyola Coll., Baltimore
Abstract :
We present the ongoing NASA research infusion initiative, a sub-group of the NASA software working group which encourages the use of advanced technologies and the products of software engineering research in NASA projects and missions. An emphasis is placed on technologies and products that address software assurance. Technology infusion is generally a difficult process, but the effort described here seems to have found a modest approach that is successful for some types of technologies. We outline the process and report on the outcomes of some infusions run over in the past. We also present some lessons learned from our experiences.
Keywords :
aerospace computing; research and development; software engineering; NASA research infusion initiative; NASA software working group; software assurance research infusion; software engineering research; Collaboration; Collaborative software; Educational institutions; NASA; Programming; Proposals; Runtime; Software engineering; Software tools; Space technology;
Conference_Titel :
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location :
Paphos
Print_ISBN :
978-0-7695-3071-0
DOI :
10.1109/ISoLA.2006.56