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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 2015
Accession Number
ADA626681

Entities

People

  • Avik Dayal
  • Mahesh Nanjundappa
  • Mathew Kracht
  • Matthew L. Anderson
  • Sandeep Shukla

Organizations

  • Virginia Tech

Tags

Communities of Interest

  • Biomedical
  • C4I
  • Energy and Power Technologies
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Accuracy
  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • C Programming Language
  • Complex Systems
  • Computer Programming
  • Computer-Aided Design
  • Control Systems
  • Department Of Defense
  • Digital Signal Processing
  • Formal Languages
  • Governments
  • Instruction Set Architecture
  • Models
  • Programming Languages
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Logistics and Supply Chain Management.
  • Software Engineering.