-
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.
-
-
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
-
Brian Isle Quoted in Star Tribune
Brian Isle Quoted in Star Tribune
Adventium Labs' founder and security expert Brian Isle was consulted by the Star Tribune for articles related to some recent, high profile cyber security breaches. The articles were "Cyberattack hurts those who can afford it least," describing a recent denial of service attack on the phone system of a local non-profit and "Corporate hackers target the weakest link, the supply chain," which addresses the need for businesses to take a look at the impact their third party vendors have on their security.