Gabriel Moreno
Software Engineering Institute
Publications by Gabriel Moreno
-
A Strategy for Component Product Lines: Report 1: Scoping, Objectives, and Rationale
December 08, 2022 • Special Report
Sholom G. CohenJohn J. HudakJohn McGregor
This report establishes a Component Product Line Strategy to address problems in systematically reusing and integrating components built to conform to component specification models.
read -
Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation
February 27, 2017 • Conference Paper
Gabriel MorenoJavier Cámara (CMU)David Garlan
In this paper, we present an approach that eliminates runtime overhead by constructing most Markov decision processes offline using formal specification.
read -
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 -
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 -
An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors
August 29, 2012 • Presentation
Dionisio de NizGabriel Moreno
Presents the Growing Minimum Frequency (GMF) algorithm for voltage and frequency scaling in uniform multiprocessors for real-time systems.
read -
Evaluating a Partial Architecture in a ULS Context
May 13, 2011 • Presentation
Len BassJames IversRick Kazman
This presentation from SATURN 2011 discusses the application of architectural principles to analyzing an architectural landscape.
read -
Architecture Evaluation without an Architecture: Experience with the Smart Grid
April 30, 2011 • White Paper
Rick KazmanLen BassJames Ivers
This paper describes an analysis of some of the challenges facing one portion of the Electrical Smart Grid in the United States - residential Demand Response (DR) systems.
read -
Results of SEI Independent Research and Development Projects (FY 2010)
February 01, 2011 • Technical Report
William AndersonDavid FisherDavid P. Gluch
This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.
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 -
Performance Analysis of Real-Time Component
June 10, 2009 • Conference Paper
Gabriel MorenoConnie U. SmithLloyd G. Williams
This paper defines extensions and changes to the S-PMIF meta-model and schema required for real-time systems. It describes transformations for both simple, best-case models and more detailed models of concurrency and synchronization.
read -
Overview of the Lambda-* Performance Reasoning Frameworks
February 01, 2009 • Technical Report
Gabriel MorenoJeffrey Hansen
This report provides an overview of the Lambda-* performance reasoning frameworks, their current capabilities, and ongoing research.
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 -
Results of SEI Independent Research and Development Projects (FY 2008)
December 01, 2008 • Technical Report
Dionisio de NizGabriel MorenoRobert Nord
This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2008 (October 2007 through September 2008).
read -
Model-Driven Performance Analysis
October 14, 2008 • Conference Paper
Gabriel MorenoPaulo Merson
This paper describes a performance reasoning framework that can transform a design into a model suitable for analysis of real-time performance properties with different evaluation procedures.
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 -
Performance Analysis of Real-Time Component Architectures: A Model Interchange Approach
May 31, 2008 • Conference Paper
Gabriel MorenoConnie U. SmithLloyd G. Williams
This paper defines extensions and changes to the S-PMIF meta-model and schema required for real-time systems.
read -
Handling Interdependent Values in an Auction Mechanism for Bandwidth Allocation in Tactical Data Networks
December 31, 2007 • White Paper
Mark H. KleinGabriel MorenoDaniel 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 -
Creating Custom Containers with Generative Techniques
October 01, 2006 • Conference Paper
Gabriel Moreno
Component containers are a key part of mainstream component technologies, and play an important role in separating nonfunctional concerns from the core component logic. This paper addresses two different aspects of containers.
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 -
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 -
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 -
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 -
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 -
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 -
Applicability of General Scenarios to the Architecture Tradeoff Analysis Method
October 01, 2001 • Technical Report
Len BassMark H. KleinGabriel Moreno
In this report, we compare the scenarios elicited from five ATAM (Architecture Tradeoff Analysis Method) evaluations with the scenarios used to characterize the quality attributes.
read