Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms

Item Type: Proceeding
MIUR type: Proceedings > Proceedings
Title: Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
Authors string: Corno F.; Sonza Reorda M.; Squillero G.
University authors:
Page Range: pp. 182-192
Journal or Publication Title: LECTURE NOTES IN COMPUTER SCIENCE
Referee type: Not specified type
Publisher: Springer
ISBN: 3540658378
ISSN: 0302-9743
Volume: 1596
Event Title: Evolutionary Image Analysis, Signal Processing and Telecommunications First European Workshops, EvoIASP'99 and EuroEcTel'99
Event Location: Göteborg (SWE)
Event Dates: 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
Date: 1999
Status: Published
Language of publication:
Uncontrolled Keywords:
Departments (original): UNSPECIFIED
Departments: DAUIN - Department of Control and Computer Engineering
Related URLs:
    Subjects:
    Date Deposited: 18 Jul 2007 17:07
    Last Modified: 22 Jan 2013 03:01
    Id Number (DOI): 10.1007/10704703_15
    Permalink: http://porto.polito.it/id/eprint/1545119
    Linksolver URL: Linksolver link

    Documents

    [img] PDF (1545119) - Postprint
    Document access: Not visible (accessible only to the record owner)
    Licence: Not public - Private access / Restricted.

    Download (183Kb) | Send a request to the author for a copy of the paper

    Actions (login required)

    View Item View Item