• 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