Verification and validation meet planning and scheduling

A planning and scheduling (P&S) system takes as input a domain model and a goal, and produces a plan of actions to be executed, which will achieve the goal. A P&S system typically also offers plan execution and monitoring engines. Due to the non-deterministic nature of planning problems, it is a challenge to construct correct and reliable P&S systems, including, for example, declarative domain models. Verification and validation (V&V) techniques have been applied to address these issues. Furthermore, V&V systems have been applied to actually perform planning, and conversely, P&S systems have been applied to perform V&V of more traditional software. This article overviews some of the literature on the fruitful interaction between V&V and P&S. © 2013 Springer-Verlag Berlin Heidelberg.

Publication type: 
Articolo
Author or Creator: 
Bensalem, Saddek
Havelund, Klaus
Orlandini, Andrea
Publisher: 
Springer, Heidelberg ;, Germania
Source: 
International journal on software tools for technology transfer (Print) 16 (2014): 1–12. doi:10.1007/s10009-013-0294-x
info:cnr-pdr/source/autori:Bensalem, Saddek; Havelund, Klaus; Orlandini, Andrea/titolo:Verification and validation meet planning and scheduling/doi:10.1007/s10009-013-0294-x/rivista:International journal on software tools for technology transfer (Print)/a
Date: 
2014
Resource Identifier: 
http://www.cnr.it/prodotto/i/312904
https://dx.doi.org/10.1007/s10009-013-0294-x
info:doi:10.1007/s10009-013-0294-x
http://www.scopus.com/record/display.url?eid=2-s2.0-84895064088&origin=inward
Language: 
Eng
ISTC Author: 
AndreA Orlandini's picture
Real name: