A Specificational Approach to High Level Program Monitoring and Measuring
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
On causality semantics of nets with priorities
Fundamenta Informaticae
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Program Instrumentation for Debugging and Monitoring with AspectC++
ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Prevention of harmful behaviors within cognitive and autonomous agents
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Hi-index | 0.00 |
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that a multiagent system has a behavior corresponding to what its developers expect. The use of standard techniques to validate a system does not guarantee it against the occurence of errors in real condition of execution. So, we propose an additional approach of dynamic self-monitoring and self-regulation such that an agent might control, in real condition, its own behavior. Our approach consists in providing the agents with a set of laws that they have to respect throughout their execution. This paper presents a framework which generates agents capable of self-control from an agent model, a behavior description and laws. For that, the framework modifies the agents program by injecting, some checkpoints allowing the detection of particular events. The laws are represented in the agents by Petri nets connected to the checkpoints in order to verify the agreement between their behavior and the laws. The principles of the framework are illustrated on an example.