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

Digital Library

David P. Gluch
December 2016 - Technical Report Architecture-Led Safety Process

Topics: Software Architecture

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.

October 2016 - Conference Paper Analysis and Design of Safety-critical, Cyber-Physical Systems

Topics: Software Architecture

In this paper, the authors focus on the architecture-led development process and illustrate the support given by ALISA.

June 2016 - Technical Report Architecture Fault Modeling and Analysis with the Error Model Annex, Version 2

Topics: Software Architecture

This report describes the Error Model Annex, Version 2 (EMV2), notation for architecture fault modeling, which supports safety, reliability, and security analyses.

October 2014 - Technical Report AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment

Topics: Software Architecture

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

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

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.

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

Topics: Performance and Dependability, Software Architecture

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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.