-
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 Demonstrating Model-Based System Engineering Analysis Tools at FACE™ Technical Interchange Meeting
Adventium Demonstrating Model-Based System Engineering Analysis Tools at FACE™ Technical Interchange Meeting
The Future Airborne Capabilities Environment (FACE™) Technical Interchange Meeting is being held on September 17th, 2019 in Dayton, OH. Adventium will be demonstrating model-based system engineering (MBSE) analysis tools that support the DoD's Digital Engineering Strategy and the Army's Architecture Centric Virtual Integration Process (ACVIP) on an exemplar robot running FACE Technical Standard Edition 3.0 aligned Units of Conformance. The demonstration will include the FACE Data Model to AADL Translator, Systems Theoretic Process Analysis (STPA)-based safety analysis, and integrated FACE behavioral modeling and analysis.
Register at https://www.opengroup.us/face/meetings.php?action=show&mtid=126