Business ReTiCS

Catalogue Services
Patents & Tools

PATENTS

Patent Title : CALPE: Calculation of Catenary Pins
Inventors/authors/obtainers : Tomás Rojo, Enrique Arias, Jesús Benet, David Cebrian, Fernando Cuartero, Jesús Montesinos, Pedro Tendero, Angelines Alberto
N. of registry seat : 00/2008/1524
Registration in the OEPM : M2808488-8
Patent Title : InDiCa: Pantograph / Catenary Dynamic Interaction
Inventors/authors/obtainers : Tomás Rojo, Enrique Arias, Jesús Benet, David Cebrian, Fernando Cuartero, Jesús Montesinos, Pedro Tendero, Angelines Alberto
N. of registry seat : 00/2008/1525
Registration in the OEPM : M2802874-0
Patent Title : InDiCa2: Pantograph / Catenary Dynamic Interaction
Inventors/authors/obtainers : Tomás Rojo, Enrique Arias, Jesús Benet, Fernando Cuartero, Jesús Montesinos, Pedro Tendero, Alejandro Jiménez, Nuria Cuartero
Registration number : AB-92-2014
Registration in the OEPM :
Patent Title : InDiCa3: Dynamic Interaction Pantograph / Catenary in 3 Dimensions
Inventors/authors/obtainers : Tomás Rojo, Enrique Arias, Jesús Benet, Fernando Cuartero, Jesús Montesinos, Pedro Tendero, Alejandro Jiménez, Nuria Cuartero
Registration number : AB-92-2014
Registration in the OEPM :
Patent Title : CALPE 7 : Calculation of Catenaria Pendolas, Version 7.
Inventors/authors/obtainers : Tomás Rojo, Enrique Arias, Jesús Benet, Fernando Cuartero, Jesús Montesinos, Pedro Tendero, Alejandro Jiménez, Nuria Cuartero
Registration number : AB-92-2014
Registration in the OEPM :

Network of excellence

In several areas of science and engineering it is necessary to solve problems of high computational cost. To this end, researchers use parallel systems that increasingly have a heterogeneous and / or hierarchical structure, and are difficult to program and use efficiently. Examples of such systems are heterogeneous computer networks and multi-core (multicore) processors.

The groups participating in this network address in their lines of work the problems posed by these platforms. The network seeks to facilitate the exchange and transfer of knowledge between the groups, to foster cooperation, and to articulate efforts to consolidate their international recognition in the field of CAPAP-H.

Our group is developing two tools which can be used in computer aided verification

Learn More

TPAL tool

TPAL is a tool for the verification and simulation of concurrent systems, which are modeled by using a Timed and Probabilistic Process Algebra. The main advantage of TPAL is that we may write the specifications directly by using an algebraic language, and some alternative representation can automatically generated. The current version of TPAL has the following features:

Full support for the creation and edition of specifications and projects in TPAL. Syntax and semantic analysis of TPAL specifications. Generation of Probabilistic-Dynamic State Graphs for TPAL specifications. Simple reduction of the generated graphs. Graph browser, and simulation by using the graphs. Generation of Timed-Arc Petri Nets. Timed-Arc Petri Nets browser, and simulation by using the nets. Translation of Dynamic State Graphs into Time Automata for UPPAAL tool. Configuration of some parameters (graph browser and simulation.)

You can obtain the current linux version HERE.

WST tool

This tool is an integrated environment for translating automatically WS-CDL specifications to Timed Automata. WS-CDL is an XML-based language, and Timed Automata in UPPAAL are represented by another XML file. Thus, the tool applies XSLT stylesheets to a WS-CDL document and obtains an XML document that defines a system in UPPAAL. These XSL stylsheets have been previ-ously created with an XSLT editor. The XML document obtained can be visualized, simulated and verificated with UPPAAL.

You can obtain the current version HERE.

Catalogue Services

1.Formal models of concurrency

Carried out simulations previous to implementation verifying the correct function of the system.

Formal analysis of different protocols (Publish/Subscribe, handshake, etc.):

Bluetooth
MQTT – SN.
Business process analysis (BPMN).

2.Web services

Models and Simulation of Complex Event Processing for Big Data Environments::

Health Care Systems
Forest Fire Prevention
Etc.

3.Supercomputing in science and engineering

Profile of applications to detect bottlenecks.

Profile of applications in order to optimize them.

Study of the parallelization of applications.

Optimization through parallelization of applications

Research groups

ReTiCS Home

The ReTiCS group Home