Home |  English version |  Mappa |  Commenti |  Sondaggio |  Staff |  Contattaci Cerca nel sito  
Istituto di scienze e tecnologie della cognizione

Torna all'elenco Contributi in rivista anno 2014

Contributo in rivista

Tipo: Articolo in rivista

Titolo: Verification and validation meet planning and scheduling

Anno di pubblicazione: 2014

Formato: Elettronico

Autori: Bensalem, Saddek; Havelund, Klaus; Orlandini, Andrea

Affiliazioni autori: Verimag; Jet Propulsion Laboratory, California Institute of Technology; Istituto Di Scienze E Tecnologie Della Cognizione, Rome

Autori CNR:

  • ANDREA ORLANDINI

Lingua: inglese

Abstract: 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.

Lingua abstract: inglese

Pagine da: 1

Pagine a: 12

Rivista:

International journal on software tools for technology transfer Springer
Paese di pubblicazione: Germania
Lingua: inglese
ISSN: 1433-2779

Numero volume: 16

Numero fascicolo: 1

DOI: 10.1007/s10009-013-0294-x

Indicizzato da: Scopus [2-s2.0-84895064088]

Parole chiave:

  • Model checking
  • Monitoring
  • Planning and scheduling
  • Testing
  • Theorem proving
  • Verification and validation

URL: http://www.scopus.com/record/display.url?eid=2-s2.0-84895064088&origin=inward

Strutture CNR:

Moduli:

 
Torna indietro Richiedi modifiche Invia per email Stampa
Home Il CNR  |  I servizi News |   Eventi | Istituti |  Focus