DocumentCode
2211329
Title
Correct performance of transaction capabilities
Author
Arts, Thomas ; van Langevelde, Izak
Author_Institution
Comput. Sci. Lab., Ericsson, Alvsjo, Sweden
fYear
2001
fDate
2001
Firstpage
35
Lastpage
42
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CSD.2001.981762
Filename
981762
Link To Document