-
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 Labs Provides Support for New AADL Version 2.3
Adventium Labs Provides Support for New AADL Version 2.3
The Society of Automotive Engineers International (SAE) has just published the Architecture Analysis and Design Language (AADL) Version 2.3 as SAE 5506D. This version provides fixes for known issues, refinement of the runtime service calls for enhanced formal analysis and generative integration support, and added additional definition to multi-core processor specifications for ease of use. The committee chose to stabilize the standard for production use in new Army Future Vertical Lift programs, FARA, and FLRAA, rather than add a number of additional new features to the language which would have required significant compiler and analysis tool upgrades, decreasing tool maturity.
Adventium Labs engineers, as part of the full committee and led by Chief Architect Dr. Jerome Hughes, provided support for these upgrades, including Bruce Lewis as Chairman of the committee, Dr. Danielle Stewart for runtime definitions, Dr. Steve Vestal for multi-core specification, and Tyler Smith for a FACE Annex to support integration of FACE components.