|
Key Technical Areas
-
Object-Based Modeling.
Object modeling of systems using the Unified Modeling Language (UML)
and automation of model-based system behavior simulation.
-
Formal Models.
Semi-formal and formal languages for the representation
of system requirements, system specifications, and allocation
flowdown in heterogeneous (from the physical layer perspective) hierarchies.
-
Databases.
Object-relational databases and
multiple views (engineering and others) of system data.
-
Trade-Off Analysis.
Quantitative procedures for trade-off
analysis when (mixed) Boolean and numeric variables are present.
-
Validation and Verification.
Validation and verification by quantitative treatment of
tolerances and convex analysis.
Pathway from Research to Curriculum Development
![[NSF Proposal : Fig 2 ]](images/proposal-fig2.gif)
|
![[Left]](images/button-left.gif)
![[Up]](images/button-up.gif)
![[Right]](images/button-right.gif)