Proyecto de I+D+i:
nSafeCer: nSafety Certification of Software-Intensive Systems with Reusable Components
Áreas de investigación
European industry has a great potential to achieve a leading position in the growing global market of safety-relevant embedded systems, provided it is able to devise efficient and industrial-strength methods and processes for their development and certification. nSafeCer targets increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems. 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 efficient reuse during certification and stronger links between certification and development, a higher degree of component reuse is envisioned.
Improved quality and reduced risk during verification, qualification and certification, will increase European industry competitiveness and pave the way for a cross-domain market for components qualified for certification.
The main industrial domains targeted in nSafeCer are aerospace, automotive, construction equipment and railway. Other domains such as health care and cross-domain aspects will also be considered. nSafeCer builds on the 2 year ARTEMIS pilot project pSafeCer launched in April 2011. Sharing the same overall goals, the concepts developed in pSafeCer are in nSafeCer advanced into tangible industrial implementations of “project-ready”, unified and seamlessly integrated solutions, and demonstrators of the proof of concepts.
Certification guidelines and training examples for various other domains will also be developed. In addition to the deepening of the pSafeCer knowledge, nSafeCer adds scientific objectives, including support for product-lines and cross-domain certification and reuse.
nSafeCer brings together leading companies and SMEs across Europe (including technology, tool, and competence providers, as well as certification and standardisation experts), which together with selected academic institutions are capable and motivated to realize the nSafeCer goals, specifically addressing ARTEMIS subprograms ASP1 and ASP5
Tipo de proyecto
Proyectos y convenios en convocatorias públicas competitivas
Tamaño de la entidad
Esta actividad pertenece a memorias de
Director: Lars-Ake Fredlund (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
Creador: No seleccionado
Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa