NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Engineering Software for FlightThis talk describes our efforts to improve the software engineering processes of the Copilot runtime verification framework so that the code generated can be used in UAS flights.
Document ID
20210013383
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Alwyn E. Goodloe (Langley Research Center Hampton, Virginia, United States)
Date Acquired
April 8, 2021
Subject Category
Computer Programming And Software
Meeting Information
Meeting: NCAT Autonomous Control and Information Technology (ACIT) Institute seminar
Location: Online
Country: US
Start Date: April 16, 2021
End Date: April 16, 2021
Sponsors: North Carolina Agricultural and Technical State University
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Technical Review
NASA Peer Committee
Keywords
software engineering

Related Records

There are no records associated with this record.
No Preview Available