%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 }