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

Physical Sciences and Mathematics Commons

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

Software Engineering

PDF

Selected Works

Analysis

Publication Year

Articles 1 - 2 of 2

Full-Text Articles in Physical Sciences and Mathematics

Model-Driven Performance Analysis, Gabriel A. Moreno, Paulo Merson Sep 2008

Model-Driven Performance Analysis, Gabriel A. Moreno, Paulo Merson

Gabriel A. Moreno

Model-Driven Engineering (MDE) is an approach to develop software systems by creating models and applying automated transformations to them to ultimately generate the implementation for a target platform. Although the main focus of MDE is on the generation of code, it is also necessary to support the analysis of the designs with respect to quality attributes such as performance. To complement the model-to-implementation path of MDE approaches, an MDE tool infrastructure should provide what we call model-driven analysis. This paper describes an approach to model-driven analysis based on reasoning frameworks. In particular, it describes a performance reasoning framework that can …


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 …