Simulation and verification of an embedded system

摘要

This paper presents the conception and the verification of a multi-agent embedded system using different tools. Each tool implements a specific graph construction. Considering the results for tools used in the same conditions, this paper highlights the efficiency of each graph construction strategy.