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