-
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
-
- About Us
Danielle Stewart, Ph.D.
Danielle Stewart, Ph.D.
Formal Verification, Model Based Safety Analysis, Model Checking
About
Dr. Stewart began work at Adventium Labs in August 2020 championing research initiatives for safety- and security-critical software-intensive cyber physical systems, including avionics, industrial controls, and medical devices. She is currently leading a U.S. Army funded project that unifies disparate behavioral modeling languages to provide a comprehensive verification framework for specifying, analyzing, and developing critical systems.
On DARPA and US Air Force projects, Dr. Stewart is leading technical efforts to create formal evidence that system-level safety and security requirements represented in system models are accurately reflected in the code that implements them.
Education
Ph.D. in Computer Science, University of Minnesota
M.S. in Mathematics, University of Minnesota Duluth
B.S. in Mathematics, University of Minnesota Duluth
Past Work
In earlier research, Dr. Stewart leveraged formal methods to perform safety assessment of critical systems. During this time, she worked as a visiting researcher at the German Aerospace Center (DLR Braunschweig) and led an effort to perform model-based safety engineering of unmanned aircraft. She also collaborated with Collins Aerospace on a NASA research grant to apply formal methods to real-world avionic systems.
Image
