USA flag logo/image

An Official Website of the United States Government

Company Information:

Company Name:
KESTREL TECHNOLOGY LLC
Address:
3260 Hillview Avenue
Palo Alto, CA 94304-1225
Phone:
(650) 967-4408
URL:
N/A
EIN:
770548555
DUNS:
128529943
Number of Employees:
14
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 $1,875,907.00 23
SBIR Phase II $5,409,693.00 8
STTR Phase I $198,744.00 2
STTR Phase II $599,847.00 1

Award List:

SYNTHESIS

Award Year / Program / Phase:
1986 / SBIR / Phase I
Award Amount:
$49,973.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
Douglas r smith
Abstract:
This project will perform research in the area of applicationspecific software synthesis. its scientific contribution will be deeper understanding of how to codify and use application knowledge for automated synthesis, and a specific plan for prototype development and testing on both external and… More

RAPID MODIFICATION OF RELIABLE AND EFFICIENT SOFTWARE

Award Year / Program / Phase:
1990 / SBIR / Phase I
Award Amount:
$49,982.00
Agency:
NASA
Principal Investigator:
Lee Blaine , Project Manager/pi
Abstract:
N/a

RAPID MODIFICATION OF RELIABLE AND EFFICIENT SOFTWARE

Award Year / Program / Phase:
1991 / SBIR / Phase II
Award Amount:
$472,635.00
Agency:
NASA
Principal Investigator:
Lee Blaine , Project Manager/pi
Abstract:
This project addresses efficient prototyping of reliable software systems and deals with the four interwined issues of reliability, reusability, coping with changes to the prototype, and generating efficient code form specifications. the company has developed a language for describing… More

Design Verification and Transformation of Hardware Specifications to VHDL

Award Year / Program / Phase:
1993 / SBIR / Phase I
Award Amount:
$73,028.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Dr. Allen T. Goldberg
Abstract:
Our innovative proposal is to apply the design refinement approach, as implemented in the Reacto Verification System (RVS), to construct verified VHDL models. RVS includes a specification language, with features fundamental to the specification of hardware systems, a graphical interface used to… More

Feasible Path Analysis for Ada Test Case Generation

Award Year / Program / Phase:
1993 / SBIR / Phase I
Award Amount:
$49,513.00
Agency:
NASA
Principal Investigator:
Allen T. Goldberg
Abstract:
N/a

Development and Presentation of Electronic Technical Data for Maintenance

Award Year / Program / Phase:
1994 / SBIR / Phase I
Award Amount:
$59,950.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Steve Westfold
Abstract:
We propose to apply state-of-the-art synthesis and design technology developed at Kestrel to the problem of automatically generating easy-to-comprehend electronic technical data for use by maintenance technicians. Specifically we will automate the generation of diagrams, tables and procedures from… More

SPECWARE, An Advanced Software Development Environment

Award Year / Program / Phase:
1994 / SBIR / Phase I
Award Amount:
$59,975.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Richard Jullig
Abstract:
N/a

Feasible Path Analysis for Ada Test Case Generation

Award Year / Program / Phase:
1994 / SBIR / Phase II
Award Amount:
$475,532.00
Agency:
NASA
Principal Investigator:
Allen T. Goldberg
Abstract:
N/a

SPECWARE, An Advanced Software Development Environment

Award Year / Program / Phase:
1995 / SBIR / Phase II
Award Amount:
$745,774.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Richard Jullig
Abstract:
We will design and build SPECWARE, an advanced software development environment for specifying, designing, and evolving high-performance, correct-by-construction software. Software development using SPECWARE will consist of the systematic transformation of formal specifications into executable… More

N/A

Award Year / Program / Phase:
2000 / SBIR / Phase I
Award Amount:
$99,243.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Tom Emerson, Computer Scientist
Abstract:
N/a

Planware

Award Year / Program / Phase:
2001 / SBIR / Phase II
Award Amount:
$722,692.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Douglas Smith, Principal Computer Scient
Abstract:
The Electronic Systems Command (ESC) of the U. S. Air Force has funded the development of a variety of C3I systems, raising concerns about excess cost and effort due to overlapping components and functionality. This concern motivated ESC to developschedulers by the product line approach. Our… More

Planware

Award Year / Program / Phase:
2001 / SBIR / Phase I
Award Amount:
$0.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Douglas Smith, Principal Computer Scient
Abstract:
The Electronic Systems Command (ESC) of the U. S. Air Force has funded the development of a variety of C3I systems, raising concerns about excess cost and effort due to overlapping components and functionality. This concern motivated ESC to developschedulers by the product line approach. Our… More

SBIR/STTR Phase I: HARBINGER

Award Year / Program / Phase:
2002 / SBIR / Phase I
Award Amount:
$99,803.00
Agency:
NSF
Principal Investigator:
Abstract:
This Small Business Innovation Research (SBIR) Phase I project addresses the problem of constructing high-assurance real-time, networked embedded systems. The project will develop a design environment, called HARBINGER, supporting the specification, composition, analysis, and refinement-to-code of… More

DANDE: deductive anomaly detection with program synthesis

Award Year / Program / Phase:
2002 / SBIR / Phase I
Award Amount:
$98,816.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
Stephen Westfold, Computer Scientist
Abstract:
"Deductive methods are applied to detect qualitative anomalies that mayact as predictors of terrorist attacks. Diverse online informationsources are coordinated by specifying their capabilities in a logicaltheory. Symbols in the theory are linked to procedures that canconsult the appropriate… More

Component Generation And Integration For The ESC Scheduler Product Line

Award Year / Program / Phase:
2003 / SBIR / Phase I
Award Amount:
$98,012.00
Agency / Branch:
DOD / USAF
Principal Investigator:
Douglas Smith, Executive VP/CTO
Abstract:
Many Air Force systems depend on scheduling components to effectivelymanage resources for operations, maintenance, crew training, and soon. Each system tends to have unique and complex features in thetasks, resources, constraints, policies, and objectives that arise inits domain. Rather than… More

Protecting Software Binaries from Reverse Engineering

Award Year / Program / Phase:
2003 / SBIR / Phase I
Award Amount:
$99,851.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Eric Bush, Research Scientist
Abstract:
In the context of the Software Protection Initiative, Binary Obfuscation is a technique for transforming existing software binaries into behaviorally equivalent programs that are difficult for an adversary to reverse engineer. Obfuscation is the the mostwidely applicable protection technique for… More

Error Handling Techniques for Robust Mission Critical Software

Award Year / Program / Phase:
2004 / SBIR / Phase I
Award Amount:
$99,616.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Douglas Smith, Executive Vice President
Abstract:
We will study the feasibility to build a tool, called HandlErr, which automatically enhances readable but non-robust programs with code to handle unhandled errors, according to user-specified error handling policies, thus making the programs robust. HandlErr performs a static analysis of the… More

Guaranteed Information Assurance in Netcentric-Compliant Information Systems

Award Year / Program / Phase:
2005 / SBIR / Phase I
Award Amount:
$69,798.00
Agency / Branch:
DOD / NAVY
Principal Investigator:
Douglas R. Smith, Exec. VP/CTO
Abstract:
This project will develop a new class of design environments that support (1) the development of models of a system and (2) the enforcement crosscutting information assurance and safety constraints at the model level. These early-stage design models can then be translated to code by some… More

Online Detection, Isolation, and Remediation of Flight Software Faults

Award Year / Program / Phase:
2005 / SBIR / Phase I
Award Amount:
$69,886.00
Agency:
NASA
Principal Investigator:
Allen Goldberg, Principal Investigator
Abstract:
Increasingly, critical flight functionality is implemented in software, but traditional (integrated) vehicle health management (IVHM) has primarily addressed hardware faults. All fielded software has residual errors, and the marginal costs to remove errors grow as the target residual error rate… More

Specification & Refinement for Application Diversity

Award Year / Program / Phase:
2005 / SBIR / Phase I
Award Amount:
$99,979.00
Agency / Branch:
DOD / OSD
Principal Investigator:
John J. Anton, President & CEO
Abstract:
The broad research objectives of this project are to: ¿ develop a prototype system called MUTATOR (Mutant Generator), based on specification and automated refinement, for the cost effective and assured generation of possibly hundreds of diverse implementations of a software component; … More

A Software Hub for High Assurance Model-Driven Development and Analysis

Award Year / Program / Phase:
2006 / SBIR / Phase I
Award Amount:
$99,933.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Lindsay Errington, Research Scientist
Abstract:
The use of model-based languages for the development of embedded and distributed systems, in connection with the development of analysis tools, each with their own modeling language gives rise to two challenges. The first is how to integrate these tools in such a way that an engineer can develop a… More

Interface Explorer: Automated Modular Verification of Complex Systems

Award Year / Program / Phase:
2006 / SBIR / Phase I
Award Amount:
$99,960.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Arnaud Venet, Research Scientist
Abstract:
Standard V&V techniques like code reviewing or testing provide insufficient guarantees on the reliability of critical software systems. The gap widens as the systems grow in complexity and the number of scenarios to consider is no longer tractable. Recently, automated analytic verification tools… More

TraceWare

Award Year / Program / Phase:
2006 / SBIR / Phase I
Award Amount:
$99,986.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Allen Goldberg, Sr. Research Scientist
Abstract:
Our innovation is a test-case observation package, named TraceWare, based on a powerful temporal requirement monitoring language. We propose to develop a technology for generating execution traces from runs of an application, for accumulating such traces in persistent store, for efficiently… More

PROTEUS: Protection Environment for Untrusted Software

Award Year / Program / Phase:
2006 / SBIR / Phase I
Award Amount:
$99,941.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Arnaud Venet, Research Scientist
Abstract:
Current commercial techniques seek to extend syntactic detection mechanisms, since these are relatively fast and can be generic over a rich pattern language. However, malware writers use increasingly more sophisticated obfuscations. Generic pattern-matching techniques will no longer provide adequate… More

SemaWare: Rapid Development of High-Performance Program Verifiers by Abstract Interpretation

Award Year / Program / Phase:
2006 / SBIR / Phase I
Award Amount:
$99,956.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Arnaud Venet, Research Scientist
Abstract:
Classical methods employed for software verification require considerable human effort that limits their application to small critical parts of a system. Abstract Interpretation is a theoretical framework that provides analytic methods and algorithms for automatically discovering valid properties of… More

Mitigating Software Failures with Distributed and Recovery-Oriented Flight System Architectures

Award Year / Program / Phase:
2006 / STTR / Phase I
Award Amount:
$99,920.00
Agency:
NASA
Principal Investigator:
Allen Goldberg, Principal Investigator
Research Institution:
Jet Propulsion Laboratory
RI Contact:
Gregory Horvath
Abstract:
The primary focus of Integrated Vehicle Health Management (IVHM) has been on faults due to hardware failures. Yet software is growing in complexity, controls critical functionality under a wide range of conditions and does so with greater autonomy. Furthermore, software errors have negatively… More

Composition and Verification of System Security Policies

Award Year / Program / Phase:
2007 / SBIR / Phase I
Award Amount:
$99,812.00
Agency / Branch:
DOD / MDA
Principal Investigator:
Douglas Smith, Exec VP/CTO
Abstract:
Modern complex system-of-systems have the problem of coordinating and uniformly enforcing system-wide security policies. This project focuses on formal specification of security policies, system modeling, and specialized analysis tools for (i) composing and analyzing security policies, (ii) checking… More

Failsafe

Award Year / Program / Phase:
2007 / STTR / Phase II
Award Amount:
$599,847.00
Agency:
NASA
Principal Investigator:
Allen V. Goldberg, Principal Investigator
Research Institution:
Jet Propulsion Laboratory
RI Contact:
N/A
Abstract:
With embedded software becoming ever more complex, assuming that it behaves perfectly is not realistic. The adaptation of fault protection concepts to embedded software is attractive, particularly in the context of the fault containment and health management capabilities provided by ARINC 653. In… More

A Software Hub for High Assurance Model-Driven Development and Analysis

Award Year / Program / Phase:
2007 / SBIR / Phase II
Award Amount:
$749,858.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Lindsay Errington, Sr. Research Scientist
Abstract:
Recent years have seen an increase in the use of model-based languages and associated tools for the development of embedded and distributed systems. The same period has also seen the development of a number of analysis tools for embedded systems. Each of these tools has its own modeling language,… More

Interface Explorer: A verification environment for large, complex applications

Award Year / Program / Phase:
2007 / SBIR / Phase II
Award Amount:
$749,968.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Arnaud Venet, Research Scientist
Abstract:
Automated tools are indispensable for high assurance software. They must (i) scale to handle very large applications; (ii) produce few or no indeterminate warnings; and (iii) be easily employed by domain specialists without substantial expertise in computer science. No tools available today can… More

SAGe: A Sound Static Analyzer for Wide-Spectrum Value Extraction

Award Year / Program / Phase:
2008 / SBIR / Phase II
Award Amount:
$746,617.00
Agency / Branch:
DOD / OSD
Principal Investigator:
Arnaud Venet, Research Scientist
Abstract:
The high-level goal of the work proposed here is to further develop a new, sound static analyzer and weave it into an existing software development framework in order to support the production of high assurance software. More specifically: - The tool will be based on the Code Hawk source code… More

TFX: A System for Deriving Multi-Core Applications

Award Year / Program / Phase:
2008 / SBIR / Phase I
Award Amount:
$98,894.00
Agency / Branch:
DOD / DARPA
Principal Investigator:
David L. Errington, Research Scientist
Abstract:
The physical and economic limits of processor advances are driving the industry toward multi-core architectures. In a short time, they will find their way into systems ranging from high end servers down to embedded systems. Parallel programming in one form or another will become much more common,… More

TraceWare

Award Year / Program / Phase:
2009 / SBIR / Phase II
Award Amount:
$746,617.00
Agency / Branch:
DOD / OSD
Principal Investigator:
John Anton, Pres/CEO
Abstract:
The goal of this Phase II is to build a prototype trace-based tool for distributed, real-time systems that automatically checks properties of traces. These properties can be defined and customized as needed by system architects, developers, testers, and those performing validation and verification.… More

Agent Architecture for Continuous Systems

Award Year / Program / Phase:
2011 / STTR / Phase I
Award Amount:
$98,824.00
Agency:
NASA
Principal Investigator:
Lindsay Errington, Principal Investigator
Research Institution:
Texas Tech University
RI Contact:
Kathleen Harris
Abstract:
We propose to develop an Action Languages which allows for the representation of time and time dependent processes and which allows for the valid composition of modules. Furthermore, we will develop a provably correct translation from the Action Language into Logic Programs under the Answer Set… More