USA flag logo/image

An Official Website of the United States Government

Company Information:

Company Name: Formal Systems Design &
City: Auburn
State: AL
Zip+4: 36831
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Website URL: N/A
Phone: 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
Agency / Branch: DOD / NAVY
Principal Investigator: Michael H Goldsmith
Award Amount: $49,999.00

EMBEDDED TRANSPUTER-BASED SYSTEM DESIGN

Award Year / Program / Phase: 1993 / SBIR / Phase II
Agency / Branch: DOD / NAVY
Principal Investigator: Michael H Goldsmith
Award Amount: $300,000.00
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
Agency / Branch: DOD / NAVY
Principal Investigator: Michael Goldsmith
Award Amount: $99,383.00
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