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: 
Author or Creator: 
Bensalem, Saddek
Havelund, Klaus
Orlandini, Andrea
Springer, Heidelberg ;, Germania
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
Resource Identifier:
ISTC Author: 
AndreA Orlandini's picture
Real name: