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

Digital Library

Gabriel Moreno
February 2017 - Conference Paper Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation

In this paper, we present an approach that eliminates runtime overhead by constructing most Markov decision processes offline using formal specification.

December 2016 - White Paper Ultra-Large-Scale Systems: Socio-adaptive Systems

Topics: Ultra-Large-Scale Systems

Ultra-large-scale systems are interdependent webs of software, people, policies, and economics. In socio-adaptive systems, human and software interact as peers.

December 2016 - White Paper Cyber-Physical Systems

Topics: Cyber-Physical Systems

Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.

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.

September 2016 - Conference Paper Input Attribution for Statistical Model Checking using Logistic Regression

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.

September 2015 - Conference Paper High Assurance for Distributed Cyber Physical Systems

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.

October 2012 - Technical Report Resource Allocation in Dynamic Environments

Topics: Ultra-Large-Scale Systems

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.

August 2012 - Presentation An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors

Topics: Cyber-Physical Systems

Presents the Growing Minimum Frequency (GMF) algorithm for voltage and frequency scaling in uniform multiprocessors for real-time systems.

May 2011 - Presentation Evaluating a Partial Architecture in a ULS Context

This presentation from SATURN 2011 discusses the application of architectural principles to analyzing an architectural landscape.

June 2009 - Conference Paper Performance Analysis of Real-Time Component

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.

February 2009 - Technical Report Overview of the Lambda-* Performance Reasoning Frameworks

This report provides an overview of the Lambda-* performance reasoning frameworks, their current capabilities, and ongoing research.

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

October 2008 - Conference Paper Model-Driven Performance Analysis

Topics: Software Architecture

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.

October 2006 - Conference Paper Creating Custom Containers with Generative Techniques

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

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.

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.

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.

October 2001 - Technical Report Applicability of General Scenarios to the Architecture Tradeoff Analysis Method

Topics: Software Architecture

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.