Files

Abstract

In safety-critical scenarios, the compliance with strict-timing constraints is mandatory. This demo presents a simulator named MAXIM-GPRT enabling the analysis of the behaviors produced by Multi-Agent Systems (MAS) composed of both General-Purpose (GP) and Real-time (RT) algorithms. Therefore, MAXIM-GPRT is crucial to prove that current MAS cannot provide timing guarantees, nor guarantee correct behaviors in the worst case scenario. However, adopting and adapting models and algorithms from RT systems, such a compliance, can be achieved.

Details

Actions