{'fraction_non_alphanumeric': 0.026047565118912798, 'fraction_numerical': 0.004530011325028313, 'mean_word_length': 5.01360544217687, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Refinement of HW/SW Communication Channels : Case Study and Comparision

We compare four different approaches to specification and refinement of the software parts in SW/SW communication channels with respect to design productivity. The four approaches are CoWare [12], MakeApp [7], ComSyn [8], and manual refinement. Manual refinement is still predominant in practice for most embedded systems. With this case study we hope to show its deficiencies and how it can be improved with tool support available today. The comparison is done by analysing the impact of different techniques on the design process. The analysis is based on two designs, a channel decoder of a transceiver in a D-AMPS base station and an operation and maintenance block of an ATM network. We compare the design productivity with respect to development effort, validation effort, and library maintenance effort.