A COMPREHENSIVE COMMERCIAL-GRADE SYSTEM FOR THE DEVELOPMENT OF SAFE PARALLEL AND SERIAL PROGRAMS IS DEVELOP…
Award details are derived from public USAspending.gov records. Not a bid recommendation.
Award details
- Award ID
- NNX10CC41P
- Contractor
- Awarding agency
- National Aeronautics and Space Administration
- Sub-agency / office
- National Aeronautics and Space Administration
- Award amount
- $0
- Period of performance
- Jun 16, 2010 – Jul 29, 2010
- NAICS
- 541712 — Research and Development in the Physical, Engineering, and Life Sciences
- PSC
- PSC AR11
- Place of performance
- IL
Public award description
A COMPREHENSIVE COMMERCIAL-GRADE SYSTEM FOR THE DEVELOPMENT OF SAFE PARALLEL AND SERIAL PROGRAMS IS DEVELOPED. THE SYSTEM HAS THE ABILITY TO PERFORM EFFICIENT PARAMETRIC RUNTIME VERIFICATION OF PROGRAMS. THIS CAN BE USED TO ENSURE THE SAFETY OF MISSION CRITICAL SYSTEMS AT RUNTIME. THE SYSTEM ALSO HAS THE ABILITY TO EXTRAPOLATE ALL FEASIBLE PROGRAM TRACES DERIVING FROM THREAD INTER-LEAVINGS THAT MEET THE CASUAL DEPENDENCIES OF A PROGRAM FROM A SINGLE RUNNING. THESE FEASIBLE TRACES CAN BE CHECKED, USING THE SAME PARAMETRIC TRACE SLICING ALGORITHM USED FOR RUNTIME VERIFICATION, AGAINST SAFETY PROPERTIES. AN EXTENSIVE EVALUATION OF THE SYSTEM ON SOFTWARE CRITICAL TO NASA IS ALSO PERFORMED, WITH THE AID OF KLAUS HAVELUND.
Find out who's winning similar federal contracts
Discover comparable awards, related contractors, and agency purchasing history.