Languages for safety-certification related propertis

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


Title: 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
  • Zedda, Katiusca
Item Type: Presentation at Congress or Conference (Article)
Event Title: 39th Euromicro Conference on Software Engineering and Advanced Applications
Event Dates: 4-6 Sep 2013
Event Location: Santander, España
Date: September 2013
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Otro
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of INVE_MEM_2013_173716.pdf]
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (35kB) | Preview


The Safety Certification of Software-Intensive Systems with Reusable Components project, in short SafeCer (,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.

More information

Item ID: 30673
DC Identifier:
OAI Identifier:
Official URL:
Deposited by: Memoria Investigacion
Deposited on: 09 Sep 2014 11:27
Last Modified: 22 Apr 2016 00:56
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM