-
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
-
Ryan Peroutka
Ryan Peroutka
Model-Based Systems Engineering, Formal Methods
About
Ryan Peroutka joined Adventium Labs in 2019, making contributions to numerous projects in the areas of software development, model-based systems engineering and formal methods.
As part of DARPA's AIMEE program, Ryan is contributing to Adventium's DECIMAL project which aims to identify possible avenues of emergent execution given an abstract system representation. He architected much of DECIMAL's toolset including translation from its automata-based formalism into the model-checking language, SMV.
On Adventium's NASA-funded FRIGATE project, Ryan is working to facilitate generation and maintenance of failure recovery plans in the context of traditional engineering models. He made significant technical contributions to the Phase 1 proof-of-feasibility and will be contributing to further maturation of the tooling and underlying formalism during the 24 month Phase 2 effort.
Education
B.S. Mathematics & Computer Science, University of Minnesota
Image
