Steve Vestal

25 papers A 3B 3C 1Misc 2Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2015 — conf
A Framework for Compositional Timing Analysis of Embedded Computer Systems.
HPCC/CSS/ICESS
Rob Edman, Hazel Shackleton, John Shackleton, Tyler Smith, Steve Vestal
2009 B conf
A Compositional Scheduling Framework for Digital Avionics Systems.
RTCSA
Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal
2008 B conf
Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications.
ECRTS
Sanjoy K. Baruah, Steve Vestal
2007 A conf
Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance.
RTSS
Steve Vestal
2006 C conf
Formal Modeling and Analysis of the AFDX Frame Management Design.
ISORC
Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee
2005 A conf
Real-Time Sampled Signal Flows through Asynchronous Distributed Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Steve Vestal
2004 — conf
An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering.
IFIP-WADL
Peter H. Feiler, Bruce A. Lewis, Steve Vestal, Edward Colbert
2004 — conf
Hierarchical Composition and Abstraction in Architecture Models.
IFIP-WADL
Pam Binns, Steve Vestal
2002 — conf
Using an architecture description language for quantitative analysis of real-time systems.
Workshop on Software and Performance
Robert Allen, Steve Vestal, Dennis Cornhill, Bruce A. Lewis
2001 — conf
Applications of Model Checking at Honeywell Laboratories.
SPIN
Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal
2001 Misc conf
Formalizing Software Architectures for Embedded Systems.
EMSOFT
Pam Binns, Steve Vestal
2000 — conf
Developing Evolvable, Embedded, Time-Critical Systems with MetaH.
TOOLS (34)
Bruce A. Lewis, Edward Colbert, Steve Vestal
2000 J jnl
DoME.
ACM SIGSOFT Softw. Eng. Notes
Steve Vestal
2000 — conf
Formal Verification of the MetaH Executive Using Linear Hybrid Automata.
IEEE Real Time Technology and Applications Symposium
Steve Vestal
2000 J jnl
Incremental constraint engine.
ACM SIGSOFT Softw. Eng. Notes
Steve Vestal
2000 J jnl
MetaH.
ACM SIGSOFT Softw. Eng. Notes
Steve Vestal
1998 Misc conf
Modern Avionics Requirements for the Distributed Systems Annex.
Ada-Europe
Bruce A. Lewis, Steve Vestal, David J. McConnell
1997 — conf
Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95.
IRTAW
Steve Vestal, Laurent Guerby, Robert Dewar, David J. McConnell, Bruce A. Lewis
1996 J jnl
Domain-Specific Software Architectures for Guidance, Navigation and Control.
Int. J. Softw. Eng. Knowl. Eng.
Pam Binns, Matt Englehart, Mike Jackson, Steve Vestal
1995 B conf
Architecture specifications for complex real-time dependable systems.
ICECCS
Pam Binns, Steve Vestal
1994 J jnl
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models.
IEEE Trans. Software Eng.
Steve Vestal
1994 — conf
Mode changes in a real-time architecture description language.
CDS
Steve Vestal
1993 A conf
Scheduling and communication in MetaH.
RTSS
Steve Vestal, Pam Binns
1990 — conf
Linear benchmarks.
IRTAW
Steve Vestal
1990 — conf
On the accuracy of predicting rate monotonic scheduling performance.
TRI-Ada
Steve Vestal