Kurt C. Wallnau

Software Engineering Institute

Publications by Kurt C. Wallnau

Predictability by Construction

December 01, 2016 • White Paper

Sagar Chaki Scott Hissam Gabriel Moreno

Predictability by construction (PBC) makes the behavior of a component-based system predictable before implementation, based on known properties of components.
read
Panel Discussion: Managing the Insider Threat: What Every Organization Should Know

November 07, 2013 • Webinar

Robert Floodeen William R. Claycomb Andrew P. Moore

In this webinar, a watch panel discusses Managing the Insider Threat: What Every Organization Should Know.
watch
Engineering Realistic Synthetic Insider Threat (Cyber-Social) Test Data

November 07, 2013 • Webinar

Kurt C. Wallnau

In this webinar, Kurt Wallnau discusses insider threat controls and how to test systems whose dynamics are based in human nature that is only partially understood.
watch
Edge Enabled Systems

May 19, 2010 • White Paper

Zacharie Hall (Aberdeen Proving Ground)Rick Kazman Daniel Plakosh

This paper describes the characteristics of edge systems and the edge organizations in which these systems operate, and make initial recommendations about how such systems and organizations can be created to serve the needs of users at the edge.
read
Results of SEI Independent Research and Development Projects (FY 2009)

December 01, 2009 • Technical Report

Len Bass Lutz Wrage Paul C. Clements

In this report, the authors describe the SEI independent research and development (IRAD) projects conducted during fiscal year 2009.
read
Results of SEI Independent Research and Development Projects (FY 2008)

December 01, 2008 • Technical Report

Dionisio de Niz Gabriel Moreno Robert Nord

This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2008 (October 2007 through September 2008).
read
Results of SEI Independent Research and Development Projects (FY 2007)

July 01, 2008 • Technical Report

Len Bass Lui R. Sha Dennis B. Smith

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

March 06, 2008 • Presentation

Richard P. Gabriel (Sun Microsystems)John B. Goodenough Mark H. Klein

SMART Event, March 6, 2008
read
Applied Computational Mechanism Design

March 06, 2008 • Presentation

Kurt C. Wallnau

Presentation made at the 2008 SMART Ultra-Large-Scale System Forum, held at Carnegie Mellon University in Pittsburgh, PA.
read
Using the Vickrey-Clarke-Groves Auction Mechanism for Enhanced Bandwidth Allocation in Tactical Data Networks

January 01, 2008 • Technical Report

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.
read
Handling Interdependent Values in an Auction Mechanism for Bandwidth Allocation in Tactical Data Networks

December 31, 2007 • White Paper

Mark H. Klein Gabriel Moreno Daniel Plakosh

This paper introduces a mechanism that achieves efficient bandwidth allocation and provides incentive compatibility by conditioning payments on the realized value for data shared between agents.
read
Model-Driven Construction of Certified Binaries

October 05, 2007 • Presentation

Sagar Chaki James Ivers Peter Lee

Sagar Chaki and others describe in this presentation an implementation of the approach that targets the Pin component technology, and presents experimental results on a collection of benchmarks.
read
Certified Binaries for Software Components

September 01, 2007 • Technical Report

Sagar Chaki James Ivers Peter Lee

In this report, the authors present an approach to certify binary code against expressive policies to achieve the benefits of PCC and CMC.
read
Results of SEI Independent Research and Development Projects (FY 2006)

July 01, 2007 • Technical Report

Christopher J. Alberts Eileen C. Forrester Suzanne Garcia-Miller

This report describes the IRAD projects that were conducted during fiscal year 2006 (October 2005 through September 2006).
read
Workshop on Model-Driven Architecture and Program Generation

August 01, 2006 • Technical Note

Grace Lewis B. Craig Meyers Kurt C. Wallnau

This report summarizes the results of a June 2006 workshop, held to explore business and technical aspects of program generation in the context of the Object Management Group's model-driven architecture development approach.
read
Ultra-Large-Scale Systems: The Software Challenge of the Future

June 01, 2006 • Book

Peter H. Feiler Kevin Sullivan (University of Virginia)Kurt C. Wallnau

Ultra-Large-Scale Systems: The Software Challenge of the Future is the product of a 12-month study of ultra-large-scale (ULS) systems software.
read
Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)

December 01, 2005 • Technical Report

Rosann W. Collins Rick Kazman Richard C. Linger (Oak Ridge National Laboratory)

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.
read
The ComFoRT Reasoning Framework

August 10, 2005 • Presentation

Sagar Chaki James Ivers Natasha Sharygina

Presented: August 2005
read
Obtaining the Benefits of Predictable Assembly from Certifiable Components (PACC)

August 01, 2005 • White Paper

Kurt C. Wallnau

PACC combines the complementary features of software architecture technology and software component technology to improve both engineering productivity and product quality in the design and implementation of quality-critical software systems.
read
Using Containers to Enforce Smart Constraints for Performance in Industrial Systems

August 01, 2005 • Technical Note

Scott Hissam Gabriel Moreno Kurt C. Wallnau

This technical note shows how smart constraints can be embedded in software infrastructure, so that systems conforming to those constraints are predictable by construction.
read
The ComFoRT Reasoning Framework

July 01, 2005 • White Paper

Sagar Chaki James Ivers Natasha Sharygina

Model checking is a promising technology for verifying critical behavior of software. However, software model checking is hamstrung by scalability issues and is difficult for software engineers to use directly. ComFoRT addresses both of these challenges.
read
CCL in Pictures

June 15, 2005 • Presentation

James Ivers Kurt C. Wallnau

Presented: June 2005
read
Pin Component Technology (V1.0) and Its C Interface

April 01, 2005 • Technical Note

Scott Hissam James Ivers Daniel Plakosh

This 2005 report describes the main concepts of Pin and documents the C-language interface to Pin V1.0.
read
Software Component Certification: 10 Useful Distinctions

September 01, 2004 • Technical Note

Kurt C. Wallnau

This 2004 report discusses 10 useful distinctions that can help in understanding different aspects of certification in the context of software components.
read
Performance Property Theories for Predictable Assembly from Certifiable Components (PACC)

September 01, 2004 • Technical Report

Scott Hissam Mark H. Klein Paulo Merson

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.
read
Predictable Assembly of Substation Automation Systems: An Experiment Report, Second Edition

September 01, 2003 • Technical Report

Scott Hissam Kurt C. Wallnau William G. Wood

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.
read
Preserving Real Concurrency

July 01, 2003 • White Paper

James Ivers Kurt C. Wallnau

In this 2003 whitepaper, the authors make use of information provided by components and extracted from static assembly topologies to faithfully model real concurrency. The result is more effective analysis.
read
Snapshot of CCL: A Language for Predictable Assembly

June 01, 2003 • Technical Note

Kurt C. Wallnau James Ivers

This 2003 report presents a snapshot of the construction and composition language (CCL) by examining a small example CCL specification.
read
Volume III: A Technology for Predictable Assembly from Certifiable Components

April 01, 2003 • Technical Report

Kurt C. Wallnau

This 2003 report, the final in a three-volume series on CBSE, identifies the key technical concepts of PACC, with an emphasis on the theory of prediction-enabled component technology (PECT).
read
Enabling Predictable Assembly

February 28, 2003 • Article

Scott Hissam Gabriel Moreno Judith A. Stafford

This paper introduces prediction-enabled component technology (PECT) as a means of packaging predictable assembly as a deployable product.
read
SEI Independent Research and Development Projects

October 01, 2002 • Technical Report

Steve Cross Kurt C. Wallnau Eileen C. Forrester

This report describes the IR&D projects that were conducted during fiscal year 2002 (October 2001 through September 2002).
read
A Basis for Composition Language CL

September 01, 2002 • Technical Note

James Ivers Nishant Sinha Kurt C. Wallnau

This report describes the composition language CL and its rudimentary graphical syntax, and defines and illustrates the compositional semantics for CL using Hoare's CSP.
read
Packaging and Deploying Predictable Assembly

May 31, 2002 • White Paper

Scott Hissam Gabriel Moreno Judith A. Stafford

This paper describes predictionenabled component technology (PECT), which integrates component technology with analysis models.
read
Statistical Models for Empirical Component Properties and Assembly-Level Property Predictions: Toward Standard Labeling

April 30, 2002 • White Paper

Gabriel Moreno Scott Hissam Kurt C. Wallnau

This paper identifies statistical models that could form a basis for standard industry labels for component properties and prediction theories.
read
Is Third Party Certification Necessary?

April 01, 2002 • White Paper

Judith A. Stafford Kurt C. Wallnau

This paper describes a model for the component marketplace, along with two possible forms that the model may take in order to establish trust among participants in component-based design.
read
The Potential for Synergy Between Certification and Insurance

April 01, 2002 • White Paper

P. Luo Li Mary Shaw Kevin Stolarick

Because of their affordability and availability, reusable software components have long been a tantalizing IT investment, but they are not without their risks. Certification and insurance are potential approaches to managing these risks.
read
Packaging Predictable Assembly with Prediction-Enabled Component Technology

November 01, 2001 • Technical Report

Scott Hissam Gabriel Moreno Judith A. Stafford

This report describes the major structures of a PECT. It then discusses the means of validating the predictive powers of a PECT so that consumers may obtain measurably bounded trust in design-time predictions.
read
Building Systems from Commercial Components

July 25, 2001 • Book

Scott Hissam Robert C. Seacord Kurt C. Wallnau

This book describes specific engineering practices needed to integrate preexisting components with preexisting specifications successfully, illustrating the techniques described with case studies and examples.
read
Volume II: Technical Concepts of Component-Based Software Engineering, 2nd Edition

May 01, 2000 • Technical Report

Felix Bachmann Len Bass Charles Buhman

The objective of this study is to determine whether CBSE has the potential to advance the state of software engineering practice and, if so, whether the SEI can contribute to this advancement.
read
Volume I: Market Assessment of Component-Based Software Engineering Assessments

May 01, 2000 • Technical Note

Len Bass Charles Buhman Santiago Comella-Dorda

This 2001 report examines software component technology from a business perspective.
read
A Survey of Legacy System Modernization Approaches

April 01, 2000 • Technical Note

Santiago Comella-Dorda Kurt C. Wallnau Robert C. Seacord

This report, published in 2000, provides a survey of modernization techniques including screen scraping, database gateway, XML integration, database replication, CGI integration, object-oriented wrapping, and "componentization" of legacy systems.
read
Builder's Guide for WaterBeans Components

December 01, 1999 • Technical Report

Daniel Plakosh Dennis B. Smith Kurt C. Wallnau

This paper describes WaterBeans, a proof-of-feasibility system for building software applications through a process of assembling prefabricated software components.
read
Custom vs. Off-the-Shelf Architecture

July 01, 1999 • Technical Note

Robert C. Seacord Kurt C. Wallnau John E. Robert

This report compares GEE-based solutions and off-the-shelf solutions based on the EJB specification.
read
Into the Black Box: A Case Study in Obtaining Visibility into Commercial Software

March 01, 1999 • Technical Note

Daniel Plakosh Scott Hissam Kurt C. Wallnau

This 1999 report describes what we did to gain insight into Netscape's Communicator databases, the internal formats of the databases, and the password and encryption schemes used in the key3.db database.
read
Agora: A Search Engine for Software Components

August 01, 1998 • Technical Report

Robert C. Seacord Scott Hissam Kurt C. Wallnau

This 1998 report documents Agora, a software prototype that was developed by the SEI to create an automatically generated and indexed database of software products classified by component model.
read
A Study in the Use of CORBA in Real-Time Settings: Model Problems for the Manufacturing Domain

January 01, 1998 • Technical Report

Daniel Plakosh Kurt C. Wallnau Andreas Polze (Humboldt University of Berlin)

In this report, we describe the application of an off-the-shelf ORB to two real-time model problems.
read
Distributed Object Technology with CORBA and Java: Key Concepts and Implications

June 01, 1997 • Technical Report

Kurt C. Wallnau Nelson W. Weiderman Linda M. Northrop

This 1997 report analyzes the impact of distributed object technology (DOT) on software engineering practice.
read
Implications of Distributed Object Technology for Reengineering

June 01, 1997 • Technical Report

Nelson W. Weiderman Linda M. Northrop Dennis B. Smith

This 1997 report provides definitions of various software evolution concepts and a taxonomy of activities.
read
The Gadfly: An Approach to Architectural-Level System Comprehension

March 01, 1996 • White Paper

Paul C. Clements Edwin J. Morris Kurt C. Wallnau

This paper describes the Gadfly, an approach for developing narrowly-focused, reusable domain models that can be integrated and (re)used to aid in the process of top-down system comprehension.
read
The Gadfly: An Approach to Architectural-Level System Comprehension

March 01, 1996 • White Paper

Paul C. Clements Robert W. Krut, Jr.Edwin J. Morris

This paper describes the Gadfly, an approach for developing narrowly-focused, reusable domain models that can be integrated and (re)used to aid in the process of top-down system comprehension.
read
The Unified Information Security (INFOSEC) Architecture (UIA) Gadfly Project

October 01, 1995 • Technical Report

Fred Maymir-Ducharme Paul C. Clements Kurt C. Wallnau

This 1995 report discusses the results of a collaborative research and development activity between the Comprehensive Approach to Reusable Defense Software (CARDS) Program, the Department of Defense (DoD), and the Software Engineering Institute (SEI).
read
Issues and Techniques of CASE Integration with Configuration

March 01, 1992 • Technical Report

Kurt C. Wallnau

This 1992 report describes key issues of the integration of CASE with CM from a third-party integrator's perspective.
read
Understanding Integration in a Software Development Environment

January 01, 1992 • Technical Report

Alan W. Brown Peter H. Feiler Kurt C. Wallnau

This 1992 report examines Software Development Environments (SDEs) from an integration perspective, describing the previous work in this area and analyzing the integration issues that must be addressed in an SDE.
read
Tool Integration and Environment Architectures

May 01, 1991 • Technical Report

Kurt C. Wallnau Peter H. Feiler

This paper describes the evolution of environment architectures to support federated CASE integration and outlines the implications of this evolution on the technical issues of CASE tool integration.
read