USA flag logo/image

An Official Website of the United States Government

Security Policy Modeling and Enforcement Tools for Clinical Workflows

Award Information

Agency:
Department of Defense
Branch:
Defense Advanced Research Projects Agency
Award ID:
28527
Program Year/Program:
1997 / SBIR
Agency Tracking Number:
28527
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
ATC-NY
33 Thornwood Dr., Suite 500 Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 1997
Title: Security Policy Modeling and Enforcement Tools for Clinical Workflows
Agency / Branch: DOD / DARPA
Contract: N/A
Award Amount: $182,000.00
 

Abstract:

Formal methods techniques have the promise to help reduce or eliminate certain kinds of errors in the design and implementation of software-controlled systems, yet they are greatly underused. Among the reasons: most tool support for formal methods is unnecessarily difficult to use; and the research community has paid relatively little attention to the requirements of technology transfer -- for example, to implementing tools offering simplified modes of operation that are less powerful but easier to learn and use. The proposed work undertakes to make formal methods tools practically usable through a formal methods interface (FMI), which would enable end-users and implementors with different levels of expertise to cooperate in bringing a variety of tools --- decision procedures, table checkers, model checkers, theorem provers., simulators, code generators --- to bear on system development. The FMI coordinates communication between users and tools in terms of a unified top-level view of the system under design; provides front-end support that mediates between users and analysis tools; and manages a database of logically related information produced by formal analysis.

Principal Investigator:

Dr. David Guaspari
6072772020

Business Contact:

Small Business Information at Submission:

Odyssey Research Assoc Inc.
301 Dates Drive Ithaca, NY 14850

EIN/Tax ID: 161549760
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No