Human behavior and human performance modeling, erroneous human behavior, formal methods, system safety
Loading...
Loading...
Loading...
The Formal Human Systems Laboratory (FHSL) conducts research that focuses on the use of formal methods, human performance modeling, and judgement analysis in the evaluation of complex, safety-critical systems that depend on human-automation interaction. Tools and techniques developed in the laboratory are used in the evaluation of aerospace, medical, and automotive systems.