USA flag logo/image

An Official Website of the United States Government

Company Information:

Company Name:
Formal Systems Design &
Address:
P.o. Box 3004
Auburn, AL 36831
Phone:
N/A
URL:
N/A
EIN:
N/A
DUNS:
N/A
Number of Employees:
N/A
Woman-Owned?:
No
Minority-Owned?:
No
HUBZone-Owned?:
No

Commercialization:

Has been acquired/merged with?:
N/A
Has had Spin-off?:
N/A
Has Had IPO?:
N/A
Year of IPO:
N/A
Has Patents?:
N/A
Number of Patents:
N/A
Total Sales to Date $:
$ 0.00
Total Investment to Date $
$ 0.00
POC Title:
N/A
POC Name:
N/A
POC Phone:
N/A
POC Email:
N/A
Narrative:
N/A

Award Totals:

Program/Phase Award Amount ($) Number of Awards
SBIR Phase I $149,382.00 2
SBIR Phase II $300,000.00 1

Award List:

EMBEDDED TRANSPUTER-BASED SYSTEM DESIGN

Award Year / Program / Phase:
1990 / SBIR / Phase I
Award Amount:
$49,999.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
Michael H Goldsmith
Abstract:
N/a

EMBEDDED TRANSPUTER-BASED SYSTEM DESIGN

Award Year / Program / Phase:
1993 / SBIR / Phase II
Award Amount:
$300,000.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
Michael H Goldsmith
Abstract:
To date, most safety-critical applications of special purpose problem-oriented multiprocessor configurations have relied on wellknown, simplistic strategies for ensuring satisfiability of constraints such as freedom from deadlock and livelock, fairness and real-time responsiveness; however such… More

User-Interface for Rule-Based Formal-Methods

Award Year / Program / Phase:
1995 / SBIR / Phase I
Award Amount:
$99,383.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
Michael Goldsmith
Abstract:
This project aims towards an initial "Formal Methods Inter-face,, frame- work which will provide interface in three senses: * between the engineer and formal methods tools; * to support interworking of diverse tools which implement a ide range of formal approaches; * between the formal tools and… More