A formal method of synthesising a converter that translates signals between two heterogeneous, off-the-shelf protocol IPs is presented in the form of a case study. At the heart of the method is a model checker that guarantees the converter satisfies correctness conditions, as well as user-defined properties. In this approach, the issue of nondeterminism is explicitly addressed, and is used to synthesise an optimal converter. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Cao, J., & Nymeyer, A. (2009). Formally synthesising a protocol converter: A case study. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5642 LNCS, pp. 249–252). https://doi.org/10.1007/978-3-642-02979-0_30
Mendeley helps you to discover research relevant for your work.