Timed Knowledge-based Modelling and Analysis: On the Dependability
of Socio-technical Systems
J. Filipe, M. Felici, and S. Anderson. International Conference on Human Aspects of Advanced Manufacturing:
Agility & Hybrid Automation, page 321--328. (May 2003)
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.
%0 Conference Paper
%1 filipe03
%A Filipe, Juliana K.
%A Felici, Massimo
%A Anderson, Stuart
%B International Conference on Human Aspects of Advanced Manufacturing:
Agility & Hybrid Automation
%D 2003
%K complex-hci evolution model
%P 321--328
%T Timed Knowledge-based Modelling and Analysis: On the Dependability
of Socio-technical Systems
%U http://homepages.inf.ed.ac.uk/mfelici/doc/haamaha.pdf
%X 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.
@inproceedings{filipe03,
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.},
added-at = {2006-09-18T06:26:07.000+0200},
author = {Filipe, Juliana K. and Felici, Massimo and Anderson, Stuart},
biburl = {https://www.bibsonomy.org/bibtex/215886dc887efed54591e3aabe3c3d741/neilernst},
booktitle = {International Conference on Human Aspects of Advanced Manufacturing:
Agility \& Hybrid Automation},
citeulike-article-id = {566912},
comment = {- interesting application of temporal finite automata to model process
flows},
description = {Not previously uploaded},
interhash = {c9f6312ba755dfe821dd1ef225749ac3},
intrahash = {15886dc887efed54591e3aabe3c3d741},
keywords = {complex-hci evolution model},
month = May,
pages = {321--328},
priority = {0},
timestamp = {2006-09-18T06:26:07.000+0200},
title = {Timed Knowledge-based Modelling and Analysis: On the Dependability
of Socio-technical Systems},
url = {http://homepages.inf.ed.ac.uk/mfelici/doc/haamaha.pdf},
year = 2003
}