Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
Año:2014
Áreas de investigación
  • Ingenierías
Datos
Descripción
The paper describes an approach to testing a class of safety-critical concurrent systems implemented using shared resources. Shared resources are characterized using a declarative specification, from which both an efficient implementation can be derived, and which serves as the first approximation of the state-based test model used for testing an implementation of the resource. In this article the methodology is illustrated by applying it to the task of testing the safety-critical software that controls an automated shipping plant, specified as a shared resource, which serves shipping orders using a set of autonomous robots. The operations of the robots are governed by a set of rules limiting the weight of robots, and their cargo, to ensure safe operations.
Internacional
Si
Nombre congreso
1st Workshop on Safety and Formal Methods SaFoMe 2014
Tipo de participación
960
Lugar del congreso
Grenoble, Francia
Revisores
Si
ISBN o ISSN
978-3-319-15201-1
DOI
Fecha inicio congreso
01/09/2014
Fecha fin congreso
01/09/2014
Desde la página
116
Hasta la página
130
Título de las actas
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Angel Herranz Nieva (UPM)
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
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
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)