-
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 Health Plan
Adventium Labs - Health Plan
2022 - HealthPartners $3,000-100% HSA Plus Embedded Gold
- Transparency in Coverage Information: https://www.healthpartners.com/hp/legal-notices/disclosures/transparency/index.html
- Contract: https://www.healthpartners.com/ucm/groups/public/@hp/@public/documents/documents/entry_240902.pdf
- Benefits Chart: https://www.healthpartners.com/ucm/groups/public/@hp/@public/documents/documents/entry_240921.pdf
- Amendments / Pediatric Dental: https://www.healthpartners.com/ucm/groups/public/@hp/@public/documents/documents/entry_240940.pdf
- Summary of Benefits and Coverage: https://www.healthpartners.com/ucm/groups/public/@hp/@public/documents/documents/entry_233292.pdf