Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Hi-index | 0.00 |
A modern Air Traffic Organisation (ATO) represents a complex organisation that involves many parties with diverse goals performing for a wide range of tasks. Due to the structural and behavioural complexity of ATOs, mistakes and performance problems are not rare in such organisations. Some of these faults may seriously affect safety, causing incidents. Therefore, the possibility to perform detailed and reliable analysis is of primary importance for ATOs. To this end, the paper introduces an automated approach for modelling and analysis of complex ATOs. The developed model incorporates all important structural and behavioural aspects of an ATO.