Techniques and Tools for Trustworthy Composition of Pre-Designed Embedded Software Components

Abstract

This final report contains the findings from the trustworthy composition of pre-designed software components project. Since DoD software is often developed at multiple vendor sites, individual components may be verified and delivered to an integrator -- but the integration might fail because of behavioral incompatibility of the component interfaces. This work proposed behavioral types of interfaces by extracting the polychronous model from source code, and then using the theory of polychronous composition to check if the composition satisfied all of the requirements. The computation of composition properties (type inference) required novel development of a specialized Boolean theory for Prime Implicates, which provided a huge computational improvement through highly efficient generation of Prime Implicates.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 2012
Accession Number
ADA564895

Entities

People

  • Erik Rosenthal
  • Godwin Selvam
  • Jasdeep S. Malhotra
  • Julien R. Ouy
  • Mahesh Nanjundappa
  • Matthew Kracht
  • Matthew L. Anderson
  • Neil Murray
  • Preeti Kumar
  • Sandeep Shukla

Organizations

  • Virginia Tech

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Aircrafts
  • Computations
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Detection
  • Embedded Systems
  • Global Positioning Systems
  • Inertial Measurement Units
  • Navigation
  • Operating Systems
  • Software Design
  • Software Development
  • Unmanned Aerial Vehicles

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Distributed Systems and Data Platform Development
  • Theoretical Analysis.

Technology Areas

  • AI & ML