Ten organisations - companies, university institutes as well as research centers - from six different european countries contribute to MOGENTES:
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.
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.
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 Combustion, Control, and After-treatment, Pedestrian Protection, and Alternative Powertrain Technology.
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).
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 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 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.
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 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. is an academic spin-off founded on initiative of the Human Machine Interaction Group of the University of Modena and Reggio Emilia.