Memorias de investigación
Research Project:
PSAFECER: pSafety Certification opf software-intensive systems with reusable components

Research Areas


The competitive edge of the European industry in the embedded systems domain is an enabler to achieve a leading position in the growing global market of safety-relevant embedded systems. The main success factors in this context will be the ability to understand the key reasons for the huge increase in cost and development time, and to adopt efficient methods and processes for development of these safety-relevant embedded systems. Also, increased requirements for certification from legislation, together with the perceived trend towards 'product-oriented' standards (from 'process-oriented' ones), demand fundamental paradigm shifts in the certification perspectives. pSafeCer is targeting increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems. The industrial domains targeted are within automotiveand construction equipment, avionics, and railway. pSafeCer will also develop certification guidelines and a training example for other domains, thus considerably increasing its market impact. A primary objective is to provide support for system safety arguments based on arguments and properties of system components as well as to provide support for generation of corresponding evidence in a similar compositional way. By providing support for efficient reuse of certification and stronger links between certification and development, component reuse will be facilitated, and by providing support for reuse across domains the amount of components available for reuse will increase dramatically. The resulting efficiency and reduced time to market will, together with increased quality and reduced risk, increase competitiveness and pave the way for a cross-domain market for software components qualified for certification. pSafeCer brings together leading companies and SMEs across Europe (including OEMs, technology, tool, and competence providers, as well as certification and standardisation experts), which together with selected universities and research institutes are capable and motivated to realize the pSafeCer objectives.

Project type
Proyectos y convenios en convocatorias públicas competitivas
Comisión Europea
Entity Nationality
Entity size
Granting date

Research Group, Departaments and Institutes related
  • Creador: No seleccionado
  • Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa