Skip Navigation
SBIR/STTR

A Runtime Verification System for Developing, Analyzing and Controlling Complex Safety-Critical Software, Phase I

Completed Technology Project

Project Introduction

A Runtime Verification System for Developing, Analyzing and Controlling Complex Safety-Critical Software, Phase I
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. More »

Primary U.S. Work Locations and Key Partners

Project Library

Share this Project

Organizational Responsibility

Project Management

Project Duration

This is a historic project that was completed before the creation of TechPort on October 1, 2012. Available data has been included. This record may contain less data than currently active projects.

A final report document may be available for this project. If you would like to request it, please contact us.

^