Abstract
We are concerned with the analysis of socio-technical systems, in
particular, safety-critical systems involving considerable human
intervention. Experience shows that evolving knowledge distribution
in socio-technical systems may trigger catastrophic events affecting
system dependability. This paper presents a knowledgebased approach
to model and analyse evolving scenarios in socio-technical systems.
The timed knowledge-based approach captures the nature of socio-technical
systems, which consist of hybrid resources continuously interacting
each other. The analysis and modelling of a case study drawn from
the Air Traffic Control domain shows the applicability of the proposed
approach.
Users
Please
log in to take part in the discussion (add own reviews or comments).