Steve Vestal, Ph.D.
Dr. Vestal has over 20 years 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. He has experience with defense and civil avionics systems as well as medical devices, with previous work experience at Honeywell and Boston Scientific before joining Adventium. He has served as principle investigator or project manager on numerous R&D projects and has also served on conference program committees and defense and civil avionics standards, planning and review boards. He has over 40 publications in the area of real-time and safety-critical embedded computing.
Dr. Vestal led the development of MetaH, a language and toolset to integrate and automate embedded computer system architecture specification, modeling and analysis, and system integration and verification. MetaH was the basis for the SAE standard Architecture Analysis and Design Language (AADL). The toolset and middleware included capabilities for distributed real-time allocation and scheduling of tasks and messages; schedulability analysis to verify timing requirements; generation of Markov and fault tree safety models; time and space partitioning and verification; dynamic reconfiguration at run-time; and new hybrid automata model-checking algorithms used to verify automatically configured middleware. Subsequent work extended into capabilities for emerging defense and civil Integrated Modular Avionics (IMA) systems. This included work in multiplexing, routing, scheduling, policing, and analytic verification of worst-case latency and buffer usage for hard real-time safety-critical switched Ethernet; end-to-end scheduling in a distributed system where different resources used different scheduling paradigms; developing approaches for hard real-time scheduling of mixed criticality applications on multi-core processors; and a toolset architecture that allowed a mixture of in-house and COTS tools to be used together. This included experience with numerous civil avionics standards, such as SAE ARP 4761, DO-178B, ARINC 653 and ARINC 664.
In the course of these activities, Dr. Vestal has worked with meta-tooling and tool integration technologies and frameworks; databases, representations and transformations for design and development data; requirements and system engineering processes; and development and verification processes; for systems that must satisfy stringent safety, security, timing, and hardware resource constraints.