-
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
-
Adventium Awarded Contract to Develop State Linked Interface Compliance Engine for Data (SLICED)
Adventium Awarded Contract to Develop State Linked Interface Compliance Engine for Data (SLICED)
The Navy has awarded Adventium Labs a contract worth up to $1 million to develop the State Linked Interface Compliance Engine for Data (SLICED). SLICED supports Adventium's growing suite of virtual integration tools by adding behavioral analysis and verification capabilities. SLICED will aid in the system integration process by detecting behavioral incompatibilities in components developed by different vendors early in the design process to reduce overall design costs. The first release of SLICED is expected to be available by July 2018 on Adventium's Curated Access to Model-based Engineering Tools (CAMET®) Library.