-
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
-
Steve Vestal, Ph.D.
Steve Vestal, Ph.D.
Software and Systems Engineering; Safety-Critical, Real-time Embedded Computer Systems; Real-time Resource Allocation and Scheduling
About
Dr. Steve Vestal has over 20 years of experience in software and systems engineering of safety-critical, real-time embedded computer systems. His particular areas of specialization include real-time resource allocation and scheduling; hybrid automata modeling and analysis; safety and reliability modeling and analysis; and notations, methods and tools for embedded computer system engineering.
Steve currently serves as Principal Investigator on Adventium Labs' support for the U.S. Army Joint Multi-Role Technology Demonstrator program. He was the instigator of Adventium's IRAD work, and earlier participated in the design and development of FUSED gray-box multi-viewpoint model integration framework during the DARPA AVM META program.
Education
Ph.D., Computer Science, University of Washington
B.S., Computer Science and Mathematics, Vanderbilt University
Past Work
Steve worked as a software architect on remote patient management systems, as principal investigator on a number of integrated modular avionics R&D projects, and led the DARPA-funded project that developed MetaH, the baseline for the SAE standard Architecture Analysis and Design Language (AADL).
Prior to joining Adventium, Steve was a software fellow at Boston Scientific and a technical fellow at Honeywell Aerospace Labs. Google scholar lists ~60 publications with ~2300 citations.