Publications by Year

2018

Basswood: BALSA in Real-time
Tyler D. Smith, Robert Edman, Joe Seibel
AADL Annex for the FACE™ Technical Standard, Edition 3.0
Tyler D. Smith, Rob Edman

2017

Architecture Modeling and Analysis for Safety Engineering
Danielle Stewart, Ph.D., Michael Whalen, Darren Cofer, Mats Heimdahl

2015

A Framework for Compositional Timing Analysis of Embedded Computer Systems
Rob Edman, Hazel Shackleton, John Shackleton, Tyler D. Smith, Steve Vestal, Ph.D.

2009

A Compositional Scheduling Framework for Digital Avionics Systems
Arvind Easwarin, Insup Lee, Oleg Sokolsky, Steve Vestal, Ph.D.

2008

Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications
Sanjoy Baruah, Steve Vestal, Ph.D.

2007

Preemptive Scheduling of Multi-Criticality Systems with Varying Degrees of Execution Time Assurance
Steve Vestal, Ph.D.

2006

Formal Modeling and Analysis of the AFDX Frame Management Design
Madhukar Anand, Steve Vestal, Ph.D., Samar Dajani-Brown, Insup Lee

2005

Real-Time Sampled Signal Flows through Asynchronous Distributed Systems
Steve Vestal, Ph.D.

2004

NASA Planning and Scheduling Applications: Emerging Technologies and Mission Trends
Mark Boddy, Ph.D., Bonnie Bennett, Brian Isle, Rainer Isle