A comparison framework for runtime monitoring approaches

R Rabiser, S Guinea, M Vierhauser, L Baresi… - Journal of Systems and …, 2017 - Elsevier
The full behavior of complex software systems often only emerges during operation. They
thus need to be monitored at run time to check that they adhere to their requirements …

Practical modeling concepts for engineering emergence in systems of systems

K Giammarco - 2017 12th System of Systems Engineering …, 2017 - ieeexplore.ieee.org
Engineering a system with the explicit goal of steering its emergent behavior is a relatively
new human endeavor, and demands new ways of thinking about how we model system of …

Verification and validation of behavior models using lightweight formal methods

K Giammarco, K Giles - Disciplinary convergence in systems engineering …, 2018 - Springer
The research described herein provides a method for exposing invalid behaviors in systems
of systems (SoS) early in design, at the architecture level. The Monterey Phoenix (MP) …

Monterey Phoenix—Behavior Modeling Approach for the Early Verification and Validation of System of Systems Emergent Behaviors

K Giammarco, M Auguston - Engineering Emergence, 2018 - taylorfrancis.com
This chapter teaches how to detect, classify, predict, and control emergent behaviors in
System of Systems (SoS) aided by modeling and simulation (M&S) with Monterey Phoenix …

[PDF][PDF] System behavior models: a survey of approaches

SR Ruppel - 2016 - calhoun.nps.edu
Human designed systems are growing in complexity, with increasing numbers of
components and behavior combinations, resulting in more emergent and unintended …

System Behavior Specification Verification and Validation (V&V)

K Giammarco - Systems Engineering for the Digital Age …, 2023 - Wiley Online Library
This chapter provides practitioners with an approach to verify and validate existing system
behavior specifications using the Monterey Phoenix (MP) language, approach, and tool …

[HTML][HTML] Modeling isomorphic systems processes using monterey phoenix

K Giammarco, L Troncale - Systems, 2018 - mdpi.com
This article describes preliminary research (a proof of concept test) on the potential value of
formalizing Isomorphic Systems Processes (ISPs) based on systems science research using …

Comprehensive use case scenario generation: An approach for modeling system of systems behaviors

K Giammarco, K Giles… - 2017 12th System of …, 2017 - ieeexplore.ieee.org
This paper describes a reusable approach using automatic use case scenario generation to
specify system of systems (SoS) behaviors. The approach leverages the Monterey Phoenix …

[PDF][PDF] Analyzing Emergent Behavior of Supply Chains for Personal Protective Equipment in Response to COVID-19

JP Beaver - 2021 - calhoun.nps.edu
The novel coronavirus (COVID-19) revealed weaknesses in supply chains of companies that
produce personal protective equipment (PPE), resulting in nationwide shortages. A …

[PDF][PDF] Methodologies and patterns for model centric systems engineering

K Giammarco, B Allen - 2018 - calhoun.nps.edu
This research aims to improve the development and analysis of architecture models using
the Unified Modeling Language (UML) Profile-based Integrated Architecture (UPIA)-inspired …