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
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:
    Date Deposited: 18 Jul 2007 17:25
    Last modification data (IRIS): 25 Nov 2013 11:55:28
    Update date (PORTO): 24 Oct 2014 14:43
    Id Number (DOI): 10.1007/10704703_15
    Link resolver URL: Linksolver link

    This field presents the citations number present on Scopus and Web of Science databases e links to the remote records. Also Google Scholar link is present.

    There may be discrepancies with respect to the data in databases for the following reasons:

    • Differences from fields (title, year,...) in UGOV and those in the databases.
    • PORTO citations are extracted monthly. The db is in real time
    • The WoS citation number reflect the collections subscribed by Politecnico (Science citation index Expanded and Conference Proceedings Citation Index)

    For informations contact scrivia/porto



    [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 (admin reserved) View item (admin reserved)