Arts, Thomas and Earle, Clara Benac and Penas, Juan José Sánchez (2004) Translating Erlang to /spl mu/CRL. In: Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. IEEE, pp. 135-144. ISBN 0-7695-2077-4. (doi:10.1109/CSD.2004.1309124) (KAR id:14140)
Postscript
Language: English |
|
Download this file (Postscript/154kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
PDF
Language: English |
|
Download this file (PDF/135kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Official URL: http://dx.doi.org/10.1109/CSD.2004.1309124 |
Abstract
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 /spl mu/CRL is a process algebra with data. Several verification tools are available for /spl mu/CRL and other process algebras, including a tool to create labelled transition systems from /spl mu/CRL specifications. By having a translation from Erlang to /spl mu/CRL 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.
Item Type: | Book section |
---|---|
DOI/Identification number: | 10.1109/CSD.2004.1309124 |
Uncontrolled keywords: | switches; software tools; algebra; software safety; software performace; object oriented modeling; concurrent computing; state-space methods; functional programming; asynchronous transfer mode |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Mark Wheadon |
Date Deposited: | 24 Nov 2008 18:02 UTC |
Last Modified: | 05 Nov 2024 09:48 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/14140 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):