Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Languages for Safety-Certification Related Propertis
Año:2013
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
The Safety Certification of Software-Intensive Systems with Reusable Components project, in short SafeCer (www.safecer.eu), is targeting increased efficiency and reduced time-to-market by composable safety certification of safety- relevant embedded systems. The industrial domains targeted are within automotive and construction equipment, avionics, and rail. Some of the companies involved are: Volvo Tech- nology, Thales, TTTech, and Intecs among others. SafeCer includes more than 30 partners in six different countries and has a budget of e25.7 millions. 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, compo- nent 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.
Internacional
Si
Nombre congreso
39th Euromicro Conf. on Software Engineering and Advanced Applications (SEAA'13)
Tipo de participación
960
Lugar del congreso
Santander (España)
Revisores
Si
ISBN o ISSN
978-3-902457-38-7
DOI
Fecha inicio congreso
04/09/2013
Fecha fin congreso
06/09/2013
Desde la página
1
Hasta la página
2
Título de las actas
Proc. Work in Progress Session at 39th Euromicro Conf. on Software Engineering and Advanced Applications (SEAA'13)
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Clara Benac Earle (UPM)
  • Autor: María Elena Gómez Martínez (UPM)
  • Autor: Stefano Tonetta
  • Autor: Stefano Puri
  • Autor: Silvia Mazzini
  • Autor: Jean-Louis Gilbert
  • Autor: Olivier Hachet
  • Autor: Ramón Serna Oliver
  • Autor: Cecilia Ekelin
  • Autor: Katiusca Zedda
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)