Title :
Correct performance of transaction capabilities
Author :
Arts, Thomas ; van Langevelde, Izak
Author_Institution :
Comput. Sci. Lab., Ericsson, Alvsjo, Sweden
Abstract :
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allow certain actions to be executed in any order. It is demonstrated how this correctness can be checked by a combination of an automated test of branching bisimulation and a manual test of commutation. Using this approach, two bugs in the design were found and eliminated
Keywords :
bisimulation equivalence; concurrency theory; finite state machines; parallel programming; TCAP; automated test; branching bisimulation; concurrent programming; equivalence; equivalence relation; finite state machines; multi-processor architectures; process algebras; Application software; Automata; Automatic testing; Computer bugs; Computer science; Design optimization; Laboratories; Merging; Protocols; Signal design;
Conference_Titel :
Application of Concurrency to System Design, 2001. Proceedings. 2001 International Conference on
Conference_Location :
Newcastle upon Tyne
Print_ISBN :
0-7695-1071-X
DOI :
10.1109/CSD.2001.981762
