USA flag logo/image

An Official Website of the United States Government

Scalable Formal Methods for Distributed Systems

Award Information

Agency:
Department of Defense
Branch:
Air Force
Award ID:
83346
Program Year/Program:
2007 / STTR
Agency Tracking Number:
F074-019-0162
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Qualtech Systems, Inc.
99 East River Drive East Hartford, CT 06108-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2007
Title: Scalable Formal Methods for Distributed Systems
Agency / Branch: DOD / USAF
Contract: FA9550-07-C-0118
Award Amount: $99,946.00
 

Abstract:

When designing distributed systems, it is necessary to compare two or more designs of the models of the system. By developing formal methods theory to automate the process of checking for differences, multiple designs can be quickly compared to come up with the best design of the system. UIUC has done research on an algorithm called Circular coinduction to automatically discover bisimulation relations and to search for the equivalence or the differences between two states. UIUC has also done research on language specification using Rewriting Logic. There is a synergy between the formal methods techniques developed at UIUC and the need for the formal methods algorithms to automate the process of comparing multi-signal models developed through TEAMS software tool at QSI. The proposed effort seeks to explore this synergy. We propose to extend the formal specification for multi-signal dependency model and research ways in which circular coinduction can be adapted for efficiently solving the equivalence-related tasks of the project. The model checking part of the project will be addressed by specifying the model in Rewriting Logic and use the generic (yet very efficient) model-checker offered by the Maude system, which fully supports Rewriting Logic specifications.

Principal Investigator:

Sudipto Ghoshal
Manager, Professional Services
8602578014
sudipto@teamqsi.com

Business Contact:

Chakrapani Vallurupalli
President & Chief Operating Officer
8602578014
chuckv@teamqsi.com
Small Business Information at Submission:

QUALTECH SYSTEMS, INC.
100 Great Meadow Rd., Suite 603 Wethersfield, CT 06109

EIN/Tax ID: 061370324
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Research Institution Information:
UNIV. OF ILLINOIS
Office of Sponsored Programs
1901 South First Street, #A
Champaign, IL 61820
Contact: Kathy Young
Contact Phone: (217) 333-2187
RI Type: Nonprofit college or university