Physical Sciences and Mathematics Commons^™

Socio-Adaptive Systems Challenge Problems Workshop Report, Scott Hissam, Mark Klein, Gabriel Moreno

Gabriel A. Moreno

Socio-adaptive systems are systems in which human and computational elements interact as peers. The behavior of the system arises from the properties of both types of elements and the nature of their collective reaction to changes in their environment, the mission they support, and the availability of resources they use. The Software Engineering Institute (SEI) held the Socio-Adaptive Systems Challenge Problem Workshop in Pittsburgh, PA, on April 12-13, 2012. The workshop’s goal was to identify the challenges associated with resource allocation for warfighters operating at the tactical edge, where networks are often unreliable, and bandwidth limited and inconsistent. This report …

Resource Allocation In Dynamic Environments, Jeffrey Hansen, Scott Hissam, Craig Meyers, Gabriel Moreno, Daniel Plakosh, Joe Seibel, Lutz Wrage

Gabriel A. Moreno

This technical report examines two challenges related to resource allocation that can negatively affect system operation in a dynamic environment, where warfighter needs for resources, resource availability, environmental effects, and mission conditions can change from moment to moment. The first challenge occurs when warfighters overstate their individual needs of a shared resource, leading to inefficient allocation. Overstatement may bring local optimization; however, it can cause global inefficiencies that result in a detriment to overall mission success. This challenge is addressed by using computational mechanism design, more specifically, the dynamic Vickrey-Clark-Groves allocation mechanism. The second challenge involves resource availability that may …

Performance Analysis Of Real-Time Component Architectures: An Enhanced Model Interchange Approach, Gabriel Moreno, Connie Smith

Gabriel A. Moreno

Model interchange approaches support the analysis of software architecture and design by enabling a variety of tools to exchange performance models using a common schema. This paper builds on the Software Performance Model Interchange Format (S-PMIF), extending it to support the analysis of real-time systems and adapting it to be suitable for implementation with modeling frameworks such as MOF or EMF. This enhances the model interchange process by making it possible to define model-to-model transformations from design models into software performance models. The paper addresses real-time system designs expressed in CCL and their transformation into the S-PMIF for additional performance …

Overview Of The Lambda-* Performance Reasoning Frameworks, Gabriel A. Moreno, Jeffery Hansen

Gabriel A. Moreno