-
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.
-
-
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
-
Adventium Honored for Cyber Security Innovations
Adventium Honored for Cyber Security Innovations
In a ceremony at the Eisenhower Executive Office Building in Washington, DC, Adventium Labs received a coveted Tibbetts award for its innovative work to address scaling issues in large cyber defense systems. The 2014 Tibbetts Awards honor small businesses and individuals judged to exemplify the best in the Small Business Innovation Research (SBIR) program.
Adventium Labs was recognized for its SBIR‐funded Cyber Architecture Reasoner Inferring Network and Application Environments (CARINAE™) technology. CARINAE identifies robust cyber security configurations that can protect thousands of computers simultaneously while satisfying mission requirements for these large‐scale systems.