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.

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

Please be aware that this website uses cookies.