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

Digital Library

Kurt C. Wallnau
December 2016 - White Paper Predictability by Construction

Topics: Process Improvement

Predictability by construction (PBC) makes the behavior of a component-based system predictable before implementation, based on known properties of components.

November 2013 - Webinar Panel Discussion: Managing the Insider Threat: What Every Organization Should Know

Topics: Insider Threat

In this webinar, a watch panel discusses Managing the Insider Threat: What Every Organization Should Know.

November 2013 - Webinar Engineering Realistic Synthetic Insider Threat (Cyber-Social) Test Data

Topics: Insider Threat

Authors: 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.

May 2010 - White Paper Edge Enabled Systems

Topics: Ultra-Large-Scale Systems

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.

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

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

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

March 2008 - Presentation Applied Computational Mechanism Design

Topics: Ultra-Large-Scale Systems

Authors: Kurt C. Wallnau

Presentation made at the 2008 SMART Ultra-Large-Scale System Forum, held at Carnegie Mellon University in Pittsburgh, PA.

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

Topics: Ultra-Large-Scale Systems

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.

October 2007 - Presentation Model-Driven Construction of Certified Binaries

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.

September 2007 - Technical Report Certified Binaries for Software Components

Topics: Software Assurance

In this report, the authors present an approach to certify binary code against expressive policies to achieve the benefits of PCC and CMC.

August 2006 - Technical Note Workshop on Model-Driven Architecture and Program Generation

Topics: Software Architecture, System of Systems

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.

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

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.

August 2005 - Presentation The ComFoRT Reasoning Framework

Presented: August 2005

August 2005 - White Paper Obtaining the Benefits of Predictable Assembly from Certifiable Components (PACC)

Topics: Software Architecture

Authors: 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.

August 2005 - Technical Note Using Containers to Enforce Smart Constraints for Performance in Industrial Systems

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

July 2005 - White Paper The ComFoRT Reasoning Framework

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.

June 2005 - Presentation CCL in Pictures

Presented: June 2005

April 2005 - Technical Note Pin Component Technology (V1.0) and Its C Interface

This 2005 report describes the main concepts of Pin and documents the C-language interface to Pin V1.0.

September 2004 - Technical Note Software Component Certification: 10 Useful Distinctions

Authors: 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.

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

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.

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

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.

July 2003 - White Paper Preserving Real Concurrency

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.

June 2003 - Technical Note Snapshot of CCL: A Language for Predictable Assembly

This 2003 report presents a snapshot of the construction and composition language (CCL) by examining a small example CCL specification.

April 2003 - Technical Report Volume III: A Technology for Predictable Assembly from Certifiable Components

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

October 2002 - Technical Report SEI Independent Research and Development Projects

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

September 2002 - Technical Note A Basis for Composition Language CL

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.

April 2002 - White Paper Is Third Party Certification Necessary?

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.

April 2002 - White Paper The Potential for Synergy Between Certification and Insurance

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.

November 2001 - Technical Report Packaging Predictable Assembly with Prediction-Enabled Component Technology

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.

July 2001 - Book Building Systems from Commercial Components

Topics: Predictability by Construction, Secure Coding

This book describes specific engineering practices needed to integrate preexisting components with preexisting specifications successfully, illustrating the techniques described with case studies and examples.

May 2000 - Technical Report Volume II: Technical Concepts of Component-Based Software Engineering, 2nd Edition

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.

May 2000 - Technical Note Volume I: Market Assessment of Component-Based Software Engineering Assessments

This 2001 report examines software component technology from a business perspective.

April 2000 - Technical Note A Survey of Legacy System Modernization Approaches

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.

December 1999 - Technical Report Builder's Guide for WaterBeans Components

This paper describes WaterBeans, a proof-of-feasibility system for building software applications through a process of assembling prefabricated software components.

July 1999 - Technical Note Custom vs. Off-the-Shelf Architecture

Topics: System of Systems

This report compares GEE-based solutions and off-the-shelf solutions based on the EJB specification.

March 1999 - Technical Note Into the Black Box: A Case Study in Obtaining Visibility into Commercial Software

Topics: System of Systems

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.

August 1998 - Technical Report Agora: A Search Engine for Software Components

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.

January 1998 - Technical Report A Study in the Use of CORBA in Real-Time Settings: Model Problems for the Manufacturing Domain

Topics: Performance and Dependability

In this report, we describe the application of an off-the-shelf ORB to two real-time model problems.

June 1997 - Technical Report Distributed Object Technology with CORBA and Java: Key Concepts and Implications

This 1997 report analyzes the impact of distributed object technology (DOT) on software engineering practice.

June 1997 - Technical Report Implications of Distributed Object Technology for Reengineering

This 1997 report provides definitions of various software evolution concepts and a taxonomy of activities.

March 1996 - White Paper The Gadfly: An Approach to Architectural-Level System Comprehension

Topics: Software Architecture

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.

March 1996 - White Paper The Gadfly: An Approach to Architectural-Level System Comprehension

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.

October 1995 - Technical Report The Unified Information Security (INFOSEC) Architecture (UIA) Gadfly Project

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

March 1992 - Technical Report Issues and Techniques of CASE Integration with Configuration

Authors: Kurt C. Wallnau

This 1992 report describes key issues of the integration of CASE with CM from a third-party integrator's perspective.

January 1992 - Technical Report Understanding Integration in a Software Development Environment

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.

May 1991 - Technical Report Tool Integration and Environment Architectures

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.