Modeling of Embedded Human Systems

The objective of this research is to develop abstractions of embedded human systems (i.e., where components are necessarily human and computational) that permit computational analysis and verification of their design. Our technical approach is the design and application of an embedded human modeling environment that synthesizes validating simulations, user-driven simulators, and configuration for analysis and verification tools. This modeling environment permits the specification of multi-modal behaviors, and synthesizes additional system constraints based on global design preferences. We will also develop analysis methods that reveal weaknesses in a design when latency, communications breakdown, or ambiguous decision paths are introduced.

This work is supported by the Air Force Office of Scientific Research, under award #FA9550-091-0519, titled "Modeling of Embedded Human Systems". The archived project webpage is the best resource to learn about this project.