-
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
-
Danielle Stewart, Ph.D.
Danielle Stewart, Ph.D.
Formal Verification, Model Based Safety Analysis, Model Checking
About
Dr. Danielle Stewart joined Adventium Labs in August 2020. Her research focuses on safe and secure cyber physical systems, specifically applying formal methods during the development process to create evidence that safety and security requirements are satisfied by the deployed system.
Danielle's current research focuses on bridging the gap between model-based analyses and deployed software-level analyses. She is pursuing research to reason about interactions between the software, run-time, and hardware of high assurance systems, and to formally verify that the resulting embedded system satisfies the mission-level requirements.
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, Danielle helped integrate formal methods into the safety assessment process. She worked closely with safety analysts in industry to develop techniques to provide the analysts with usable and understandable artifacts derived from verification efforts. She was a visiting researcher at the German Aerospace Center (DLR - Braunschweig) and consulted engineers on model-based safety engineering of unmanned aircraft. Danielle also collaborated with Collins Aerospace on a NASA research grant to apply formal methods to avionic systems.
Image
