A Framework for Modeling and Analyzing Complex Distributed Systems

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: FA9550-05-C-0178
Agency Tracking Number: F045-023-0117
Amount: $640,000.00
Phase: Phase II
Program: STTR
Solicitation Topic Code: AF04-T023
Solicitation Number: N/A
Timeline
Solicitation Year: 2004
Award Year: 2006
Award Start Date (Proposal Award Date): 2005-09-30
Award End Date (Contract End Date): 2007-09-30
Small Business Information
11 Osborne Road, Brookline, MA, 02446
DUNS: 145860966
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Nancy Lynch
 Professor
 (617) 253-7225
 lynch@theory.csail.mit.edu
Business Contact
 Dr.Alexander Shvartsma
Title: President
Phone: (860) 486-2672
Email: aas@cse.uconn.edu
Research Institution
 SUNY/STONY BROOK UNIV.
 Scott Smolka
 Department of Computer Science
SUNY Stony Brook Univ.
Stony Brook, NY, 11794
 (631) 632-8453
 Nonprofit college or university
Abstract
This Small Business Technology Transfer Phase II project will develop computational support tools for specifying, analyzing, and verifying designs for complex distributed systems, such as communication systems and transportation control systems. The tools will support a modeling language, called TIOA (Timed Input/Output Automata), developed before and during our Phase I project. The overall modeling and analysis framework will provide an integrated suite of tools and methods for use by customers, leading to qualitative improvements in the design of dependable distributed systems. Building on the Phase I accomplishments, this project will provide: (a) a formal modeling language, TIOA, for specifying timed, asynchronous, and interacting systems components, (b) the front-end processor for TIOA, incorporating syntax and type checking, supporting composition of automata, and providing interfaces to a suite of computer-aided design and analysis tools, (c) a simulation tool allowing simulation of individual specifications and of pairs consisting of a behavior specification and an abstract implementation, (d) an integrated theorem-proving capability through an interface to PVS, and (e)~a model-checking tool. This project will also set the stage for eventual development of tools enabling computer-aided generation of code from TIOA specifications.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government