Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms

Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
Autori: Corno F.; Sonza Reorda M.; Squillero G.
Autori di ateneo:
Intervallo pagine: pp. 182-192
Titolo del periodico: LECTURE NOTES IN COMPUTER SCIENCE
Tipo di referee: Tipo non specificato
Editore: Springer
ISBN: 3540658378
ISSN: 0302-9743
Volume: 1596
Titolo del convegno: Evolutionary Image Analysis, Signal Processing and Telecommunications First European Workshops, EvoIASP'99 and EuroEcTel'99
Luogo dell'evento: Göteborg (SWE)
Data dell'evento: May 26-27, 1999
Abstract: This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its low-level implementation with its high-level prototype. The possibility to validate protocol interfaces is extremely useful in many industrial design flows and the proposed methodology does not impose particular requirements and it is able to fit in existing design flows: the proposed approach is based on coupling a commercial simulator with a genetic algorithm that tries to disprove the equivalence of an implementation with its high-level prototype. The use of a commercial simulator guarantees a complete compatibility with current standards and the method is able to fit painlessly in an existing industrial flow. Moreover, the use of a genetic algorithm allows the analysis of large and realistic designs. Experimental results show that the proposed method is effectively able to deal with realistic designs, discovering potential problems, and, although approximate in nature, it is able to provide a high degree of confidence in the results
Data: 1999
Status: Pubblicato
Lingua della pubblicazione:
Parole chiave:
Dipartimenti (originale): NON SPECIFICATO
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
    Area disciplinare:
    Data di deposito: 18 Lug 2007 17:25
    Data ultima modifica (IRIS): 25 Nov 2013 11:55:28
    Data inserimento (PORTO): 24 Ott 2014 14:43
    Numero Identificativo (DOI): 10.1007/10704703_15
    Permalink: http://porto.polito.it/id/eprint/1545119
    Link resolver URL: Link resolver link
    Citazioni:

    Il campo presenta il numero di citazioni presenti sulle banche dati Scopus e Web of Science e permette di accedere ai relativi record. Visualizza inoltre il link al record presente su Google Scholar.

    Possono verificarsi discrepanze rispetto ai dati presenti sulle banche dati per i seguenti motivi:

    • Differenze tra i dati riportati su IRIS e quelli presenti nelle banche dati.
    • Il numero di citazioni riportate su PORTO viene estratto mensilmente. Il dato citazionale presente sulle singole banche dati è aggiornato in tempo reale
    • Il numero di citazioni per WoS viene calcolato sulla base delle collezioni in abbonamento (Science citation index Expanded e Conference Proceedings Citation Index)

    Per informazioni o segnalazioni contattare scrivia/porto

    +
    -

    Allegati

    [img] PDF (1545119) - Postprint
    Accesso al documento: Non visibile (accessibile solo al proprietario del dato)
    Licenza: Non pubblico - Accesso privato / Ristretto.

    Download (183Kb (188002 bytes)) | Spedisci una richiesta all'autore per una copia del documento

    Azioni (richiesto il login)

    Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)