Research Summaries

Back Formal Methods for Architecture Model Assessment in Systems Engineering

Fiscal Year 2010
Division Graduate School of Engineering & Applied Science
Department Systems Engineering
Investigator(s) Giammarco, Kristin M.
Sponsor Communications-Electronics Research, Development & Engineering Center (Army)
Summary In both the public and private sectors, systems engineering analysis studies are used to inform a range of decisions, from selecting among low level design alternatives to conducting high level portfolio management. These studies are conducted to help various stakeholders make and justify decisions that have a lasting effect on a system throughout its lifecycle. The quality of the data used in these analyses can have a strong influence on the outcome of these decisions. The proposed research continues the basic research investigation of formal methods for architecture model quality assessment in systems engineering. These methods will be used to create and model sets of measures and criteria relevant in the systems engineering problem domain that can be tailored for different events, analytics, and decision points. Using formal methods, stakeholders can decompose and express architecture data quality expectations unambiguously, and in a way that is abstract and independent of tool. This research is a follow on to the successful FY09 research entitled Formal Modeling of User Demand-Based Network Systems.
Tasks:
1. Provide subject matter expertise and guidance to CERDEC S&TCD with respect to formal methods as they apply to architecture modeling in the systems engineering domain.
2. Advise CERDEC S&TCD on the formal expression of architectural relationships, and measures / criteria that make use of these relationships to assess architecture models for use in analyses and decision points.
Keywords
Publications Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal