Transformation domain requirements specification into computation tree logic language

Abstract

The requirements specification languages are frequently challenged in every domain - including the safety aspects of cognitive mobility. The correct formalization and communication of the expectations related to the systems is a decisively important step (i.e. the intra cognitive mobility aspect of this early design step) because the effects of the mistakes made during the development and analysis of the requirements are magnified in the later phases of the development life cycle. Formal description and modeling of the requirements become even more imperative with the increasing level of automation in transport as there is gradually less human supervision and intervention in case of undesired/erroneous behavior. For this reason, regulations and standards recommend the use of semi-formal and formal requirement description languages during the development of systems. However, it can be difficult for experts of a specific field to use a field-independent, completely formal method, partly due to their lack of necessary background knowledge, and partly because formal descriptions are difficult to read. It is, therefore worthwhile to strive for a compromise, and to develop a formalism that fits the specific field and is a little closer to natural language. This paper presents a possible methodology (transformation process) for developing and applying of such an intermediate language. The constructed intermediate language (we call it ‘restricted textual template’) provides an easy-to-apply, practice-oriented language compared to currently available solutions. We aim to support the work of the transportation engineers who work in the development of industrial control systems.