Design and Analysis of Multi-core Software

Award Information
Agency:
Department of Defense
Branch
Air Force
Amount:
$100,000.00
Award Year:
2012
Program:
STTR
Phase:
Phase I
Contract:
FA8750-12-C-0154
Agency Tracking Number:
O11B-T03-1023
Solicitation Year:
2011
Solicitation Topic Code:
OSD11-T03
Solicitation Number:
2011.B
Small Business Information
Zircon Computing LLC
30 Galesi Drive, Ste 202B, Wayne, NJ, 07470-4812
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
013889518
Principal Investigator:
Douglas Schmidt
Assoc. Chairman of Computer Science
(615) 343-8197
douglas.c.schmidt@vanderbilt.edu
Business Contact:
Alexander Mintz
Partner Principle Developer
(973) 812-1370
alexander.mintz@zircomp.com
Research Institution:
Vanderbilt University
Pat Green
PMB 407749
2301 Vanderbilt Place
Nashville, TN, 37240-
(615) 343-4097
Nonprofit college or university
Abstract
The main challenges outlined in the acquisition program objectives are: 1. API abstraction is inadequate for complex architectures 2. Multi-core architectures are non-portable across hardware/OS 3. Testing and validation of concurrent code are complex and hard to model We already have a product called zNet, which is on the market and solves most of the above challenges. 1. zNet uses a Programming Model of a higher abstraction level to overcome multi-threading and parallel coding challenges and to support platform independence. This solves issues #1 & #2, above. 2. zNet partially addresses the challenge #3 listed above. zNet is capable of introspective processes, which look inside concurrent execution logic of applications components, allowing detection of data flow congestion points and provides hints on scalability improvements. zNet still lacks a formal analysis methodology that would specify efficiency constraints for concurrent systems and allow formal modeling of such systems prior to coding. To address this need, we propose to build and validate a simulation tool that will allow the user to test and validate our programming methodology in numerous environments. This tool will imitate large sets of multi- and distributed-cores on a desktop and apply various load constraints to mimic a real-time load.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government