MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
Topics & Concepts
MoonlightComputer scienceGraphMATLABJavaInterface (matter)Real-time computingDistributed computingTheoretical computer scienceProgramming languageOperating systemBubbleMaximum bubble pressure methodPhysicsOpticsAdvanced Software Engineering MethodologiesDistributed systems and fault toleranceReal-Time Systems Scheduling