Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

Selected Works

Software Engineering

Component technology

Publication Year

Articles 1 - 4 of 4

Full-Text Articles in Physical Sciences and Mathematics

Using Containers To Enforce Smart Constraints For Performance In Industrial Systems, Scott A. Hissam, Gabriel A. Moreno, Kurt C. Wallnau Jul 2005

Using Containers To Enforce Smart Constraints For Performance In Industrial Systems, Scott A. Hissam, Gabriel A. Moreno, Kurt C. Wallnau

Gabriel A. Moreno

Today, software engineering is concerned less with individual programs than with large-scale networks of interacting programs. For large-scale networks, engineering problems emerge that go well beyond functional correctness (the purview of programming) and encompass equally crucial nonfunctional qualities such as security, performance, availability, and fault tolerance. A pivotal challenge, then, is to provide techniques to routinely construct systems that have predictable nonfunctional quality. These techniques impose constraints on the problem being solved and on the form solutions can take. This technical note shows how smart constraints can be embedded in software infrastructure, so that systems conforming to those constraints are …

Go to article

Predictable Assembly Of Substation Automation Systems: An Experiment Report, Scott A. Hissam, John Hudak, James Ivers, Mark H. Klein, Magnus Larsson, Gabriel A. Moreno, Linda M. Northrop, Daniel Plakosh, Judith Stafford, Kurt C. Wallnau, William G. Wood Aug 2002

Predictable Assembly Of Substation Automation Systems: An Experiment Report, Scott A. Hissam, John Hudak, James Ivers, Mark H. Klein, Magnus Larsson, Gabriel A. Moreno, Linda M. Northrop, Daniel Plakosh, Judith Stafford, Kurt C. Wallnau, William G. Wood

Gabriel A. Moreno

The Predictable Assembly from Certifiable Components (PACC) Initiative at the Software Engineering Institute (SEI) is developing methods and technologies for predictable assembly. A software development activity that builds systems from components is predictable if the runtime behavior of an assembly of components can be predicted from known properties of components and their patterns of interactions (connections), and if these predictions can be objectively validated. A component is certifiable if these known properties can be obtained or validated by independent third parties. The SEI's technical approach to PACC rests on prediction-enabled component technology (PECT). At the highest level, PECT is a …

Go to article

Packaging And Deploying Predictable Assembly, Scott A. Hissam, Gabriel A. Moreno, Judith Stafford, Kurt C. Wallnau May 2002

Packaging And Deploying Predictable Assembly, Scott A. Hissam, Gabriel A. Moreno, Judith Stafford, Kurt C. Wallnau

Gabriel A. Moreno

Significant economic and technical benefits accrue from the use of pre-existing and commercially available software components to develop new systems. However, challenges remain that, if not adequately addressed, will slow the adoption of software component technology. Chief among these are a lack of consumer trust in the quality of components, and a lack of trust in the quality of assemblies of components without extensive and expensive testing. This paper describes predictionenabled component technology (PECT). A PECT results from integrating component technology with analysis models. An analysis model permits analysis and prediction of assembly-level properties prior to component composition, and, perhaps, …

Go to article

Packaging Predictable Assembly With Prediction-Enabled Component Technology, Scott A. Hissam, Gabriel A. Moreno, Judith Stafford, Kurt C. Wallnau Oct 2001

Packaging Predictable Assembly With Prediction-Enabled Component Technology, Scott A. Hissam, Gabriel A. Moreno, Judith Stafford, Kurt C. Wallnau

Gabriel A. Moreno

This report describes the use of prediction-enabled component technology (PECT) as a means of packaging predictable assembly as a deployable product. A PECT results from integrating a component technology with one or more analysis technologies. Analysis technologies allow analysis and prediction of assembly-level properties prior to component assembly, and, presumably, prior to component acquisition. Analysis technologies also identify required component properties and their certifiable descriptions. 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. Last, it …

Go to article