Apolom

Apolom is an oracle generator tool for Simulink models. The tester can define a specification with an adaptation of TRIO, a temporal logic language, using the Apolom interface and an analyzer compares it with the model simulation. Apolom supports automation for the following steps: specification definition, mapping between specification and Simulink-model and an analyzer which compares the specification with the Simulink model simulation.