System behavior models: a survey of approaches
Ruppel, Scott R.
Green, John M.
MetadataShow full item record
Human designed systems are growing in complexity, with increasing numbers of components and behavior combinations, resulting in more emergent and unintended behaviors evident in operations. This thesis explores various behavior modeling approaches and their potential for exposing emergent behaviors, highlighting trends and modeling approaches. The report defines key concepts and provides a context for a comparative analysis of approaches. In particular, this report assesses a relatively new approach to behavior and architecture modeling, Monterey Phoenix (MP), and compares it with Petri nets, a well-established method. The comparison involves a simple communication process between two components, which is modeled and compared to an equivalent Petri net model. Shared outcomes involve a successful communication between the components and failure modes of the components not receiving or processing data. The models produce identical state space results. The combined state space graph of the Petri model allowed a quick assessment of all potential states but was more cumbersome to build than the MP model. A comparison of approaches charts the modeling methods against the key concepts, revealing the differences among methods, contrasted with the aspects of MP.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Well, you didn't say NOT to! A formal systems engineering approach to teaching an unruly architecture good behavior Giammarco, Kristin; Auguston, Mikhail (Elsevier, 2013);This paper proses a formal modeling approach for predicting emergent reactive systems and system of systems (SoS) behaviors resulting from the interactions among subsystems and among the system and its environment. The ...
Coon, Scott D. (Monterey, California. Naval Postgraduate School, 2006-12);A contributing factor in the rising costs of the Military Healthcare System (MHS) budget is the pharmacy benefit. In efforts to reduce or contain the costs associated with this benefit, the MHS has implemented several ...
A comparative analysis of active and passive sensors in anti-air warfare area defense using discrete event simulation components Kulac, Oray. (Monterey, California: Naval Postgraduate School, 1999-03);Anti-air warfare (AAW) has been a top priority for the world's navies in developing tactics and choosing the most effective ship defense systems. Analyses of such extremely complex system behaviors require the utilization ...