Languages for safety-certification related propertis

Benac Earle, Clara; Gómez-Martínez, María Elena; Tonetta, Stefano; Puri, Stefano; Mazzini, Silvia; Gilbert, Jean-Louis; Hachet, Olivier; Serna Oliver, Ramón; Ekelin, Cecilia y Zedda, Katiusca (2013). Languages for safety-certification related propertis. En: "39th Euromicro Conference on Software Engineering and Advanced Applications", 4-6 Sep 2013, Santander, España.

Descripción

Título: Languages for safety-certification related propertis
Autor/es:
  • Benac Earle, Clara
  • Gómez-Martínez, María Elena
  • Tonetta, Stefano
  • Puri, Stefano
  • Mazzini, Silvia
  • Gilbert, Jean-Louis
  • Hachet, Olivier
  • Serna Oliver, Ramón
  • Ekelin, Cecilia
  • Zedda, Katiusca
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 39th Euromicro Conference on Software Engineering and Advanced Applications
Fechas del Evento: 4-6 Sep 2013
Lugar del Evento: Santander, España
Fecha: Septiembre 2013
Materias:
Escuela: E.T.S. de Ingenieros Informáticos (UPM)
Departamento: Otro
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (35kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 30673
Identificador DC: http://oa.upm.es/30673/
Identificador OAI: oai:oa.upm.es:30673
URL Oficial: http://seaa2013.ii.metu.edu.tr/index.html
Depositado por: Memoria Investigacion
Depositado el: 09 Sep 2014 11:27
Ultima Modificación: 22 Abr 2016 00:56
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM