English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Safety-critical systems are technical systems whose failure may cause injury or death to human beings. Tools used in the design and evaluation of safety-critical systems are redundancy and formal methods to ensure a proper operating behavior. To integrate human factors into the engineering-process of safety-critical systems it is necessary to take into account cognitive aspects of human beings while interacting with these systems. Formal human performance models can be applied to support the design and evaluation. These cognitive models interact with the technical system and provide a wide range of objective data (e.g., execution times). But using human performance models requires validating their behavior and internal structure in advance. Especially in the context of safety-critical systems this is an important issue. In this contribution the possibilities of multilevel analysis of human performance models are shown and discussed. Selected tools are introduced and related to a derived taxonomy of multilevel analysis.

Multilevel Analysis of Human Performance Models in Safety-Critical Systems