Research Summaries

Back Formal Modeling of User Demand-Based Network Systems

Fiscal Year 2009
Division Graduate School of Engineering & Applied Science
Department Systems Engineering
Investigator(s) Giammarco, Kristin M.
Sponsor Communications-Electronics Research, Development & Engineering Center (Army)
Summary The objective of this proposal is to provide subject matter expertise and guidance to CERDEC S&TCD with respect to formal methods as they apply to architecture modeling. In particular, the PI of this proposal will advise CERDEC S&TCD on the formal expression of architectural relationships, and on the identification or patterns in collected data suitable for formal expression. The output of this project will be a co-authored paper between CERDEC S&TCD and NPS, and presentation of results at a suitable conference or journal.
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