Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
Year:2014
Research Areas
  • Engineering
Information
Abstract
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.
International
Si
Congress
1st Workshop on Safety and Formal Methods SaFoMe 2014
960
Place
Grenoble, Francia
Reviewers
Si
ISBN/ISSN
978-3-319-15201-1
Start Date
01/09/2014
End Date
01/09/2014
From page
116
To page
130
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Participants
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Angel Herranz Nieva (UPM)
Research Group, Departaments and Institutes related
  • 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 2019 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)