Funding


SIRFUR: Software Implementation from Rigorous Formal Usable Requirements
Robby (K-State PI), John Hatcliff; and Todd Carpenter (Lead PI) at Adventium Labs
Defense Advanced Research Projects Agency (DARPA) Small Business Innovation Research (SBIR) Phase II
Project total: $1,499,766 (K-State's portion: $693,000)
Duration: October 2020 - September 2023
MAILLE: Microkernal Application Information fLow with Logic-based Enforcement
John Hatcliff (K-State PI), Robby; and Todd Carpenter (Lead PI) at Adventium Labs
U.S. Air Force Research Laboratory (AFRL) Small Business Innovation Research (SBIR) Phase II
Project total: $749,957 (K-State's portion: $347,000)
Duration: May 2021 - April 2023
GUMBO II: Grand Unified Modeling of Behavior Operators
John Hatcliff (K-State PI), Robby; and Danielle Stewart (Lead PI) at Adventium Labs
U.S. Army Combat Capabilities Development Command (CCDC) Aviation & Missile Center Small Business Innovation Research (SBIR) Phase II
Project total: $1,099,936 (K-State's portion: $410,000)
Duration: August 2020 - August 2022
High-Assurance Model-Based System Engineering for Safety and Security
Robby (PI), John Hatcliff (co-PI)
Collins Aerospace -- a sub-contract of Defense Advanced Research Projects Agency (DARPA) Cyber Assured Systems Engineering (CASE) no. HR00111890001
Project total: $1,139,909
Duration: May 2019 - February 2022
Cyber Assured Systems Engineering (CASE): Architecture Translation and Information Flow Analysis for High-Assurance Embedded Systems with Separation Kernels
Robby (K-State PI), John Hatcliff (Co-PI); and John Shackleton (Lead PI) and Todd Carpenter at Adventium Labs
Collins Aerospace -- a sub-contract of Defense Advanced Research Projects Agency (DARPA) Cyber Assured Systems Engineering (CASE) Other Transaction Agreement (OTA) no. HR00111890001
Sub-contract total: $950,000 (K-State's portion: $375,000)
Duration: August 2018 - February 2022 (K-State's duration: August 2018 - April 2021)
AADL Analyses & Modeling Strategies for Safety and Security
John Hatcliff (PI), Robby, Eugene Vasserman
Software Engineering Institute (SEI)
Project total: $420,000
Duration: May 2019 - September 2020
Information Flow Control for Microkernels
John Hatcliff (K-State PI), Robby; and Todd Carpenter (Lead PI) at Adventium Labs
U.S. Air Force Research Laboratory (AFRL) Small Business Innovation Research (SBIR) Phase I
Project total: $150,000 (K-State's portion: $46,724)
Duration: July 2019 - January 2020
GUMBO: Grand Unified Modeling of Behavior Operators
John Hatcliff (K-State PI), Robby; and Rand Whillock (Lead PI) and Todd Carpenter at Adventium Labs
U.S. Army Combat Capabilities Development Command (CCDC) Aviation & Missile Center Small Business Innovation Research (SBIR) Phase I
Project total: $100,000 (K-State's portion: $10,000)
Duration: April - August 2019
Fault Injection and Analysis for Safety and Security
John Hatcliff (PI), Robby, Eugene Vasserman
Software Engineering Institute (SEI)
Project total: $100,500
Duration: February 2018 - January 2019
Methodologies and Tools for Securing Medical Device Systems in Integrated Clinical Environments (ICE)
John Hatcliff (K-State PI), Robby, Eugene Vasserman; and Rand Whillock (Lead PI) and Todd Carpenter at Adventium Labs
U.S. Army Medical Research Acquisition Activity (USAMRAA) Defense Health Program (DHP) -- Small Business Innovation Research (SBIR) DHP15-004, Phase II
Project total: $999,974.04; K-State's portion: $339,187
Duration: September 2016 - September 2018
FDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms
John Hatcliff (PI), Robby, Venkatesh-Prasad Ranganath
National Science Foundation (NSF) CNS-1565544
Project total: $160,000
Duration: August 2016 - July 2018
FDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms
John Hatcliff (PI), Robby, Venkatesh-Prasad Ranganath
National Science Foundation (NSF) CNS-1446544
Project total: $80,000
Duration: March 2015 - February 2016
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
John Hatcliff (Lead PI), Eugene Vasserman, Robby, Steve Warren, Venkatesh-Prasad Ranganath, and Patrice Chalin; and Insup Lee and Oleg Sokolsky at University of Pennsylvania
National Science Foundation (NSF) OCI-1239543
Project total: $1,000,000, K-State's portion: $880,000
Duration: October 2012 - September 2015
Development of a Prototype Healthcare Intranet for Improved Health Outcomes
John Hatcliff (PI), Daniel Andresen, Robby, Eugene Vasserman, Steve Warren
Massachusetts General Hospital -- a sub-contract of National Institutes of Health (NIH)/National Institute of Biomedical Imaging and Bioengineering (NIBIB) Quantum grant
Sub-contract total: $475,000
Duration: September 2010 - August 2015
Evidence-based Trust in Large-scale MLS Systems
John Hatcliff (Lead PI), Robby, Torben Amtoft, and Xinming Ou; and Andrew Appel at Princeton University
U.S. Air Force Office of Scientific Research (AFOSR) grant no. FA9550-09-0138
Project total: $3,000,000, K-State's portion: $2,012,500
Duration: March 2009 - November 2014
Enhancing the Cybersecurity and Information Assurance Research and Education Infrastructure of Kansas State University
Xinming Ou (PI), Scott DeLoach, John Hatcliff, Robby
U.S. Air Force Office of Scientific Research (AFOSR) Defense University Research Instrumentation Program (DURIP)
Project total: $605,650
Year: 2013
FDA SIR: Tools, Processes, and Artifacts for Certifiable Clinical Applications in Interoperable Medical Device Frameworks
Patrice Chalin (PI), John Hatcliff, Robby
National Science Foundation (NSF) CNS-1238431
Project total: $80,000
Duration: October 2012 - September 2013
CPS:Medium:Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination
John Hatcliff (Lead PI), Daniel Andresen, Robby, Steve Warren; and Insup Lee and Oleg Sokolsky at University of Pennsylvania
National Science Foundation (NSF) CNS-0932289
Project total: $1,500,000, K-State's portion: $840,000
Duration: September 2009 - August 2013
CAREER: A Formal, Integrated Analysis Framework for Contract-based Reasoning of Strong Properties of Open Systems
Robby
National Science Foundation (NSF) Faculty Early Career Development (CAREER) CCF-0644288
Project total: $400,000
Duration: April 2007 - March 2013
An Integrated Development and Certification Environment for a Medical Device Coordination Framework
John Hatcliff (PI), Gurdip Singh, Virgil Wallentine, Steve Warren, Robby
National Science Foundation (NSF) CNS-1065887
Project total: $80,000
Duration: January 2010 - December 2012
A Domain Specific Language for Defining High-Assurance Secure-Network Guards
John Hatcliff (PI), Torben Amtoft, Xinming Ou, Robby
Collins Aerospace Advanced Technology Center (ATC)
Project total: $170,000
Duration: September 2008 - August 2010
Collaborative Research: CRI:CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research
Gary Leavens (Lead PI), Samik Basu, Yoonsik Cheon, Curtis Clifton, Cormac Flanagan, David Naumann, Hridesh Rajan, Robby
National Science Foundation (NSF) Computing Research Infrastructure (CRI) CNS-0709169
Project total: $895,000, K-State's portion: $220,000
Duration: July 2007 - June 2010
Development of an Open Test-bed for Application of Formal Methods to Plug and Play Medical Devices
John Hatcliff (PI), Daniel Andresen, Robby, Steve Warren
National Science Foundation (NSF) Computer Systems Research (CSR) CNS-0734204
Project total: $55,000
Duration: September 2007 - August 2009
Organization-based Model-driven Development of High-assurance Multiagent Systems
Scott DeLoach (PI), Robby
U.S. Air Force Office of Scientific Research (AFOSR)
Project total: $481,824
Duration: January 2006 - November 2008
Analysis and Verification of Large Scale .Net Application Models
Robby
Lockheed Martin Advanced Technology Laboratories (ATL). Project total and duration:
  • $50,000, June 2006 - December 2006
  • $60,000, May 2007 - December 2007

Integrating Java Modeling Language (JML) in Eclipse
Robby
International Business Machine (IBM) Eclipse Innovation Award
Project total: $27,000
Year: 2005