-
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
-
NASA Selects Adventium for Phase 2 of ConCEPT Project
NASA Selects Adventium for Phase 2 of ConCEPT Project
NASA has selected Adventium for Phase 2 of its project titled "Constraint-Checking Editor for Procedure Tracking (ConCEPT)." Led by Dr. Mark Boddy, this $750K Small Business Innovation Research (SBIR) project will develop technology to support NASA mission operations. The project combines automated translation and Constraint Satisfaction Problem (CSP) generation technologies to assist users in identifying conflicts and inconsistencies in procedures as they are developed. The goal of this two-year project is an advanced prototype suitable for transition to NASA operations.