Automated applications for environmental monitoring are an important aid for security and safety of buildings and for civil (domotic) and industrial use. The relevance of such applications is sound, and ensuring a correct fulfilling of the mission goals implies the need for performability and dependability requirements. For reasons of cost, flexibility and efficiency, a good candidate architecture is based on mobile agents capable of real time operation on a network of intelligent sensors, in addition of normal monitoring tasks. Design and tuning of these systems is a very hard task. In this paper a multiformalism approach based on model-checking techniques for Timed Automata and Timed Petri Nets is presented to model a real-time-mobile-age...
Petri nets (PN) are currently the most promising approaches to model and to verify complex systems s...
This thesis is motivated by the questionof the validation of properties in a system composedof sever...
The monitoring and diagnostics of distributed systems puts significant challenges on the management ...
Automated applications for environmental monitoring are an important aid for security and safety of ...
Automated applications for environmental monitoring are an important aid for security and safety of ...
A multi-agent based transport system is modeled by timed automata model extended with clock variable...
Abstract. The paper presents an approach for the monitoring and diagnosis of multi-agent systems whe...
The paper deals with logics for expressing temporal and structural properties of Petri hypernets, a ...
The design of reactive systems must comply with logical correctness (the system does what it is supp...
Monitoring the changes in data values obtained from the environment (e.g., loca-tions of moving obje...
Abstract—Assessing the correct behavior of a given system at run-time can be achieved by monitoring ...
International audienceSupervising a system in operation allows to detect a violation of system speci...
In ambient intelligent systems, monitoring of a human could consist of more complex tasks than merel...
Modern embedded systems for safety critical applications, found in planes or cars, are based on real...
In this paper, we present a new formal Method for the Verification of a Multi agents Systems (MAS). ...
Petri nets (PN) are currently the most promising approaches to model and to verify complex systems s...
This thesis is motivated by the questionof the validation of properties in a system composedof sever...
The monitoring and diagnostics of distributed systems puts significant challenges on the management ...
Automated applications for environmental monitoring are an important aid for security and safety of ...
Automated applications for environmental monitoring are an important aid for security and safety of ...
A multi-agent based transport system is modeled by timed automata model extended with clock variable...
Abstract. The paper presents an approach for the monitoring and diagnosis of multi-agent systems whe...
The paper deals with logics for expressing temporal and structural properties of Petri hypernets, a ...
The design of reactive systems must comply with logical correctness (the system does what it is supp...
Monitoring the changes in data values obtained from the environment (e.g., loca-tions of moving obje...
Abstract—Assessing the correct behavior of a given system at run-time can be achieved by monitoring ...
International audienceSupervising a system in operation allows to detect a violation of system speci...
In ambient intelligent systems, monitoring of a human could consist of more complex tasks than merel...
Modern embedded systems for safety critical applications, found in planes or cars, are based on real...
In this paper, we present a new formal Method for the Verification of a Multi agents Systems (MAS). ...
Petri nets (PN) are currently the most promising approaches to model and to verify complex systems s...
This thesis is motivated by the questionof the validation of properties in a system composedof sever...
The monitoring and diagnostics of distributed systems puts significant challenges on the management ...