Arts, Thomas and Earle, Clara Benac and Penas, Juan José Sánchez
Translating Erlang to muCRL.
In: Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004), JUN 16-18, 2004, Hamilton, Canada.
(Full text available)
The language Erlang has been developed by Ericsson to implement large switching systems. Erlang is nowadays used by several companies for complex embedded systems.
The language muCRL is a process algebra with data. Several verification tools are available for muCRL and other process algebras, including a toot to create labelled transition systems from muCRL specifications. By having a translation from Erlang to muCRL we can apply the verification tools for process algebras and labelled transition systems to industrial code. The translation is aware of the major design component in the switching software. This knowledge is used to ensure that the size of the labelled transition system generated by the tools is smaller than with a naive translation.
- Depositors only (login required):