Concepedia

Steve Vestal

SV

22

Publications

1.5K

Citations

15

H-Index

1987

Active since

Affiliations

Honeywell (United States)(Current)

United States Department of the Army

United States Army

U.S. Army Aviation and Missile Command

University of Pennsylvania

Steve Vestal is an author at Honeywell (United States) specializing in engineering, computer engineering, and systems engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringComputer ScienceSystem SoftwareReal-time SystemsComputer ArchitectureSoftware EngineeringFormal MethodsProgram Analysis

Publications per year

1987–2009

22

Publications

22

Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance

Steve Vestal · 2007 · 519 citations

Engineering, Execution Time Assurance, Formal Verification +21

The SAE Architecture Analysis &#x00026; Design Language (AADL) a standard for engineering performance critical systems

Peter H. Feiler, Bruce Lewis, Steve Vestal · 2006 · 148 citations

Engineering, Computer Architecture, Software Engineering +18

Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications

Sanjoy Baruah, Steve Vestal · 2008 · 147 citations

Engineering, Computer Architecture, Preemptive Uniprocessor Platforms +17

DOMAIN-SPECIFIC SOFTWARE ARCHITECTURES FOR GUIDANCE, NAVIGATION AND CONTROL

Pam Binns, Matt Englehart, Mike Jackson et al. · International Journal of Software Engineering and Knowledge Engineering · 1996 · 113 citations

Engineering, Computer Architecture, Software Engineering +22

Fixed-priority sensitivity analysis for linear compute time models

Steve Vestal · IEEE Transactions on Software Engineering · 1994 · 86 citations

Mathematical Programming, Engineering, Sensitive Schedule Feasibility +30

Rows per page

1–5 of 22