FMICS
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab FMICS ERCIM Working Group on Formal Methods for Industrial Critical Systems. Website
ERCIM
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab ERCIM The European Research Consortium for Informatics and Mathematics – aims to foster collaborative work within the European research community and to increase co-operation with European industry. Leading European research institutes are members of ERCIM. Website
5G-PPP Association and Networld2020
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab 5G-PPP Association and Networld2020 Pedro Merino represents the University of Málaga in Networld2020 ETP and the 5GPPP Association Website
5G-PPP Association and Networld2020 Read More »
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
TJT: Temporal Java Testing Read More »
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
A simulation tool for tccp programs
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab A simulation tool for tccp programs This tool is an interpreter for simulating tccp programs. The tool accepts as an input a tccp program with linear constraints over arithmetic variables, and logic constraints over streams. A stream can store text or linear expressions over
A simulation tool for tccp programs 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
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
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
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