Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

David P. Gluch
October 2014 - Technical Report AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment

Topics: Software Architecture

Authors: Julien Delange, Peter H. Feiler, David P. Gluch, John J. Hudak

This report describes how the Architecture Analysis and Design Language (AADL) Error Model Annex supports the safety-assessment methods in SAE Standard ARP4761.

September 2012 - Book Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language

Topics: Software Architecture

Authors: Peter H. Feiler, David P. Gluch

Model-Based Engineering with AADL introduces an architecture-centric approach to discovering software systems problems earlier, when they cost less to solve.

June 2012 - Technical Report A Virtual Upgrade Validation Method for Software-Reliant Systems

Topics: Software Architecture

Authors: Dionisio de Niz, Peter H. Feiler, David P. Gluch, Lutz Wrage

Presents the Virtual Upgrade Validation (VUV) method, an approach that uses architecture-centric, model-based analysis to identify system-level problems early in the upgrade process to complement established test qualification techniques.

May 2010 - Technical Report Case Study: Model-Based Analysis of the Mission Data System Reference Architecture

Topics: Performance and Dependability, Software Architecture

Authors: Peter H. Feiler, David P. Gluch, Kurt Woodham (L-3 Communications-Titan Group)

This report describes how AADL support an instantiation of a reference architecture, address architectural themes, and provide a foundation for the analysis of performance elements and system assurance concerns.

February 2006 - Technical Note The Architecture Analysis & Design Language (AADL): An Introduction

Topics: Performance and Dependability, Software Architecture

Authors: Peter H. Feiler, David P. Gluch, John J. Hudak

This 2006 report provides an introduction to the AADL, a modeling language that supports early and repeated analyses of a system's architecture with respect to performance-critical properties.

June 2004 - Technical Note Embedded Systems Architecture Analysis Using SAE AADL

Topics: Performance and Dependability, Software Architecture

Authors: Peter H. Feiler, David P. Gluch, John J. Hudak, Bruce Lewis (U.S. Army AMCOM)

This 2004 report discusses the role and benefits of using the AADL in the process of analyzing an existing avionics system.

October 2002 - Technical Note Model-Based Verification: Abstraction Guidelines

Topics: Performance and Dependability

Authors: John J. Hudak, Santiago Comella-Dorda, David P. Gluch, Grace Lewis, Charles B. Weinstock

This 2002 report presents abstraction techniques that can be used to build essential models of system behavior in the context of MBV and details a methodology for creating state machine models using those techniques.

August 2002 - Technical Report Model-Based Verification: An Engineering Practice

Topics: Performance and Dependability

Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Julie A. Walker, Charles B. Weinstock, David Zubrow

This 2002 report summarizes MBV and outlines the responsibilities of engineers engaged in Model-Based Verification.

January 2002 - Technical Note Model-Based Verification: Guidelines for Generating Expected Properties

Topics: Performance and Dependability

Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Charles B. Weinstock

This report presents a basic set of guidelines to facilitate the generation of expected properties in the context of Model-Based Verification.

December 2001 - Technical Note Model-Based Verification: Analysis Guidelines

Topics: Performance and Dependability

Authors: Grace Lewis, Santiago Comella-Dorda, David P. Gluch, John J. Hudak, Charles B. Weinstock

This technical note provides guidance for the analysis activity that occurs during the interpretation of results produced by model-checking tools.

October 2001 - Special Report Framework Document: Model-Based Verification Pilot Study

Topics: Performance and Dependability

Authors: David P. Gluch, John J. Hudak, Robert Janousek, Julie A. Walker, Charles B. Weinstock, David Zubrow

This 2001 document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of MBV.

October 2001 - Technical Note Model-Based Verification: Claim Creation Guidelines

Topics: Performance and Dependability

Authors: Santiago Comella-Dorda, David P. Gluch, John J. Hudak, Grace Lewis, Charles B. Weinstock

This 2001 report describes a pattern-based approach to facilitate claim generation.

October 2001 - Technical Note Model-Based Verification: Scope, Formalism, and Perspective Guidelines

Topics: Performance and Dependability

Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Julie A. Walker, Charles B. Weinstock

This report provides guidance for defining the scope, formalism, and perspective for applying MBV, a systematic approach to finding defects in software requirements, designs, or code.

April 1999 - Technical Report An Introduction to Software Engineering Practices Using Model-Based Verification

Topics: Performance and Dependability

Authors: David P. Gluch, Jared Brockway

This is an introductory report on the use of model-based verification techniques within software development and upgrade practices.

November 1998 - Technical Report A Study of Practice Issues in Model-Based Verification Using the Symbolic Model Verifier (SMV)

Topics: Performance and Dependability

Authors: David P. Gluch, Grama R. Srinivasan

This report presents the results of a study on the practice issues involved in using the Symbolic Model Verifier (SMV) for model checking software systems.

September 1998 - Technical Report Model-Based Verification: A Technology for Dependable Upgrade

Topics: Performance and Dependability

Authors: David P. Gluch, Charles B. Weinstock

This 1998 report outlines the technological foundations of model-based verification for engineering software system upgrades.

August 1997 - Special Report Workshop on the State of the Practice in Dependably Upgrading Critical Systems

Topics: Performance and Dependability

Authors: David P. Gluch, Charles B. Weinstock

This report describes the results of the Workshop on the State of the Practice in Dependably Upgrading Critical Systems held April 16-17, 1997 at the Software Engineering Institute.

July 1997 - Special Report A Perspective on the State of Research in Fault-Tolerant Systems

Topics: Performance and Dependability

Authors: Charles B. Weinstock, David P. Gluch

This 1997 report presents a perspective on research in fault tolerance as it relates to dependability in software-based systems and attempts to describe the current state of, and outline future directions for, this broad research field.

March 1996 - Technical Report A Collaboration in Implementing Team Risk Management

Authors: David P. Gluch, Audrey J. Dorofee, E. Hubbard, J. Travalent

This report presents results of a collaborative development effort to transition the Software Engineering Institute (SEI) team risk management process into practice.

October 1995 - Technical Report An Experiment in Software Development Risk Information Analysis

Authors: David P. Gluch, Ira Monarch

This report summarizes the results of an experiment that uses terminological structures derived from the application of K-SAV technology to textual data from the SERR resident at the SEI.

July 1994 - Technical Report A Construct for Describing Software Development Risks

Authors: David P. Gluch

This 1994 report establishes a representation of software risk wherein the risks associated with software-dependent development programs are defined as distinct, manageable risk entities.

May 1994 - Special Report An Introduction to Team Risk Management (Version 1.0)

Authors: Ron Higuera, David P. Gluch, Audrey J. Dorofee, Richard L. Murphy, Julie A. Walker, Ray C. Williams

This 1994 report defines the organizational structure and operational activities for managing risks throughout all phases of the life-cycle of a software-dependent development program.