List of participants

back to list
Company

UPM-Grupo Babel

Street
Campus de Montegancedo s/n
ZIP Code
28660
City
Boadilla del Monte
Country
Spain


Company Profile:
The Babel research group investigates the use of declarative technologies for the development of highly reliable software. It is a recognized research group of Universidad Politécnica de Madrid since 2005.

Some of our research lines include declarative programming languages (Haskell, Erlang, Curry, Prolog), concurrency, model-driven development, etc.

The group takes part in several European (STREP, ARTEMIS, ITEA, COST) and national projects and has a long track of collaborations with companies in different sectors.
Profiltitel

Automatic Coding Rule Validation Using Logic Programming

What we offer:
The Babel Research Group at Universidad Politécnica de Madrid has developed a platform for the automatic checking of coding rules integrated with the GNU Compiler Collection (GCC), which gives it the potential to analyze code written in the most used high level programming languages, such as C, C++, Java, Ada, Fortran, etc. The platform includes a domain-specific language (CRISP) for the definition of new coding rules at a high level.

What are we looking for:
Commercial agreement with technical
assistance; Manufacturing/ subcontracting
agreement.

Responsible

Mr Dr. Ángel Herranz

Assistant professor

Profiltitel

Developing reliable distributed applications using Erlang/OTP (knowledge/expertise)

What we offer:
We focus on the development of reliable systems in the Erlang/OTP programming language, which combines functional programming with clean extensions for concurrent and distributed programming. Moreover high-level design patterns provide support for elegantly programming fault tolerant systems. In contrast to most functional programming languages, Erlang has seen widespread use in industry for programming robust distributed applications (e.g., at Ericsson, at Amazon, and for Facebook applications).

Responsible

Mr Dr. Ángel Herranz

Assistant professor

Profiltitel

Formal Modelling of Advanced and Real-time Control Systems

What we offer:
Systems for the automatic guidance of various transportation devices, such as high- speed trains, subways or unmanned aircrafts are becoming more and more common. These systems are often composed of specifically designed hardware and embedded software that runs under severe time constraints and that demands critical levels of reliability.
Our group has gained experience in the use of temporal logic and model-checking for the specification and validation of ERTMS/ETCS procedures, which are the standards designed to guarantee the interoperability of high-speed railway systems throughout Europe.
These techniques can also be applied to similar domains, such as avionics, the automotive industry, automatic manufacturing plants, etc.

What are we looking for:
Commercial agreement with technical assistance; Manufacturing/ subcontracting agreement.

Responsible

Mr Dr. Ángel Herranz

Assistant professor

Profiltitel

Fuzzy Logic Programming

What we offer:
Real life is not crisp. Things are not white or black, they have levels of grey. Information is usually incomplete. Criteria are in general subjective. Our search criteria are usually more expressive that the possibilities that the tools (that query the web or consult databases) offer us.
We have developed several tools (Rfuzzy) which provide a fuzzy reasoner that can be used to model problems with fuzzy components (i.e. to represent information that is not completely defined, that is not crisp, that include uncertainty, etc.), to implement fuzzy rules based on truth values, and also to query conventional data bases (or searching the internet) using flexible queries based on, common, fuzzy concepts (as great, cheap, quite big, etc.)

What are we looking for:
Commercial agreement with technical
assistance;
Technical Co-operation: Manufacturing/ subcontracting agreement.

Responsible

Mr Dr. Ángel Herranz

Assistant professor

Profiltitel

Training on Formal Methods and Functional Programming

What we offer:
The Babel Research Group at Universidad Politécnica de Madrid has excellent expertise in applying formal methods and functional programming to the software development process, as its research lines and projects (concurrent and distributed systems, automatic validation of coding rules, fuzzy logic, real-time control systems for transportation devices, etc.) testify. Besides, a long term commitment of its members in university education and academia guarantees their maturity as educators and technical advisers.

What are we looking for:
License agreement: commercial agreement with technical assistance;
Technical Co-operation: Manufacturing/ subcontracting agreement.

Responsible

Mr Dr. Ángel Herranz

Assistant professor

back to list

Participants

© 2011 ConVerve GmbH | all rights reserved