Tools

TJT: Temporal Java Testing

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab TJT: Temporal Java Testing TJT is a tool for testing real Java programs using temporal logic formulas (LTL). Website

TestelDroid

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab TestelDroid TestelDroid is a monitoring software tool for Android based devices which enables the characterization of data communications in cellular networks. The information retrieved can be logged and exported for further analysis with other tools, such as Wireshark. All the collected data can be logged using …

TestelDroid Read More »

PolicyMod

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab PolicyMod PolicyMod, a tool to define management policies that can be simulated with BeDam. The objective of PolicyMod is to support expert managers to produce new policies to control dams, which can be executed by BeDam simulation mode. The tool allows the user to …

PolicyMod Read More »

PerformLTE

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab PerformLTE PerformLTE is a realistic environment composed of radio access equipment (eNodeBs), commercial user equipment (UE) and core networks (EPC) connected to the public Internet. The set of platforms includes software tools for configuration, monitoring and performance analysis. This testbed is suitable for executing …

PerformLTE Read More »

OptySim

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab OptySim OptySim is a tool for the analysis and optimization of heterogeneous systems whose behaviour can be observed as execution traces. OptySim shares a common ancestor with TJT, a tool for testing Java programs using LTL. Features Based on the Spin model checker. Analyzes systems observed as …

OptySim Read More »

DamMod

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab DamMod The objective of DamMod is to support formal modelling specialized users in producing new dam models that can be loaded by tool BeDam. To use DamMod, it is necessary to know the internal structure and architecture of BeDam. In consequence, the expected users of the …

DamMod Read More »

AlphaSPIN

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab AlphaSPIN alphaSPIN is a XML-based tool for obtaining abstract versions from models written in PROMELA, which can be verified with the model checker SPIN. Website