-
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
-
Hazel Shackleton demonstrates the SysML to AADL Bridge at SEI 2021 AADL/ACVIP User Days
Hazel Shackleton demonstrates the SysML to AADL Bridge at SEI 2021 AADL/ACVIP User Days
Adventium Labs' Hazel Shackleton presented her talk, "SysML to AADL Bridge: Automating the translation of SysML into AADL for Analysis" at the 2021 AADL/ACVIP User Days, hosted by Carnegie Mellon University's Software Engineering Institute (SEI). This tool for translating SysML into AADL enables embedded software system engineers to combine the strengths of SysML for overall systems engineering with the strengths of AADL for finer-grained specification and analysis.