University Of Coimbra

The Faculty of Science and Technology of the University of Coimbra (UC) is the largest Faculty of the University of Coimbra, having 14 departments that cover basically all the areas of science and engineering. One of the research Centres of UC is the Centre for Informatics and Systems of the University of Coimbra (CISUC), where the research group involved in CECRIS is integrated. CISUC currently has 47 researchers with a Ph.D. degree and about 100 Ph.D. students and researchers. CISUC is organized in 6 research groups among which is the Software and Systems Engineering (formerly known as Dependable Systems Group). The group, active since 1989, includes 11 other professors and 32 Ph.D. students. One of the main areas of activity of the Dependable Systems Group has been the study of experimental techniques for dependability evaluation. Several fault-injectors tools have been developed, including tools such as RIFLE and the first version of csXception. Other research areas in which the group is active are dependability benchmarking, security assessment, software verification & validation.

  • Staff Expertise: 

UC has a long tradition in V&V projects. An example is the VAL-COTS-RT (Validation of Real-Time COTS products) project whose goal was to research a methodology to assist software engineers in lowering the risk of using COTS components in avionics and space subsystems. The methodology was applied in case studies defined jointly with the NASA IV&V facility team. Finally, UC participates in the REVVIS network, which is an international network of specialists in software verification and validation


ResilTech was born in September 2007. ResilTech offers leading-edge consultancy and technical support for the analysis, design, verification and validation of critical systems, covering all the involved aspects: modelling, specification, validation and verification; Hazard Analysis; analysis of Mean Time Between Hazardous Events (MTBHE); Failure Mode and Effect Analysis (FMEA); System FMEA (SFMEA); planning and management of Safety Cases; Verification and Validation activities planning (V&V Plan); Software Quality verification. The main markets in which ResilTech is currently working are the railway transportation and automotive ones. ResilTech was involved in the FP7-ICT-CA-216295 AMBER Coordination Action and it is currently involved in the FP7 ALARP STREP Project (Transport, project 234088) and in the NSAFECER ARTEMIS (Project 295373). ResilTech is currently contributing in the definition of ISO26262 standard and in AUTOSAR Phase III (mainly in WP1.3 Safety). Resiltech personnel includes 5 out of 13 people with a PhD degree and related research experience on critical systems. Resiltech premises (owned by Resiltech) are located near Pisa in a new, modern environment. A room of such equipped office with 4 working position is currently available to host seconded researchers. A dedicated meeting room it will be used to host team meetings.

  • Staff Expertise: 

Lorenzo Falai (PhD in Computer Engineering) has both experience in the academic and the industrial domain. It is with Resiltech since 2008, where he led ResilTech in national/international research projects.

Rosaria Esposito is the CEO (Chief Executive Officer) of ResilTech. She has 10+ years experience in the analysis, design, verification and validation of IT critical systems.


PROLAN was founded in 1990 by a group of process control engineers. The aim of the founders-owners was to develop control technique appliances, which would be competitive with those available in the global marketplace. Prolan is active in delivering central railway traffic supervisory and traffic dispatch control systems. Prolan was the first company in Hungary to adopt the CENELEC 50126, 50128 and 50129 standards for its design and development procedures in order to satisfy the safety requirements that are mandatory for railway dispatch systems.  The size of the company is continuously growing, actually it has more than 132 employees including 65  developers.

  • Staff Expertise: 

Dr. Tamás Mosó is expert engineer of developing RTU equipment using real-time, distributed embedded technologies.

Melinda Kocsis-Magyar has several years of experience in the field of RAM analysis and dependability evaluation of safety critical systems.

Beáta Hergovics spent 9 years with testing train control systems and had a major role at the department of testing from the first steps.

Critical Software

Critical Software provides solutions for mission and business critical information systems. Application fields for its products range from including telecoms, public sector, industry, aerospace, transportation and defence. CSW is an independent and privately owned company founded in 1998, the company today employs over 250 people. CSW has various national (Portugal) and international offices (USA, UK, Brazil, Mozambique and Singapore) with its headquarters and principal technical centre in Coimbra and auxiliary engineering facilities in Lisbon and Porto. The company is dynamic and outward looking with approximately 75% of the company’s turnover resulting from contracts outside of Portugal. This is also evident in the company’s workforce with over ten different nationalities. In 2000 Critical Software founded its subsidiary in the USA (based at San Jose, California) and in 2004 CSW established its second subsidiary in Southampton, the offices in Brazil and Mozambique were opened in 2009. Singapore office was officially opened in 2012. Average yearly business growth has been close to 50% since 1998 for many years. The company turnover in 2010 was about €18M growing to over €20M in 2011. Critical Software operates a CMMI Level 5 and ISO9001:2000 Tick-IT accredited Quality Management System and applies the ISO/IEC 15504 standard in the area of software process assessment (whose deployment was supported and monitored by the European Space Agency). Critical Software’s continuing success is built on a solid track record of on-time and on-budget projects for a growing list of satisfied customers.CSW is also involved in some current R&D oriented projects, such as several European Space Agency R&D projects namely in the Independent Verification and Validation area (ISVV PV) and Dependability (Safety and Dependability Services Call-of Orders);´FP7 CRITICAL STEP - CRITICAL Software Technology for an Evolutionary Partnership, Marie Curie Industry-Academia Partnerships and Pathways (IAPP) number 230672, aims at establishing the basis for a long term strategic research collaboration between partners in the growing and challenging domain of software for large-scale Safety-Critical Systems based on the use of Off-The-Shelf (OTS) software components for the control of complex distributed infrastructures; FP7 EMMON - EMbedded MONitoring, industrial programme ARTEMIS Joint Undertaking, initiative researching technology to monitor geographical extensions using Wireless Sensor Network (WSN) devices - small communicating & cooperative nodes with sensors. 

  • Staff Expertise: 

Mr. Nuno Silva, 14 years of experience, in management, SW architecture and development, dependability, V&V and RAMS. Nuno has large industrial and research expertise in the financial, telecom, aerospace and transportation domains;

Mr. Ricardo Barbosa, 9 years of industrial experience, in SW development, V&V and RAMS. He is experienced in the space, aeronautics and transportation markets;

Mr. Rui Lopes, 6 years of industrial experience, mainly in dependability, IV&V and RAMS. He is Critical Software Technical Manager for the V&V and RAMS Space Projects;

Mr. Sérgio Vidal, 5 years of experience in the Verification and Validation areas, with expertise in ISVV, testing for the space and aeronautics domains.


The Consorzio Interuniversitario Nazionale per l’Informatica (CINI) is a consortium of 30 Italian Universities involving Computer Science and Engineering research groups. It was established in 1990 as a non-profit organization to foster the co-operation in nation-wide and international projects in the area of computing and communication. CINI operates under surveillance of the Ministry for University and Research (MUR).  The “Università di Napoli (UoN) Federico II” through the Department of Computer and Systems Engineering (DIS) and “University of Florence” through  Dipartimento di Sistemi e Informatica (DSI) participate to the CINI in this project.  These two units have deep knowledge in the field of design, validation and verification, and certification of critical systems. Through years they took part to several national and international research projects on the topic, including several EU-funded projects (see B.7 for the list of EU projects). The DSI group of CINI also participated as University of Firenze in several EU-founded project from framework 2 to framework 7 (i.e. ESPRIT BRA  PDCS and PDCS-2, the 20716 GUARDS RTD, the ESPRIT LTR 27439 HIDE and the IST-2001-38229 CAUTION++, FP6-IST-STREP-26979 HIDENETS, FP6-IST-STREP-027513 CRUTIAL, FP6-SUSTDEV-STREP-031413 SAFEDMI, in the FP6-IST-026764 RESIST NoE and the FP7-ICT-216295 AMBER C.A.). Key figures of CINI have a long-term research experience on the topics of the CECRIS project as well as vast experience in team leading, coordination and academy-to-industry ToK. CINI hosted in recent years several visiting professors, researcher and PhD students for short- and long-term visits, being able to provide excellent support in both technical and administrative aspects.

  • Staff Expertise: 

Key figures of CINI have excellent research experience in the design, validation and certification of resilient and secure systems.

Prof. Andrea Bondavalli: 20+ years experience,

Prof. Stefano Russo: 15+ years experience,

Prof. Domenico Cotroneo: 10+ years experience.


The Budapest Univ. of Technology and Econ. (BME) is the largest technology-oriented university in Hungary.  The BME Fault Tolerant Systems Research Group was founded in 1994, currently it consists of 27 members, including 7 PhDs. Its main research field is the model-driven development and analysis of dependable computer systems, including systems modeling and formal analysis, dependability assessment, verification and validation of IT systems, analysis and synthesis of IT infrastructure, system optimization and dependability consolidation, service oriented computing and integration, model transformation.



  • Staff Expertise: 

Key scientific staff has research experience in systems modeling, formal analysis and solution synthesis, model transformations, dependability assessment, verification and validation of systems, analysis and synthesis of IT infrastructure, system optimization and dependability consolidation, service oriented computing and integration.

Prof. András Pataricza and István Majzik: 20+ years experience,

Dániel Varró and Balázs Polgár: 10+ years experience

Joomla templates by a4joomla

Please be aware that this website uses cookies.