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 |