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

John J. Hudak
December 2016 - White Paper Cyber-Physical Systems

Topics: Cyber-Physical Systems

Authors: Björn Anderson, Sagar Chaki, Dionisio de Niz, Jeffrey Hansen, Scott Hissam, John J. Hudak, Mark H. Klein, David Kyle, Gabriel Moreno

Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.

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

Topics: Software Architecture

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

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

December 2015 - Special Report Potential System Integration Issues in the Joint Multi-Role (JMR) Joint Common Architecture (JCA) Demonstration System

Topics: Software Architecture

Authors: Peter H. Feiler, John J. Hudak

This report describes a method for capturing information from requirements documents in AADL to identify potential integration problems early in system development.

December 2015 - Technical Report Extending AADL for Security Design Assurance of Cyber-Physical Systems

Topics: Cyber-Physical Systems

Authors: Robert J. Ellison, Allen D. Householder, John J. Hudak, Rick Kazman, Carol Woody

This report demonstrates the viability and limitations of using the Architecture Analysis and Design Language (AADL) through an extended example that allows for specifying and analyzing the security properties of an automotive electronics system.

December 2015 - Technical Report Evaluating and Mitigating the Impact of Complexity in Software Models

Topics: Software Architecture

Authors: Julien Delange, Jim McHale, John J. Hudak, William Nichols, Min-Young Nam

This report defines software complexity, metrics for complexity, and the effects of complexity on cost and presents an analysis tool to measure complexity in models.

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.

June 2013 - Technical Note Isolating Patterns of Failure in Department of Defense Acquisition

Topics: Acquisition Support

Authors: Lisa Brownsword, Christopher J. Alberts, David J. Carney, Patrick R. Place, Charles (Bud) Hammons, John J. Hudak

This report documents an investigation into issues related to aligning acquisition strategies with business and mission goals.

July 2008 - Technical Report Results of SEI Independent Research and Development Projects (FY 2007)

Topics: Acquisition Support, Software Architecture

Authors: Len Bass, Lui R. Sha, Dennis B. Smith, Kurt C. Wallnau, Jörgen Hansson (University of Skovde), John J. Hudak, Dionisio de Niz, Peter H. Feiler, Donald Firesmith, Mark H. Klein, Kostas Kontogiannis, Grace Lewis, Marin Litoiu (IBM Canada Ltd.), Stefan Schuster

This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2007 (October 2006 through September 2007).

July 2007 - Technical Report Developing AADL Models for Control Systems: A Practitioner's Guide

Topics: Performance and Dependability, Software Architecture

Authors: John J. Hudak, Peter H. Feiler

This 2007 document helps practitioners use AADL and describes an approach for and the mechanics of constructing an architectural model that can be analyzed based on the AADL.

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.

December 2005 - Technical Report Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)

Authors: Rosann W. Collins, Rick Kazman, Richard C. Linger (Oak Ridge National Laboratory), Mark Pleszkoch, Stacy J. Prowell, Natasha Sharygina, Kurt C. Wallnau, Gwendolyn H. Walton, Charles B. Weinstock, Lutz Wrage, Sagar Chaki, Peter H. Feiler, John B. Goodenough, Aaron Greenhouse, Jörgen Hansson (University of Skovde), Alan R. Hevner (University of South Florida), John J. Hudak, Angel Jordan

This report describes the IR&D projects that were conducted during fiscal year 2005 (October 2004 through September 2005). In addition, this report provides information on what the SEI has learned in its role as a technology scout for developments over the past year in the field of software engineering.

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.

May 2004 - Technical Note Dependability Cases

Topics: Performance and Dependability, Software Assurance

Authors: Charles B. Weinstock, John B. Goodenough, John J. Hudak

In this 2004 report, the authors explain how to create a dependability case for a system that helps identify and keep track of details of large systems.

September 2003 - Technical Report Predictable Assembly of Substation Automation Systems: An Experiment Report, Second Edition

Authors: Scott Hissam, Kurt C. Wallnau, William G. Wood, John J. Hudak, James Ivers, Mark H. Klein, Magnus Larsson, Gabriel Moreno, Linda M. Northrop, Daniel Plakosh, Judith A. Stafford

This 2003 report describes the results of an exploratory PECT prototype for substation automation, an application area in the domain of power generation, transmission, and management.

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.