DocumentCode
3143709
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
fYear
2006
fDate
15-19 Nov. 2006
Firstpage
18
Lastpage
27
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISoLA.2006.56
Filename
4463690
Link To Document