Real-Time and Concurrent Systems Group- ReTiCS

* Formal models of concurrency

This has been our main area of research. The main topics which we are studying are the following:

- Semantics and formal models of concurrency.
- Petri nets (timed and probabilistic extensions).
- Process algebra (extensions including again time and probabilities).
- Formal models for the description of Real-Time systems.
- Performance analysis.

* Applications of numerical computing

This is an applied research area. The group members apply numerical computing techniques to resolve some concrete problems. The main problem the group has tackled is the improvement railway catenaries, to obtain better railway speeds. As illustration, some numerical interesting problems related to this field of research are the following:

- calculus of length of suspension cable
- study of system pantograph/catenary
- study of stiffness of vano

* Grid computing

Recently we have incorporated this new area of research. The main topics concerning with this area are the following :

- Definition of web services and portals.
- Development of software to be executed on a grid platform

 

	Web Services Translation Tool --- WST