System Notification:
We are currently experiencing intermittent issues impacting performance. We apologize for the inconvenience.
By Topic

Runtime verification of safety properties in multi-agents systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Alotaibi, H. ; Software Technol. Res. Lab., De Montfort Univ., Leicester, UK ; Zedan, H.

Sufficient test coverage for Software Agents that operate in an open and dynamic environment is unlikely to be achieved during the agents' development. Especially when agents exhibit self properties and are constantly adapting to changes in their environment it is important to limit their autonomy to ensure that their behaviour lies within safe boundaries. To increase the trust in the agents, once they are released, we propose to continuously validate/enforce safety properties during their execution. This approach is known as run-time verification and is achieved by inserting assertion points in the agents' codes. The safety properties are expressed as dynamic policies, that can change depending on time or events. The paper shows the flexibility and expressiveness of our policy language to describe temporal constraints on the agents' behaviours. Three conceptually different levels of constraints are investigated. Mechanisms that allow to detect (and possibly recover from) unsafe behaviour are evaluated using a simulated road-network as a case-study.

Published in:

Intelligent Systems Design and Applications (ISDA), 2010 10th International Conference on

Date of Conference:

Nov. 29 2010-Dec. 1 2010