Scott Hissam
Software Engineering Institute
Publications by Scott Hissam
-
Securing Open Source Software in the DoD
January 26, 2023 • Podcast
Scott HissamLinda Parker Gates
Scott Hissam talks with Linda Parker Gates about the use of free and open-source software (FOSS) in the DoD, building on insights that surfaced in a recent workshop held for producers and consumers of FOSS for DoD systems.
learn more -
Ultra-Large-Scale Systems: Socio-adaptive Systems
December 01, 2016 • White Paper
Scott HissamMark H. KleinGabriel Moreno
Ultra-large-scale systems are interdependent webs of software, people, policies, and economics. In socio-adaptive systems, human and software interact as peers.
read -
Cyber-Physical Systems
December 01, 2016 • White Paper
Bjorn AnderssonSagar ChakiDionisio de Niz
Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.
read -
Predictability by Construction
December 01, 2016 • White Paper
Sagar ChakiScott HissamGabriel Moreno
Predictability by construction (PBC) makes the behavior of a component-based system predictable before implementation, based on known properties of components.
read -
Input Attribution for Statistical Model Checking using Logistic Regression
September 20, 2016 • Conference Paper
Jeffrey HansenSagar ChakiScott Hissam
In this conference paper, the authors describe an approach to Statistical Model Checking (SMC). This paper is part of the Lecture Notes in Computer Science book series.
read -
High Assurance for Distributed Cyber Physical Systems
September 07, 2015 • Conference Paper
Scott HissamSagar ChakiGabriel Moreno
This short paper introduces our architecture and approach to engineering a DART system so that we achieve high assurance in its runtime behavior against a set of formally specified requirements.
read -
Socio-Adaptive Systems Challenge Problems Workshop Report
June 01, 2013 • Special Report
Scott HissamMark H. KleinTimothy 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.
read -
Resource Allocation in Dynamic Environments
October 01, 2012 • Technical Report
Jeffrey HansenScott HissamB. Craig Meyers
When warfighting missions are conducted in a dynamic environment, the allocation of resources needed for mission operation can change from moment to moment. This report addresses two challenges of resource allocation in dynamic environments: overstatement of resource needs and unpredictable network availability.
read -
Adaptive Flow Control for Enabling Quality of Service in Tactical Ad Hoc Wireless Networks
December 01, 2010 • Technical Report
Jeffrey HansenScott HissamB. Craig Meyers
The network infrastructure for users such as emergency responders or warfighters is wireless, ad hoc, mobile, and lacking in sufficient bandwidth. This report documents the results from 18 experiments to investigate Adaptive Quality of Service, an approach to enable applications to fulfill their missions despite tactical network infrastructure limitations.
read -
Results of SEI Independent Research and Development Projects (FY 2009)
December 01, 2009 • Technical Report
Len BassLutz WragePaul C. Clements
In this report, the authors describe the SEI independent research and development (IRAD) projects conducted during fiscal year 2009.
read -
Statistical-Based WCET Estimation and Validation
December 31, 2008 • White Paper
Jeffrey HansenScott HissamGabriel Moreno
This paper presents a measurement-based approach that produces both a WCET (Worst Case Execution Time) estimate and a prediction of the probability that a future execution time will exceed a given estimate.
read -
Predicting the Behavior of a Highly Configurable Component Based Real-Time System
June 30, 2008 • Conference Paper
Scott HissamGabriel MorenoDaniel Plakosh
This paper discusses results from an experiment that demonstrates the ability to predict deadline staisfaction of threads in a real-time system where the functionalityW performed is based on the configuration of the assembled software components.
read -
Perspectives on Free and Open Source Software
January 26, 2007 • Book
Joseph FellerBrian FitzgeraldScott Hissam
This book examines specific aspects of F/OSS in a way that is both scientifically rigorous and highly relevant to real-world managerial and technical concerns.
read -
Certifying the Absence of Buffer Overflows
September 01, 2006 • Technical Note
Sagar ChakiScott Hissam
In this report, the authors present a technique for certifying the safety of buffer manipulations in C programs.
read -
Precise Buffer Overflow Detection via Model Checking
December 01, 2005 • White Paper
Sagar ChakiScott Hissam
In this paper, the authors present an automated overflow detection technique based on model checking and iterative refinement.
read -
Using Containers to Enforce Smart Constraints for Performance in Industrial Systems
August 01, 2005 • Technical Note
Scott HissamGabriel MorenoKurt 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 -
Pin Component Technology (V1.0) and Its C Interface
April 01, 2005 • Technical Note
Scott HissamJames IversDaniel Plakosh
This 2005 report describes the main concepts of Pin and documents the C-language interface to Pin V1.0.
read -
Performance Property Theories for Predictable Assembly from Certifiable Components (PACC)
September 01, 2004 • Technical Report
Scott HissamMark H. KleinPaulo 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 -
A Model Problem for an Open Robotics Controller
July 01, 2004 • Technical Note
Scott HissamMark 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.
read -
Predictable Assembly of Substation Automation Systems: An Experiment Report, Second Edition
September 01, 2003 • Technical Report
Scott HissamKurt C. WallnauWilliam 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 -
The Software Engineering Institute's Second Workshop on Predictable Assembly: Landscape of Compositional Predictability
June 01, 2003 • Technical Note
Judith A. StaffordScott Hissam
To further its work in predictable assembly focusing on compositional reasoning techniques, the Software Engineering Institute (SEI) held its second Predictable Assembly from Certifiable Components (PACC) Workshop on January 10-11, 2003.
read -
Enabling Predictable Assembly
February 28, 2003 • Article
Scott HissamGabriel MorenoJudith A. Stafford
This paper introduces prediction-enabled component technology (PECT) as a means of packaging predictable assembly as a deployable product.
read -
PECT Infrastructure: A Rough Sketch
December 01, 2002 • Technical Note
Scott HissamJames Ivers
This 2002 paper investigates the nature of PECT infrastructures, summarizes the activities that a PECT infrastructure should support, and proposes a design for the tools that make up a PECT infrastructure.
read -
SEI Independent Research and Development Projects
October 01, 2002 • Technical Report
Steve CrossKurt C. WallnauEileen C. Forrester
This report describes the IR&D projects that were conducted during fiscal year 2002 (October 2001 through September 2002).
read -
Packaging and Deploying Predictable Assembly
May 31, 2002 • White Paper
Scott HissamGabriel MorenoJudith 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 MorenoScott HissamKurt C. Wallnau
This paper identifies statistical models that could form a basis for standard industry labels for component properties and prediction theories.
read -
Perspectives on Open Source Software
November 01, 2001 • Technical Report
Scott HissamCharles B. WeinstockDaniel Plakosh
This 2001 report summarizes the results of a study of the benefits of pitfalls of using open source software.
read -
Packaging Predictable Assembly with Prediction-Enabled Component Technology
November 01, 2001 • Technical Report
Scott HissamGabriel MorenoJudith 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 HissamRobert C. SeacordKurt 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 -
Securing Internet Sessions with Sorbet
July 01, 1999 • Technical Note
Fred LongScott HissamRobert C. Seacord
To secure communications media connections, mechanisms must be built on top of the underlying facilities. This 1999 report discusses one such security mechanism and describes an implementation using CORBA-based interceptors.
read -
Custom vs. Off-the-Shelf Architecture
July 01, 1999 • Technical Note
Robert C. SeacordKurt C. WallnauJohn E. Robert
This report compares GEE-based solutions and off-the-shelf solutions based on the EJB specification.
read -
COTS in the Real World: A Case Study in Risk Discovery and Repair
April 01, 1999 • Technical Note
Scott HissamDaniel Plakosh
This report describes the investigations that were performed to determine how well selected commercial components met the mission needs of a DoD project.
read -
Into the Black Box: A Case Study in Obtaining Visibility into Commercial Software
March 01, 1999 • Technical Note
Daniel PlakoshScott HissamKurt 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 -
DoD Security Needs and COTS-Based Systems
September 01, 1998 • White Paper
David J. CarneyScott HissamDaniel Plakosh
This monograph offers a "heads-up" to decision makers who are building information systems that have security constraints, who feel the market imperatives, and who want to make opportunistic use of what the market has to offer.
read -
Browsers for Distributed Systems: Universal Paradigm or Siren's Song?
August 01, 1998 • Technical Report
Robert C. SeacordScott Hissam
This report examines the technical issues relevant to incorporating web browsers as a component of a commercial off-the-shelf (COTS) -based solution.
read -
Agora: A Search Engine for Software Components
August 01, 1998 • Technical Report
Robert C. SeacordScott HissamKurt 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 -
Isolating Faults in Complex COTS-Based Systems
February 01, 1998 • White Paper
David J. CarneyScott Hissam
This monograph provides an overview of a method for isolating and overcoming faults in COTS-based systems.
read -
Case Study: Correcting System Failure in a COTS Information System (Monograph)
September 01, 1997 • White Paper
Scott Hissam
This monograph provides an in-depth technical study about a COTS-based information system made up of several commercial components.
read