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

Mark H. Klein
January 2017 - Book Cyber-Physical Systems

Topics: Cyber-Physical Systems

Authors: Ragunathan (Raj) Rajkumar, Dionisio de Niz, Mark H. Klein

This book addresses Cyber-Physical Systems (CPS) challenges and innovations, it describes the foundations that underlie CPS, and offers guiding principles for all levels.

December 2016 - White Paper Ultra-Large-Scale Systems: Socio-adaptive Systems

Topics: Ultra-Large-Scale Systems

Authors: Scott Hissam, Mark H. Klein, Gabriel Moreno, Linda M. Northrop, Lutz Wrage

Ultra-large-scale systems are interdependent webs of software, people, policies, and economics. In socio-adaptive systems, human and software interact as peers.

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.

November 2015 - Presentation Engineering High-Assurance Software for Distributed Adaptive Real-Time Systems

Authors: Mark H. Klein, Sagar Chaki, Dionisio de Niz

This presentation describes an evidence-based approach for producing high-assurance DART software involving multiple layers of the CPS stack.

April 2014 - Conference Paper Bounding Memory Interference Delay in COTS-Based Multicore Systems

Authors: Hyoseung Kim (Carnegie Mellon University), Dionisio de Niz, Bjorn Andersson, Mark H. Klein, Onur Mutlu, Ragunathan Rajkumar

This conference paper was presented at the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2014).

June 2013 - Special Report Socio-Adaptive Systems Challenge Problems Workshop Report

Topics: Ultra-Large-Scale Systems

Authors: Scott Hissam, Mark H. Klein, Timothy Morrow

This report presents a summary of the findings of the Socio-Adaptive Systems Challenge Problem Workshop, held in Pittsburgh, PA, on April 12-13, 2012.

May 2010 - Presentation Architecture Certification Panel: SATURN 2010

Authors: Mark H. Klein

Mark H. Klein of the Software Engineering Institute (SEI) explores the state of practice in architecture certification in this SATURN 2010 workshop panel.

March 2010 - Presentation Overview of Distributed Constraint Satisfaction and Optimization

Topics: Ultra-Large-Scale Systems

Authors: Andres Diaz-Pace, Joseph Giampapa, John B. Goodenough, Mark H. Klein

This presentation describes problem-solving algorithms and presents Distributed Constraint Optimization Problems (D-COP) algorithms as a "toolbox" for agent-based modeling.

April 2009 - Presentation The Impact of Conducting ATAM Evaluations on Army Programs (SATURN 2009)

Authors: John K. Bergey, Stephen Blanchette, Jr., Mark H. Klein, Robert Nord

This presentation describes the results of a study of the impact of software architecture practices conducted with Army programs.

April 2009 - Special Report Impact of Army Architecture Evaluations

Topics: Software Architecture

Authors: Robert Nord, John K. Bergey, Stephen Blanchette, Jr., Mark H. Klein

This 2009 report describes the results of a study of the impact that the ATAM evaluations and QAWs had on Army programs.

April 2009 - Technical Note A Workshop on Architecture Competence

Topics: Software Architecture

Authors: Len Bass, Paul C. Clements, Rick Kazman, John Klein, Mark H. Klein, Jeannine Siviy

This report summarizes a June 2008 architecture competence workshop where practitioners discussed key issues in assessing architecture competence in organizations.

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

Authors: Dionisio de Niz, Gabriel Moreno, Robert Nord, Ipek Ozkaya, Daniel Plakosh, Ragunathan Rajkumar, Lui R. Sha, Robert W. Stoddard, Kurt C. Wallnau, Charles B. Weinstock, Lutz Wrage, Sherman Eagles, Peter H. Feiler, John B. Goodenough, Jörgen Hansson, Paul Jones, Rick Kazman, Mark H. Klein, Insup Lee

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

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).

April 2008 - Presentation Software Architecture Technology Initiative (SATURN 2008)

Authors: Mark H. Klein

Presented at SATURN 2008, April-May 2008.

April 2008 - Presentation Welcome to the Fourth SEI Software Architecture Technology User Network Workshop

Authors: Mark H. Klein

welcome presentation given at SATURN 2008, which took place in Pittsburgh, PA on April 28-May 1, 2008.

March 2008 - Presentation Architecture for Ultra-Large- Scale (ULS) Systems

Topics: Ultra-Large-Scale Systems

Authors: Mark H. Klein

In this March 2008 presentation, Mark H. Klein of the Software Engineering Institute (SEI) discusses the architecture of ultra-large-scale (ULS) systems.

March 2008 - Technical Report Models for Evaluating and Improving Architecture Competence

Topics: Software Architecture

Authors: Len Bass, Paul C. Clements, Rick Kazman, Mark H. Klein

This report outlines the concepts of software architecture competence and describes four models for explaining, measuring, and improving the architecture competence of an individual or a software-producing organization.

January 2008 - Technical Report Using the Vickrey-Clarke-Groves Auction Mechanism for Enhanced Bandwidth Allocation in Tactical Data Networks

Topics: Ultra-Large-Scale Systems

Authors: Mark H. Klein, Daniel Plakosh, Kurt C. Wallnau

This report describes an investigation of the potential for using computational mechanisms to improve the quality of a combat group's common operating picture, in a setting where network bandwidth is scarce.

September 2007 - Technical Note Using ArchE in the Classroom: One Experience

Topics: Acquisition Support, Software Architecture

Authors: John McGregor, Felix Bachmann, Len Bass, Philip Bianco, Mark H. Klein

The ArchE (Architecture Expert) tool serves as a software architecture design assistant. This report describes the use of a pre-alpha release of ArchE in a graduate-level software architecture class at Clemson University.

May 2007 - Presentation Software Architecture Technology Initiative (SATURN 2007)

Topics: Software Architecture

Authors: Mark H. Klein

Presentation made by Mark Klein at the Third Annual SATURN Workshop, May 2007.

May 2007 - Technical Report Quality-Attribute-Based Economic Valuation of Architectural Patterns

Topics: Software Architecture

Authors: Ipek Ozkaya, Rick Kazman, Mark H. Klein

This report shows how an analysis of the options embodied within architectural patterns allows a software and system architect or manager to make reasoned choices about the future value of design decisions.

April 2006 - Presentation Future Directions of the Software Architecture Technology Initiative

Authors: Mark H. Klein

This presentation on the future directions of the Software Architecture Technology (SAT) Initiative was delivered by Mark Klein of the Software Engineering Institute (SEI) at the second annual SATURN workshop, held in April 2006.

April 2006 - Presentation SEI Future Directions in SEI Software Architecture Technology (SAT) Initiative (SATURN 2006)

Authors: Mark H. Klein

Mark H. Klein (SEI) briefly reviews the state of the Software Architecture Technology (SAT) initiative and outlines future research directions in this SATURN 2006 presentation.

April 2006 - Technical Note Autonomic Computing

Topics: Software Architecture

Authors: Hausi A. Muller (University of Victoria), Mark H. Klein, William G. Wood, William O'Brien

This report examines selected aspects of autonomic computing and explores some of the strengths and weaknesses of that technology.

July 2005 - Technical Report Reasoning Frameworks

Topics: Software Architecture

Authors: Len Bass, James Ivers, Mark H. Klein, Paulo Merson

This report describes a vehicle for encapsulating the quality attribute knowledge needed to understand a system's quality behavior as a reasoning framework that can be used by nonexperts.

April 2005 - Presentation Architecture Design Expert (SATURN 2005)

Authors: Felix Bachmann, Mark H. Klein

Felix Bachmann and Mark Klein (SEI) discuss how to design software architecture that meets software requirements using ArchE, a tool design to aid an architect during the design process.

April 2005 - Presentation Methodical Design of Software Architecture Using an Architecture Design Assistant (ArchE)

Topics: Software Architecture

Authors: Felix Bachmann, Mark H. Klein

This presentation – on methodically designing software architecture using ArchE, an architecture design assistant – was presented by Felix Bachmann and Mark H. Klein in 2005.

September 2004 - Technical Note Security and Survivability Reasoning Frameworks and Architectural Design Tactics

Topics: Cybersecurity Engineering, Software Architecture

Authors: Robert J. Ellison, Andrew P. Moore, Len Bass, Mark H. Klein, Felix Bachmann

In this report, the authors describe an approach to disciplined software architecture design for the related quality attributes of security and survivability.

September 2004 - Technical Report Performance Property Theories for Predictable Assembly from Certifiable Components (PACC)

Authors: Scott Hissam, Mark H. Klein, Paulo Merson, Gabriel Moreno, Kurt C. Wallnau, J. Lehoczky

This report develops a queueing-theoretic solution to predict, for a real-time system, the average-case latency of aperiodic tasks managed by a sporadic server.

July 2004 - Technical Note A Model Problem for an Open Robotics Controller

Authors: Scott Hissam, Mark H. Klein

This report describes the model problem created to support the continued enhancement and development of the PECT reasoning frameworks for an industrial trial in the domain of industrial robotics.

December 2003 - Technical Note Integrating the Architecture Tradeoff Analysis Method (ATAM) with the Cost Benefit Analysis Method (CBAM)

Topics: Software Architecture

Authors: Robert Nord, Mario R. Barbacci, Paul C. Clements, Rick Kazman, Mark H. Klein, Liam O'Brien, James E. Tomayko

This technical note reports on a proposal to integrate the SEI ATAM (Architecture Tradeoff Analysis Method) and the CBAM (Cost Benefit Analysis Method).

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.

September 2003 - Technical Note A Life-Cycle View of Architecture Analysis and Design Methods

Topics: Software Architecture

Authors: Rick Kazman, Robert Nord, Mark H. Klein

This report examines the architecture-centric analysis and design methods that were created at the SEI between 1993 and 2003.

September 2003 - Technical Report SEI Independent Research and Development Projects (FY 2003)

Authors: Felix Bachmann, Sven Dietrich, Peter H. Feiler, Suzanne Garcia-Miller, Mark H. Klein, Edwin J. Morris, Patrick R. Place, Daniel Plakosh, Robert C. Seacord, Anthony J. Lattanze, B. Craig Meyers, John McHugh, Len Bass, David J. Carney

This report describes the IR&D projects that were conducted during fiscal year 2003 (October 2002 through September 2003).

September 2003 - Technical Report Preliminary Design of ArchE: A Software Architecture Design Assistant

Topics: Software Architecture

Authors: Felix Bachmann, Len Bass, Mark H. Klein

This 2003 report presents a procedure for moving from a set of quality attribute scenarios to an architecture design that satisfies those scenarios.

March 2003 - Technical Report Deriving Architectural Tactics: A Step Toward Methodical Architectural Design

Topics: Software Architecture

Authors: Felix Bachmann, Len Bass, Mark H. Klein

This 2003 technical report provides the status on the work being done by the SEI to understand the relationship between quality requirements and architectural design.

January 2003 - White Paper Quantifying the Value of Architecture Design Decisions: Lessons from the Field

Topics: Software Architecture

Authors: Jai Asundi, Rick Kazman, Mark H. Klein, Mike Moore (NASA Goddard Space Flight Center)

This paper outlines experiences with using economic criteria to make architecture design decisions.

September 2002 - Technical Report Making Architecture Design Decisions: An Economic Approach

Topics: Software Architecture

Authors: Rick Kazman, Jai Asundi, Mark H. Klein

This report describes the improvements to the CBAM (Cost Benefit Analysis Method) and provides a pilot case study conducted with NASA.

August 2002 - Technical Report Illuminating the Fundamental Contributors to Software Architecture Quality

Topics: Software Architecture

Authors: Felix Bachmann, Len Bass, Mark H. Klein

This 2002 report presents the basic concepts of analysis models for two quality attributes-modifiability and performance, identifies a collection of tactics that can be used to control responses within those models, and discusses how to analyze the models in terms of these tactics.

December 2001 - Technical Report Using Economic Considerations to Choose Among Architecture Design Alternatives

Topics: Software Architecture

Authors: Jai Asundi, Rick Kazman, Mark H. Klein

The SEI developed the CBAM (Cost Benefit Analysis Method), which incorporates the costs and benefits of architectural design decisions and provides an effective means of making such decisions. This paper reports on the application of this method to a real world case study.

October 2001 - Book Evaluating Software Architectures: Methods and Case Studies

Topics: Software Architecture

Authors: Paul C. Clements, Rick Kazman, Mark H. Klein

This book is a comprehensive guide to software architecture evaluation, describing specific methods that can quickly and inexpensively mitigate enormous risk in software projects.

October 2001 - White Paper Quality Attribute Design Primitives and the Attribute Driven Design Method

Topics: Software Product Lines

Authors: Felix Bachmann, Len Bass, Mark H. Klein

This paper discusses the understanding of quality attributes and their application to the design of a software architecture.

October 2001 - Technical Note Analyzing Enterprise JavaBeans Systems Using Quality Attribute Design Primitives

Topics: Software Architecture

Authors: Anna Liu, Len Bass, Mark H. Klein

This report introduces the notion of quality attribute design primitives, which are architectural building blocks that target the achievement of one or sometimes several quality attribute requirements.

October 2001 - Technical Report Applicability of General Scenarios to the Architecture Tradeoff Analysis Method

Topics: Software Architecture

Authors: Len Bass, Mark H. Klein, Gabriel Moreno

In this report, we compare the scenarios elicited from five ATAM (Architecture Tradeoff Analysis Method) evaluations with the scenarios used to characterize the quality attributes.

December 2000 - Technical Note Quality Attribute Design Primitives

Topics: Software Architecture

Authors: Len Bass, Mark H. Klein, Felix Bachmann

This report addresses mechanisms that significantly affect quality attribute behavior and have sufficient content for analysis.

October 2000 - Special Report An Application of the Architecture-Based Design Method to the Electronic House

Topics: Software Architecture

Authors: Felix Bachmann, Len Bass, Mark H. Klein

This report elaborates an example of the application of the ABD (Architecture-Based Design) method to designing software architecture.

August 2000 - Technical Report ATAM: Method for Architecture Evaluation

Topics: Software Architecture

Authors: Rick Kazman, Mark H. Klein, Paul C. Clements

This report presents technical and organizational foundations for performing architectural analysis, and presents the SEI's ATAM, a technique for analyzing software architectures.

October 1999 - Technical Report Attribute-Based Architectural Styles

Topics: Software Architecture

Authors: Mark H. Klein, Rick Kazman

This report establishes a common format for documenting ABASs in the hope that they will become the foundation for anyone who is doing system design and analysis.

July 1998 - Technical Report The Architecture Tradeoff Analysis Method

Topics: Software Architecture

Authors: Rick Kazman, Mark H. Klein, Mario R. Barbacci, Thomas A. Longstaff, Howard F. Lipson, Jeromy Carriere

This 2008 paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in the architectures of software-intensive systems.

May 1998 - Technical Report Steps in an Architecture Tradeoff Analysis Method: Quality Attribute Models and Analysis

Topics: Software Architecture

Authors: Mario R. Barbacci, Peter H. Feiler, Mark H. Klein, Howard F. Lipson, Thomas A. Longstaff, Charles B. Weinstock, Jeromy Carriere

This paper presents some of the steps in an emerging architecture tradeoff analysis method (ATAM).

April 1998 - White Paper The Architecture Tradeoff Analysis Method

Authors: Rick Kazman, Mark H. Klein, Mario R. Barbacci, Thomas A. Longstaff, Howard F. Lipson, Jeromy Carriere

This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in design.

April 1998 - Special Report Assessment of CORBA and POSIX Designs for FAA En Route Resectorization

Topics: Performance and Dependability

Authors: B. Craig Meyers, Daniel Plakosh, Patrick R. Place, Mark H. Klein, Rick Kazman

This report addresses the use of different technologies and an architectural tradeoff approach on a typical En Route system problem.

May 1997 - Technical Report Principles for Evaluating the Quality Attributes of a Software Architecture

Topics: Software Architecture

Authors: Mario R. Barbacci, Mark H. Klein, Charles B. Weinstock

This report describes a few principles for analyzing a software architecture to determine if it exhibits certain quality attributes.

February 1996 - Technical Report State of the Practice Report: Problems in the Practice of Performance Engineering

Topics: Performance and Dependability

Authors: Mark H. Klein

As systems have performance requirements, sometimes dominant and explicit, and other times subordinate and implicit. Despite the pervasiveness and importance of performance requirements, performance problems persist. To help us understand why, we sponsored a workshop in performance engineering and conducted some structured interviews with software contractors. This report summarizes our observations.

December 1995 - Technical Report Quality Attributes

Topics: Software Architecture

Authors: Mario R. Barbacci, Mark H. Klein, Thomas A. Longstaff, Charles B. Weinstock

This report describes efforts to develop a unifying approach for reasoning about multiple software quality attributes.

August 1993 - Book A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems

Topics: System of Systems

Authors: Michael Harbour, Mark H. Klein, Ray Obenza, Bill Pollak, Tom Ralya

This book contains a collection of quantitative methods that enable real-time systems developers to understand, analyze, and predict the timing behavior of many real-time systems.

March 1991 - Technical Report Rate Monotonic Analysis for Real-Time Systems

Topics: Performance and Dependability

Authors: Lui R. Sha, Mark H. Klein, John B. Goodenough

In this report, we review important decisions in the development of RMA. Our experience indicates that technology transition considerations should be embedded in the process of technology development from the start, rather than as an afterthought.

July 1990 - Technical Report An Analysis of Input/Output Paradigms for Real-Time Systems

Topics: Performance and Dependability

Authors: Mark H. Klein, Tom Ralya

This paper illustrates how to build a mathematical model of the schedulability of a real-time system, taking into consideration such factors as preemption, synchronization, non-preemptibility, interrupts, and process idle time.

December 1989 - Special Report Recommendations from the AIA/SEI Workshop on Research Advances Required for Real-Time Software Systems in the 1990s

Authors: William Sweet, Michael J. Gagliardi, Mark H. Klein, Reed Little, Roger Van Scoy, Robert Veltre, Charles B. Weinstock

This report summarizes the discussions held at a 1989 workshop to facilitate communication between implementers of future software-critical large systems and those who sponsor or perform software-related research.

September 1989 - Technical Report Real-Time Software Engineering in ADA: Observations and Guidelines

Topics: Performance and Dependability

Authors: Mark W. Borger, Mark H. Klein, Robert Veltre

This 1989 report presents techniques for controlling devices with Ada and several Ada tasking paradigms for managing concurrency.

August 1989 - Technical Report Inertial Navigation System Simulator: Behavioral Specification (1989)

Authors: Stefan F. Landherr, Mark H. Klein

This 1989 revision specifies the INS simulator program and clarifies and supplements the functional specification.

November 1988 - Technical Report Using the Vienna Development Method (VDM) to Formalize a Communication Protocol

Authors: Jan Storbank Pedersen, Mark H. Klein

This 1988 paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.

December 1987 - Technical Report ADA for Embedded Systems: Issues and Questions

Topics: Performance and Dependability

Authors: Nelson W. Weiderman, Mark W. Borger, Andrea L. Cappellini, Susan A. Dart, Mark H. Klein, Stefan F. Landherr

This 1987 report addresses issues and questions related to the use of ADA for embedded systems applications.

December 1987 - Technical Report Annual Technical Report for ADA Embedded Systems Testbed Project

Topics: Performance and Dependability

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

This technical report provides an overview of the results produced in the first year of the ADA Embedded Systems Testbed Project (through September 30, 1987).

December 1987 - Technical Report Inertial Navigation System Simulator Program: Top-Level Design (1987)

Authors: Mark H. Klein, Stefan F. Landherr

This 1987 document discusses top-level design from three points of view: data flow perspective, the concurrency and control perspective, and the Adamodule perspective.

October 1987 - Technical Report Inertial Navigation System Simulator: Behavioral Specification (1987)

Authors: Stefan F. Landherr, Mark H. Klein

This 1987 report specifies the INS simulator program and clarifies and supplements the functional specification.

March 1987 - Technical Report Evaluation of ADA Environments, Executive Summary

Authors: Nelson W. Weiderman, Neal Altman, Mark W. Borger, Mark H. Klein, Stefan F. Landherr, Roger Smeaton, Rich D'Ippolito, John Kochmar, Alice Sun

This 1987 report provides a detailed description of the Ada Environments methodology and examples of its usage.