{'fraction_non_alphanumeric': 0.01958955223880597, 'fraction_numerical': 0.0, 'mean_word_length': 5.202312138728324, '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': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Developing Control Systems : A Method and a Case Study

In this paper we present a systematic, seven-step development method for control systems. The first five steps are dedicated to correctly capturing the requirements of the control system into one, single specification. The last two steps focus on identifying a control system-specific structure from this specification. A central point in our method is the modeling of system components on two different levels: informally as UML diagrams and formally as action system-based specifications. The diagrams contribute to capturing requirements, defining the control structure, and documenting the final system. The formal specifications ensure the robustness of the method. We develop the formal specifications (using refinement and decomposition techniques) in parallel with the UML diagrams. Since the UML diagrams mirror the formal part of the development, we remark an informal refinement of such diagrams. The proposed method is demonstrated with a detailed case study on the sorting hub of a fast courier service.