Behavioral Modeling of Software Intensive System Architectures
MetadataShow full item record
Architectural modeling and analysis are mechanisms that allow the capture of design decisions early in the process, so that they can be assessed and modified without incurring the costs of incorrect implementations. This paper addresses Monterey Phoenix (MP), a behavioral model for system and software architecture specification based on event traces, which supports architecture composition operations and views. MP captures behaviors and interactions between parts of the system and the environment with which it operates. As an executable architecture model leveraging "lightweight" formal methods and the small scope hypothesis, MP supports automatic generation of behavior examples (Use Cases) for early system architecture analysis, testing, verification, and validation. This paper also introduces a methodology utilizing MP that will inform quantifiable cost estimates (e.g. Function Point analysis) and ultimately project, program, and enterprise level resourcing decisions. Enhancing and extending DoDAF, UML, and SysML, MP is focused on behaviors, interactions, and automated tools for early verification.
The article of record as published may be found at http://dx.doi.org/10.1016/j.procs.2013.09.272
Showing items related by title, author, creator and subject.
Nagashima, M.; Agrawal, B.N. (2012);For a large Adaptive Optics (AO) system such as a large Segmented Mirror Telescope (SMT), it is often difficult, although not impossible, to directly apply common Multi-Input Multi-Output (MIMO) controller design methods ...
Hernandez, Alejandro S.; Karimova, Tahmina; Nelson, Douglas H. (American Society for Engineering Management, 2017);We propose mission engineering and analysis to examine and develop viable solutions for complex issues. Systems engineering addresses technological and managerial challenges in the design and development of physical and ...
Pietras, Christopher R. (Monterey, California. Naval Postgraduate School, 1993-09);The United States Coast Guard is upgrading communications equipment at remote sites in Alaska in support of the Coastal Voice Distress Network. The VHF-FM Search and Rescue sites are powered by a primary power system ...