S. Vestal

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

Steve Vestal, Peter H. Feiler, Bruce A. Lewis, 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

Formal real-time architecture specification and analysis

Steve Vestal, Pam Binns, S. Vestal, 1993 .

CSL SWITCH: A MICROCOMPUTER-CONTROLLED MULTICOMPUTER FRONT-END.

Michael J. Fischer, Robert J. Fowler, Edward D. Lazowska, 1983 .

Programming and development environments for configurable computing systems

Stephen P. Crago, Brian Schott, John Shackleton, 2000, 2000 IEEE Aerospace Conference. Proceedings (Cat. No.00TH8484).

A Compositional Scheduling Framework for Digital Avionics Systems

Insup Lee, Steve Vestal, Oleg Sokolsky, 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

A Compositional Framework for Avionics (ARINC-653) Systems

Insup Lee, Steve Vestal, Oleg Sokolsky, 2009 .

Using an architecture description language for quantitative analysis of real-time systems

Steve Vestal, Robert Allen, Bruce A. Lewis, 2002, WOSP '02.

An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering

Steve Vestal, Peter H. Feiler, Bruce A. Lewis, 2004, IFIP-WADL.

The architecture of the Eden system

Michael J. Fischer, Robert J. Fowler, Henry M. Levy, 1981, SOSP.

A Framework for Compositional Timing Analysis of Embedded Computer Systems

Steve Vestal, Tyler Smith, John Shackleton, 2015, 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems.

Domain-Specific Software Architectures for Guidance, Navigation and Control

Steve Vestal, Mike Jackson, Pam Binns, 1996, Int. J. Softw. Eng. Knowl. Eng..

Joint Common Architecture (JCA) Demonstration Architecture Centric Virtual Integration Process (ACVIP) Shadow Effort

Steve Vestal, Peter H. Feiler, nbsp, 2015 .

The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering

Steve Vestal, Peter H. Feiler, Bruce Lewis, 2003 .

Modern Avionics Requirements for the Distributed Systems Annex

Steve Vestal, David J. McConnell, Bruce A. Lewis, 1998, Ada-Europe.

A Compositional Scheduling Framework for Digital Avionics Systems

O. Sokolsky, S. Vestal, A. Easwaran, 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

Domain-Specific Software Architectures for Guidance, Navigation and Control

S. Vestal, P. Binns, M. Englehart, 1996, Int. J. Softw. Eng. Knowl. Eng..