Key Technical Areas
-
Object modeling of systems using the Unified Modeling Language (UML)
and automation of model-based system behavior simulation.
-
Semi-formal and formal languages for the representation
of system requirements, system specifications, and allocation
flowdown in heterogeneous (from the physical layer perspective) hierarchies.
-
Object-relational databases and
multiple views (engineering and others) of system data.
-
Quantitative procedures for trade-off
analysis when (mixed) Boolean and numeric variables are present.
-
Validation and verification by quantitative treatment of
tolerances and convex analysis.
Pathway from Research to Curriculum Development
|