David P. Gluch
Software Engineering Institute
Publications by David P. Gluch
-
Architecture-Led Safety Process
December 21, 2016 • Technical Report
Peter H. FeilerJulien DelangeDavid P. Gluch
Architecture-Led Safety Analysis (ALSA) is a safety analysis method that uses early architecture knowledge to supplement traditional safety analysis techniques to identify faults as early as possible.
read -
Analysis and Design of Safety-critical, Cyber-Physical Systems
October 07, 2016 • Conference Paper
John McGregorDavid P. GluchPeter H. Feiler
In this paper, the authors focus on the architecture-led development process and illustrate the support given by ALISA.
read -
Architecture Fault Modeling and Analysis with the Error Model Annex, Version 2
June 22, 2016 • Technical Report
Peter H. FeilerJohn J. HudakJulien Delange
This report describes the Error Model Annex, Version 2 (EMV2), notation for architecture fault modeling, which supports safety, reliability, and security analyses.
read -
AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment
October 10, 2014 • Technical Report
Julien DelangePeter H. FeilerDavid P. Gluch
This report describes how the Architecture Analysis and Design Language (AADL) Error Model Annex supports the safety-assessment methods in SAE Standard ARP4761.
read -
Results of SEI Line-Funded Exploratory New Starts Projects: FY 2012
July 01, 2013 • Technical Report
Bjorn AnderssonLori FlynnDavid P. Gluch
This report describes line-funded exploratory new starts (LENS) projects that were conducted during fiscal year 2012 (October 2011 through September 2012).
read -
Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language
September 25, 2012 • Book
Peter H. FeilerDavid P. Gluch
Model-Based Engineering with AADL introduces an architecture-centric approach to discovering software systems problems earlier, when they cost less to solve.
read -
Model-Based Software Quality Assurance with the Architecture Analysis and Design Language
June 14, 2012 • Conference Paper
Peter H. FeilerDavid P. GluchKurt Woodham (L-3 Communications)
This paper describes the results of applying a model-based software quality assurance practice framework using the AADL to JPL's Mission Data System reference architecture.
read -
A Virtual Upgrade Validation Method for Software-Reliant Systems
June 01, 2012 • Technical Report
Dionisio de NizPeter H. FeilerDavid P. Gluch
This report 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.
read -
Results of SEI Independent Research and Development Projects (FY 2010)
February 01, 2011 • Technical Report
William AndersonDavid FisherDavid P. Gluch
This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.
read -
Case Study: Model-Based Analysis of the Mission Data System Reference Architecture
May 01, 2010 • Technical Report
Peter H. FeilerDavid P. GluchKurt 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.
read -
The Architecture Analysis & Design Language (AADL): An Introduction
February 01, 2006 • Technical Note
Peter H. FeilerDavid P. GluchJohn 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.
read -
Embedded Systems Architecture Analysis Using SAE AADL
June 01, 2004 • Technical Note
Peter H. FeilerDavid P. GluchJohn J. Hudak
This 2004 report discusses the role and benefits of using the AADL in the process of analyzing an existing avionics system.
read -
Model-Based Verification: Abstraction Guidelines
October 01, 2002 • Technical Note
John J. HudakSantiago Comella-DordaDavid P. Gluch
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.
read -
Model-Based Verification: An Engineering Practice
August 01, 2002 • Technical Report
David P. GluchSantiago Comella-DordaJohn J. Hudak
This 2002 report summarizes MBV and outlines the responsibilities of engineers engaged in Model-Based Verification.
read -
Model-Based Verification: Guidelines for Generating Expected Properties
January 01, 2002 • Technical Note
David P. GluchSantiago Comella-DordaJohn J. Hudak
This report presents a basic set of guidelines to facilitate the generation of expected properties in the context of Model-Based Verification.
read -
Model-Based Verification: Analysis Guidelines
December 01, 2001 • Technical Note
Grace LewisSantiago Comella-DordaDavid P. Gluch
This technical note provides guidance for the analysis activity that occurs during the interpretation of results produced by model-checking tools.
read -
Framework Document: Model-Based Verification Pilot Study
October 01, 2001 • Special Report
David P. GluchJohn J. HudakRobert Janousek
This 2001 document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of MBV.
read -
Model-Based Verification: Claim Creation Guidelines
October 01, 2001 • Technical Note
Santiago Comella-DordaDavid P. GluchJohn J. Hudak
This 2001 report describes a pattern-based approach to facilitate claim generation.
read -
Model-Based Verification: Scope, Formalism, and Perspective Guidelines
October 01, 2001 • Technical Note
David P. GluchSantiago Comella-DordaJohn J. Hudak
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.
read -
An Introduction to Software Engineering Practices Using Model-Based Verification
April 01, 1999 • Technical Report
David P. GluchJared Brockway
This is an introductory report on the use of model-based verification techniques within software development and upgrade practices.
read -
A Study of Practice Issues in Model-Based Verification Using the Symbolic Model Verifier (SMV)
November 01, 1998 • Technical Report
David P. GluchGrama 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.
read -
Model-Based Verification: A Technology for Dependable Upgrade
September 01, 1998 • Technical Report
David P. GluchCharles B. Weinstock
This 1998 report outlines the technological foundations of model-based verification for engineering software system upgrades.
read -
Workshop on the State of the Practice in Dependably Upgrading Critical Systems
August 01, 1997 • Special Report
David P. GluchCharles 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.
read -
A Perspective on the State of Research in Fault-Tolerant Systems
July 01, 1997 • Special Report
Charles B. WeinstockDavid 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.
read -
A Collaboration in Implementing Team Risk Management
March 01, 1996 • Technical Report
David P. GluchAudrey J. DorofeeE. Hubbard
This report presents results of a collaborative development effort to transition the Software Engineering Institute (SEI) team risk management process into practice.
read -
An Experiment in Software Development Risk Information Analysis
October 01, 1995 • Technical Report
David P. GluchIra 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.
read -
A Construct for Describing Software Development Risks
July 01, 1994 • Technical Report
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.
read -
An Introduction to Team Risk Management (Version 1.0)
May 01, 1994 • Special Report
Ron HigueraDavid P. GluchAudrey J. Dorofee
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.
read