CATALOGO DEI PRODOTTI DELLA RICERCA
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe address the problem of the automatic design of automata to translatebetween different protocols, and we reduce it to the solution of equationsdefined over regular languages and finite automata (FA)/finite state machines(FSMs).The largest solution of the defined language equations includesall protocol converters that solve the problem;this is a strong advantage over computational techniques that deliver only oneor a few solutions, which might lead to suboptimal implementations(e.g., as sequential circuits).Our model is versatile, because it can handle different topologies andconstraints on the solutions.We propose a fully automatic procedure implemented inside a software packageBALM-II which solves language equations.For illustration we show examples of setting up and solving language equationsfor classical protocol mismatch problems, aiming at the design of protocolconverters to interface an alternating-bit (AB) sender and a non-sequenced(NS) receiver.Our automatic converter synthesis procedure yields a complete solutionfor automata and FSMs, and may serve as a core engineto embed into any full-fledged interface synthesis tool.
| Titolo: | Automated synthesis of protocol converters with BALM-II |
| Autori: | |
| Data di pubblicazione: | 2015 |
| Serie: | |
| Abstract: | We address the problem of the automatic design of automata to translatebetween different protocols, and we reduce it to the solution of equationsdefined over regular languages and finite automata (FA)/finite state machines(FSMs).The largest solution of the defined language equations includesall protocol converters that solve the problem;this is a strong advantage over computational techniques that deliver only oneor a few solutions, which might lead to suboptimal implementations(e.g., as sequential circuits).Our model is versatile, because it can handle different topologies andconstraints on the solutions.We propose a fully automatic procedure implemented inside a software packageBALM-II which solves language equations.For illustration we show examples of setting up and solving language equationsfor classical protocol mismatch problems, aiming at the design of protocolconverters to interface an alternating-bit (AB) sender and a non-sequenced(NS) receiver.Our automatic converter synthesis procedure yields a complete solutionfor automata and FSMs, and may serve as a core engineto embed into any full-fledged interface synthesis tool. |
| Handle: | http://hdl.handle.net/11562/934424 |
| ISBN: | 978-3-662-49224-6 |
| Appare nelle tipologie: | 04.01 Contributo in atti di convegno |
File in questo prodotto:
Copyright © 2021