-
Solutions
-
Researching, developing, and transitioning advances in separation architectures, model-based system engineering, and mathematical analysis.
- Safety & Security AnalysisAnalyze system models for gaps in safety and security compliance, and generate documentation to support certification requirements.
- Real-time Operating System SchedulingProvide end-to-end, system-wide schedulabilty analysis, and generate real-time operating system (RTOS) schedules and configuration information
- Embedded System Tradespace AnalysisSupport least-commitment design strategies by continuously evaluating embedded system design alternatives against diverse requirements.
- Isolation TechnologyEnable virtual security enclaves within a single physical server
-
-
Initiatives
-
What’s next: Innovative research examining hard problems of national importance.
- Weird MachinesAnticipating vulnerabilities related to computer systems that employ artificial intelligence
- Education InnovationDelivering game-based education to adolescents and young adults
- Automated Behavior AnalysisDetecting vulnerabilities in embedded systems using timed automata (VOLTA)
- Code GenerationAutomating the integration of cyber-resilient components in complex systems
-
Air Force Phase II SBIR Awarded to Increase Mission Resiliency and Survivability
Air Force Phase II SBIR Awarded to Increase Mission Resiliency and Survivability
Adventium Labs, in conjunction with John Hatcliff and his research team at Kansas State University, has won an Air Force Phase II Small Business Innovation Research (SBIR) award to increase aircraft survivability by addressing information security vulnerabilities in complex cyber-physical systems.
Led by Adventium's chief engineer, Todd Carpenter, the two-year $750,000 project, called MAILLE (Microkernel Application Information fLow with Logic-based Enforcement), will allow system architects to manage information flow risks. This will help them increase mission resiliency and survivability of mission-critical systems, while reducing cost and schedule overruns that can occur when information flow problems are discovered late in the system development process.
Phase I demonstrated MAILLE in the context of an Unmanned Aerial Vehicle (UAV) derived from DARPA's Cyber Assured Systems Engineering (CASE) program. In Phase II, the team will integrate MAILLE with existing tools on Adventium Labs' CAMET® Library of Model-based System Engineering (MBSE) tools.
Learn more about MAILLE here: https://www.adventiumlabs.com/initiatives/code-generation.