-
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
-
Embedded System Tradespace Analysis
Embedded System Tradespace Analysis
Adventium Labs' tradespace analysis tools provide engineers with change impact insights that mitigate unforeseen costs and improve overall complex system design.
CAFFMAD
Continuous Architecture Framework for Fault Management Assessment And Design
CAFFMAD's continuous design trade space analysis capabilities provide new safety and security system analysis tools that enhance systems engineers’ ability to make design decisions for complex mission and life-critical systems.
When changes are made to a model, CAFFMAD automatically performs trade space analysis and reports results to the designer. This trade space analysis works with discrete architecture variations (such as the selection of alternate fault management approaches or communication networks) as well as continuously variable system attributes (such as speed, memory size, energy capacity, or power generation capability).
CAFFMAD is built for engineers working in MBSE environments, with support for both Architecture Analysis and Design Language (AADL) and System Modeling Language (SysML).
TUREC: Minimizing Change Impact
Smart Tooling to Understand Ripple Effect Costs
Adventium Labs is developing TUREC, a tool for tradespace analysis that reduces certification costs by minimizing the downstream effect of changes across multiple design domains.
Current methods for assessing change impact are limited and often scoped without addressing system-level design or cross-cutting properties inherent in complex systems.
Ripple effect tradespace analysis within a model-based system engineering (MBSE) environment holds the promise of significant cost mitigation when applied early in system development.
CVIT
Continuous Virtual Integration Toolkit
CVIT allows developers using model-based engineering to automate complex build sequences that include execution of Architecture Analysis and Design Language (AADL) tools on AADL models.
CVIT includes script instantiation, evaluation, and report generation to be run with no human interaction, enabling automated, multi-project builds and evaluations of AADL models from multiple suppliers.
FUSED
Validating and Integrating Existing Multi-Model Design Tools
FUSED is a programming language to improve the design of complex systems. FUSED supports multi-model design processes by managing the flow of information from one tool to another, across geographic and organizational boundaries. It provides semantic guarantees on the data exchanged and enforces data consistency, so that out-dated information cannot compromise overall system analysis.
FUSED extends the results of an earlier, NASA-funded project called the System-Level Autonomy Trust Enabler (SLATE), which developed a patented model-integration framework for complex autonomous systems. FUSED enables rapid generation of designs, eliminating re-work caused by design errors that are traditionally not detected until system integration, and has been prototyped in the context of the model-based design of a small, unmanned air vehicle.