sorted descending by Publication Date

Case Study: Model-Based Analysis of the Mission Data System Reference Architecture
(May 2010)
Authors: Peter H. Feiler, David P. Gluch, Kurt Woodham (L-3 Communications-Titan Group)

Results of SEI Independent Research and Development Projects (FY 2009)
(December 2009)
Authors: Len Bass, Paul C. Clements, Dionisio de Niz, Peter H. Feiler, Matthew Geiger, Jeffrey Hansen, Jörgen Hansson, Scott Hissam, James Ivers, Mark H. Klein, Karthik Lakshmanan, Gabriel Moreno, Daniel Plakosh, R. Rajkumar, Kristopher Rush, Cal Waits, Kurt C. Wallnau, Lutz Wrage

System Architecture Virtual Integration: An Industrial Case Study
(December 2009)
Authors: Peter H. Feiler, Jörgen Hansson, Dionisio de Niz, Lutz Wrage

Towards an Assurance Case Practice for Medical Devices
(October 2009)
Authors: Charles B. Weinstock, John B. Goodenough

ASSIP Study of Real-Time Safety-Critical Embedded Software-Intensive System Engineering Practices
(February 2008)
Authors: Peter H. Feiler, Dionisio de Niz

Flow Latency Analysis with the Architecture Analysis and Design Language (AADL)
(January 2008)
Authors: Peter H. Feiler, Jörgen Hansson

Dependability Modeling with the Architecture Analysis & Design Language (AADL)
(July 2007)
Authors: Peter H. Feiler, Ana Rugina

Modeling of System Families
(July 2007)
Author: Peter H. Feiler

Developing AADL Models for Control Systems: A Practitioner's Guide
(July 2007)
Authors: John J. Hudak, Peter H. Feiler

On System Scalability
(March 2006)
Authors: Charles B. Weinstock, John B. Goodenough

The Architecture Analysis & Design Language (AADL): An Introduction
(February 2006)
Authors: Peter H. Feiler, David P. Gluch, John J. Hudak

Embedded Systems Architecture Analysis Using SAE AADL
(June 2004)
Authors: Peter H. Feiler, David P. Gluch, John J. Hudak, Bruce Lewis (U.S. Army AMCOM)

Dependability Cases
(May 2004)
Authors: Charles B. Weinstock, John B. Goodenough, John J. Hudak

Real-Time Application Development with OSEK: A Review of the OSEK Standards
(November 2003)
Author: Peter H. Feiler

Model-Based Verification: Abstraction Guidelines
(October 2002)
Authors: John J. Hudak, Santiago Comella-Dorda, David P. Gluch, Grace Lewis, Charles B. Weinstock

Model-Based Verification: An Engineering Practice
(August 2002)
Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Julie A. Walker, Charles B. Weinstock, David Zubrow

Model-Based Verification: Guidelines for Generating Expected Properties
(January 2002)
Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Charles B. Weinstock

Model-Based Verification: Analysis Guidelines
(December 2001)
Authors: Grace Lewis, Santiago Comella-Dorda, David P. Gluch, John J. Hudak, Charles B. Weinstock

Framework Document: Model-Based Verification Pilot Study
(October 2001)
Authors: David P. Gluch, John J. Hudak, Robert Janousek, Julie A. Walker, Charles B. Weinstock, David Zubrow

Model-Based Verification: Scope, Formalism, and Perspective Guidelines
(October 2001)
Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Julie A. Walker, Charles B. Weinstock

Model-Based Verification: Claim Creation Guidelines
(October 2001)
Authors: Santiago Comella-Dorda, David P. Gluch, John J. Hudak, Grace Lewis, Charles B. Weinstock

Proceedings of the Real-Time Systems Engineering Workshop
(August 2001)
Authors: B. Craig Meyers, Peter H. Feiler, Theodore F. Marz

Real-Time Systems Engineering: Lessons Learned from Independent Technical Assessments
(June 2001)
Authors: Theodore F. Marz, Daniel Plakosh

Improving Predictability in Embedded Real-Time Systems
(December 2000)
Authors: Peter H. Feiler, Bruce Lewis (U.S. Army AMCOM), Steve Vestal (Honeywell Technology Center)

Simplex Architecture Performance and Cost
(October 2000)
Authors: Michael J. Gagliardi, Theodore F. Marz, Neal Altman, Julie A. Walker

Modeling the Space Shuttle Liquid Hydrogen Subsystem
(May 2000)
Author: Bemina Atanacio

Case Study: Development of a Baseline Controller for Automatic Landing of an F-16 Aircraft Using Linear Matrix Inequalities (LMIs)
(May 2000)
Authors: Danbing Seto, Enrique Ferriera, Theodore F. Marz

A Case Study on Analytical Analysis of the Inverted Pendulum Real-Time Control System
(November 1999)
Authors: Danbing Seto, Lui R. Sha

Simplex in a Hostile Communications Environment: The Coordinated Prototype
(August 1999)
Authors: Lui R. Sha, Danbing Seto, Neal Altman, Charles B. Weinstock, Lui R. Sha, Danbing Seto

Introduction to Software Engineering Practices Using Model-Based Verification, An
(April 1999)
Authors: David P. Gluch, Jared Brockway

Study of Practice Issues in Model-Based Verification Using the Symbolic Model Verifier (SMV), A
(November 1998)
Authors: David P. Gluch, Grama R. Srinivasan

Model-Based Verification: A Technology for Dependable System Upgrade
(September 1998)
Authors: David P. Gluch, Charles B. Weinstock

Mapping MetaH into ACME
(July 1998)
Authors: Mario R. Barbacci, Charles B. Weinstock

Assessment of CORBA and POSIX Designs for FAA En Route Resectorization
(April 1998)
Authors: B. Craig Meyers, Daniel Plakosh, Patrick R. Place, Mark H. Klein, Rick Kazman

Study in the Use of CORBA in Real-Time Settings: Model Problems for the Manufacturing Domain, A
(January 1998)
Authors: Daniel Plakosh, Kurt C. Wallnau, Andreas Polze (Humboldt University of Berlin)

Workshop on the State of the Practice in Dependably Upgrading Critical Systems
(August 1997)
Authors: David P. Gluch, Charles B. Weinstock

Perspective on the State of Research in Fault-Tolerant Systems, A
(July 1997)
Authors: Charles B. Weinstock, David P. Gluch

An Architectural Description of the Simplex Architecture
(March 1996)
Authors: Jose German Rivera, Alejandro Andres Danylyszyn, Charles B. Weinstock, Lui R. Sha, Michael J. Gagliardi

State of the Practice Report: Problems in the Practice of Performance Engineering
(February 1996)
Author: Mark H. Klein

Distributed System Design Using Generalized Rate Monotonic Theory
(September 1995)
Authors: Lui R. Sha, Shirishq S. Sathaye

OOD Paradigm for Flight Simulators (2nd Edition), An
(June 1995)
Authors: Kenneth Lee, Michael Rissman, Rich D'Ippolito, Chuck Plinta, Roger Van Scoy

Rate Monotonic Analysis for Real-Time Systems: Instructor's Guide
(April 1994)
Authors: Ruth Ravenel, Ray Obenza

A Taxonomy of Coordination Mechanisms Used in Real-Time Software Based on Domain Analysis
(December 1993)
Author: Jose L. Fernandez

Use of ASN.1 and XDR for Data Representation in Real-Time Distributed Systems, The
(October 1993)
Authors: B. Craig Meyers, Gary Chastek

Safety-Critical Software: Status Report and Annotated Bibliography
(June 1993)
Authors: Patrick R. Place, Kyo C. Kang (Pohang University of Science and Technology)

Distributed Real-Time System Design: Theoretical Concepts and Applications
(April 1993)
Authors: Lui R. Sha, Shirishq S. Sathaye

Formal Specification and Verification of Concurrent Programs
(February 1993)
Author: Dan Berry

ADA Validation Tests for Rate Monotonic Scheduling Algorithm
(February 1992)
Authors: Keith A. Kohout, Kent Meyer, John B. Goodenough

Conceptual Framework for System Fault Tolerance, A
(February 1992)
Authors: Walter Heimerdinger (Honeywell), Charles B. Weinstock

Design Specifications for ADAptive Real-Time Systems
(December 1991)
Author: Randall W. Lichota

Fault Tolerant Systems Practitioner's Workshop June 10-11, 1991
(October 1991)
Authors: Walter Heimerdinger (Honeywell), Charles B. Weinstock

Application-Level Implementation of the Sporadic Server, An
(September 1991)
Authors: Michael Gonzalez Harbour, Lui R. Sha

Issues in Real-Time Data Management
(July 1991)
Author: Mark H. Graham

Rate Monotonic Analysis for Real-Time Systems
(March 1991)
Authors: Lui R. Sha, Mark H. Klein, John B. Goodenough

Generic Avionics Software Specification
(December 1990)
Authors: Doug Locke, John B. Goodenough

Analysis of Input/Output Paradigms for Real-Time Systems, An
(July 1990)
Authors: Mark H. Klein, Tom Ralya

Experiences Porting the Distributed ADA Real-Time Kernel
(June 1990)
Authors: James E. Tomayko, Brian Smith

Hartstone Benchmark Results and Analysis
(June 1990)
Author: Patrick Donohoe

Implementing Sporadic Servers in ADA
(May 1990)
Authors: Brinkley Sprunt, Lui R. Sha

Comparative Evaluations of Four Specification Methods for Real-Time Systems
(December 1989)
Authors: David P. Wood, William G. Wood

Kernel Architecture Manual
(December 1989)
Author: Judy Bamberger

Real-Time Software Engineering in ADA: Observations and Guidelines
(September 1989)
Authors: Mark W. Borger, Mark H. Klein

Hartstone: Synthetic Benchmark Requirements for Hard Real-Time Applications
(June 1989)
Author: Nelson W. Weiderman

Real-Time Locking Protocol, A
(April 1989)
Authors: Lui R. Sha, Ragunathan Rajkumar, Sang Son, Chang Chun-Hyon

Real-Time Scheduling Theory and ADA
(April 1989)
Authors: Lui R. Sha, John B. Goodenough

Implementing Priority Inheritance Algorithms in an ADA Runtime System
(April 1989)
Authors: Mark W. Borger, Ragunathan Rajkumar

Scheduling Sporadic and Aperiodic Events in a Hard Real-Time System
(April 1989)
Authors: Brinkley Sprunt, Lui R. Sha

Performance and Reliability Enhancement of the Durra Runtime Environment
(February 1989)
Author: Charles B. Weinstock

Introduction to Software Verification and Validation
(December 1988)
Author: James Collofello

Formal Verification of Programs
(December 1988)
Authors: Alfs T. Berztiss (University of Pittsburgh), Mark A. Ardis (Stevens Institute of Technology)

Real-Time Scheduling Theory and ADA (1988)
(November 1988)
Authors: Lui R. Sha, John B. Goodenough

Mode Change Protocols for Priority-Driven Preemptive Scheduling
(November 1988)
Authors: Lui R. Sha, John B. Goodenough

Functional Performance Specification for an Inertial Navigation System
(October 1988)
Authors: Nelson W. Weiderman, B. Craig Meyers

Functional Performance Specification for an External Computer System Simulator
(October 1988)
Authors: Hans Mumm, B. Craig Meyers

A Practical Application of the Ceiling Protocol in a Real-Time System
(March 1988)
Authors: Doug Locke, John B. Goodenough

Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks, The
(March 1988)
Authors: John B. Goodenough, Lui R. Sha

ADA for Embedded Systems: Issues and Questions
(December 1987)
Authors: Nelson W. Weiderman, Mark W. Borger, Andrea L. Cappellini, Susan A. Dart, Mark H. Klein, Stefan F. Landherr

Survey of Real-Time Performance Benchmarks for the Ada Programming Language, A
(December 1987)
Author: Patrick Donohoe

Evolving Persistent Objects in a Distributed Environment
(December 1987)
Author: John Nestor

Prototype Real-Time Monitor: Executive Summary
(December 1987)
Authors: Roger Van Scoy, Chuck Plinta, Rich D'Ippolito, Kenneth Lee, Michael Rissman

Annual Technical Report for ADA Embedded Systems Testbed Project
(December 1987)
Authors: Nelson W. Weiderman, Neal Altman, Mark W. Borger, Patrick Donohoe, William E. Hefley, Mark H. Klein, Stefan F. Landherr, Hans Mumm, John A. Slusarz

ADA Performance Benchmarks on the Motorola MC68020: Summary and Results
(December 1987)
Author: Patrick Donohoe

VAXELN Experimentation: Programming a Real-Time Periodic Task Dispatcher Using VAXELN ADA 1.1
(November 1987)
Author: Mark W. Borger

Prototype Real-Time Monitor: Requirements
(November 1987)
Authors: Roger Van Scoy, Chuck Plinta, Rich D'Ippolito, Kenneth Lee, Michael Rissman

Prototype Real-Time Monitor: User's Manual
(November 1987)
Authors: Roger Van Scoy, Chuck Plinta, Timothy Coddington, Rich D'Ippolito, Kenneth Lee, Michael Rissman

Prototype Real-Time Monitor: Design
(November 1987)
Authors: Roger Van Scoy, Chuck Plinta, Rich D'Ippolito, Kenneth Lee, Michael Rissman

Prototype Real-Time Monitor: ADA Code
(November 1987)
Author: Roger Van Scoy

Criteria for Constructing and Using an ADA Embedded System Testbed
(November 1987)
Author: Nelson W. Weiderman

VAXELYN Experimentation: Programming a Real-Time Clock and Interrupt Handling Using VAXELYN ADA 1.1
(October 1987)
Author: Mark W. Borger

Specifying Functional and Timing Behavior for Real-Time Applications
(December 1986)
Authors: Mario R. Barbacci, J. Wing