Research Projects >> Computer Security >> Current Research Project >>


Wind River Proof System Tools SOW 3 of the SKPP Verification Project

     Status:
Current Research Project

Research Category:
Computer Security

Research Center:
Microelectronics Research and Communications Institute

Sponsor(s)
Wind River (Wind River)

Primary Researchers:
 Jim Alves-Foss and Paul Oman.

Research Associate:
 Daniel Conte de Leon.

Graduate Student Research Assistants:
 David Manz and Katie Smith.

Duration:
June 1, 2007 to August 1, 2009



We are developing three tools to be used in the formal specification and verification of the Wind River SKPP RTOS. The intent of these tools is to aid in the generation of the formal methods artifacts required by the NSA for certification under the SKPP. These tools will not generate the full final formal methods artifacts, as much of the proofs must be completed by hand. However, these tools will be designed to simplify the process.