Project Partners

Ten organisations - companies, university institutes as well as research centers - from six different european countries contribute to MOGENTES:

AIT Austrian Institute of Technology

  • Project Coordinator
  • Research Partner
  • Lead Work Package 1 - Requirements and State of the Art
  • Lead Work Package 5 - Test-Case Generation and Assessment
  • Lead Work Package 8 - Dissemination and Exploitation

The AIT Austrian Insitute of Technology takes a leading position in the Austrian innovation system and a  key role in Europe as the RTO focusing on the key infrastructure topics of the future.

Swiss Federal Institute of Technology Zurich / University of Oxford

    ox_logo

  • Research partner

The formal verification group is moving from ETH Zurich to Oxford University, Computing Laboratory. The Computing Laboratory—the University's Computer Science department—is at the heart of computing and related interdisciplinary activity at Oxford.

Ford Forschungszentrum Aachen GmbH

  • Industrial Partner
  • Lead Work Package 7 - Automotive Demonstrators

Founded in 1994, FFA is the focus of the Ford Motor Company’s research efforts in Europe. Research areas include: Telematics & Mobility, Vehicle Dynamics, Manufacturing Science, Environmental Science, Diesel Engine Com­bus­tion, Control, and After-treatment, Pedestrian Protection, and Alternative Powertrain Techno­logy.

Budapest University of Technology and Economics

  

  • Research Partner
  • Lead Work Package 2 - Framework

The Budapest University of Technology and Economics (BME) is represented in the MOGENTES project by the Fault Tolerant Systems Research Group (FTSRG) at the Department of Measurement and Information Systems (DMIS).

Graz University of Technology

logo_tug

  • Research Partner
  • Lead Work Package 3 - Modelling and Testing Theory

The Institute for Software Technology (IST) of the Technische Universität Graz conducts fundamental as well as applied research in testing, verification, debugging, and diverse areas related to correctness of software and software-enabled systems. In MOGENTES, they will contribute to test theory, coverage metrics, and new (e.g. mutation-based) approaches for test case generation.

Prolan Irányítástechnikai ZRT

  • Industrial Partner

Prolan is active in delivering central railway traffic supervisory and traffic dispatch systems. Electronic control desk (ELPULT) plays an important role in the modernisation of railway control systems in Hungary. In MOGENTES, Prolan will validate TCG methods and tools using two subsystems of the remote controlling system for railway interlocking systems.

Prover Technology AB

  • Tool developer

Prover Technology is a world-leading provider of software products for development and V&V of railway control and signalling systems, such as CBTC, ERTMS and interlocking systems. By utilizing Prover Technology’s products, customers reduce development costs and see their time-to-market measures shrink significantly. Safety evidence for CENELEC SIL 4 certification is automatically produced by the push of a button, making code review and safety testing unnecessary.

Within MOGENTES, Prover will work on new Test Case Generation (TCG) methods, based on formal verification methods, fault injection and structural metrics, in order to reduce the effort in establishing the safety impact of system faults, and to otherwise reduce the testing effort in system development.

SP Technical Research Institute of Sweden

 

  • Research partner
  • Lead work package 4 - Algorithms, tools, fault injection

Traditionally, SP’s work is focused on the initial and last phases of the development cycle of dependable systems, i.e. analysis and specification as well as verification and validation.

SP’s core competence is analysis of risks and hazards, specification of dependability requirements, and validation of the requirements through testing and fault injection.

Thales Austria GmbH

  • Industrial Partner
  • Lead Work Package 6 - Railway Demonstrator

Thales Austria GmbH is the former "Transport Solutions Division" of Alcatel-Lucent in Austria and operates within the "Security Solutions & Services" division of Thales since beginning of 2007. 

Re:Lab S.R.L.

  • Industrial partner

RE:Lab s.r.l. is an academic spin-off founded on initiative of the Human Machine Interaction Group of the University of Modena and Reggio Emilia.