Accession Number:

ADA626681

Title:

Industry Strength Tool and Technology for Automated Synthesis of Safety-Critical Applications from Formal Specifications

Descriptive Note:

Final rept. Feb 2013-Jun 2015

Corporate Author:

VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG

Report Date:

2015-11-01

Pagination or Media Count:

155.0

Abstract:

This report discussed the fundamental theory, algorithms, and prototype tools for the synthesis of embedded safety-critical software for multi-core embedded platforms as well as to initiate planned technology transfer to a Department of Defense DoD vender company. The techniques and tools developed during project execution will enable the production of embedded safety -critical software with improved quality and performance, decreases in cost and development times, automation of labor-intensive and error -prone processes, increased reliability, and easier integration and sustainment.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE