

Software Engineering, in our mind represents a convergence of multiple disciplines. We have been supported by the NSF our core areas of expertise and through our collaborative efforts with several application disciplines (primarily biometric systems and aerospace systems). Full details are 
listed below.


{\bf CNS-0325640} 
{\em ITR Collaborative Research: Biometrics - Performance, Security and Social Impact}, PI Hornak, Co-PIs Cukic et. al., Award: 3/2004 start, yearly renewed, 4 year term.  Funding: \$50K per year NSF, average \$700K/year Department of Homeland Security. Some of the business context ideas presented in the current proposal originated in the analysis of system requirements for large scale homeland security applications studied in this award.  

{\bf IIP-0641331} 
{\em Operating Center Renewal Proposal for the Center for 
Identification Technology Research (CITeR)}: An I/UCRC in Biometrics, PI: Hornak, Co-PI: Cukic. Award: 12/2006 start, 7 year award. Funding: 
\$75K/yr NSF, average \$7000K/yr total research portfolio funding from industry membership dues. These small-scale projects to researchers have provided initial results important for this proposal.

{\bf CNS-0521034}
{\em MRI Acquisition of Instrumentation for Biometric Authentication Research: Collaborative Research}, PI Ross, Co-PI: Cukic et. al., Award 8/2005 - 7/2008, Funding: \$215,805. 
Part of the Major Research Instrumentation Program (MRI).  The goal of MRI is increase competitiveness of research groups by providing funds for laboratory equipment.  MRI award has made our proposal feasible by funding computing resources for simulating a distributed authentication infrastructure between two Universities, WVU and St. Lawrence University, and software development toolkits for biometric based authentication.   


{\bf CCF -0093315 CAREER:}
{\em  Software Reliability Assessment for High Assurance Systems}.
 PI: Bojan Cukic. 3/1/2001 - 2/28/2007, \$280K. The project
 investigated combinations of formal verification and statistical
 testing for rigorous software assessment. Project findings included
 a statistical framework for human-in-the-loop reliability assessment
 \cite{boland04,bojan03}, analytical comparison of random and partition testing
 strategies \cite{boland03,boland02}, a compositional approach to verification of
 formal software models \cite{cukic05,yacoub04,cukic02,popic05,li04,desovski06}, and the investigation
 of the role of tool diversity in formal verification 
\cite{guo04,me02d,owen2b,owen06}. Co-PIs expertise in software assessment and reliability
 assurance benefits the current proposal.

