We address the problem of protocol converter synthesis, i.e., the automatic design of automata to translate between different protocols, by means of the definition and solution of equations defined over regular languages and finite automata/finite state machines (FSMs). The protocol conversion problem has been discussed in an extensive literature which assumes a variety of modeling frames, from supervisory control of discrete event systems to input-output automata and interfaces. In this paper, we model it by parallel language equations, whose largest solution includes all protocol converters that solve the problem; this is a strong advantage over computational techniques that deliver only one or a few solutions, leading to inferior implementations. Our model is versatile, because it can handle different topologies and constraints on the solutions. We extended a software package to enable it to solve parallel equations. As an example we model and solve a classical protocol mismatch problem.

Protocol converter synthesis by solving language equations

Castagnetti, Giovanni;Piccolo, Matteo;VILLA, Tiziano;
2012

Abstract

We address the problem of protocol converter synthesis, i.e., the automatic design of automata to translate between different protocols, by means of the definition and solution of equations defined over regular languages and finite automata/finite state machines (FSMs). The protocol conversion problem has been discussed in an extensive literature which assumes a variety of modeling frames, from supervisory control of discrete event systems to input-output automata and interfaces. In this paper, we model it by parallel language equations, whose largest solution includes all protocol converters that solve the problem; this is a strong advantage over computational techniques that deliver only one or a few solutions, leading to inferior implementations. Our model is versatile, because it can handle different topologies and constraints on the solutions. We extended a software package to enable it to solve parallel equations. As an example we model and solve a classical protocol mismatch problem.
protocol converters; logic synthesis; language equations
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/429547
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact